class ACTIVE_INTEGER_INTERVAL Ancestors INTEGER_INTERVAL Clients ACTIVE_INTEGER_INTERVAL Suppliers ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] ACTIVE_INTEGER_INTERVAL BOOLEAN INTEGER_32
Generated by ISE EiffelStudio