class ES_VIOLATION_CASE Ancestors ES_TEST_CASE* Clients ES_TEST* ES_VIOLATION_CASE Suppliers BOOLEAN ES_VIOLATION_CASE ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] STRING_8
Generated by ISE EiffelStudio