Automatic generation produced by ISE Eiffel
class ACTIVE_INTEGER_INTERVAL Ancestors INTEGER_INTERVAL Clients ACTIVE_INTEGER_INTERVAL EV_GAUGE_I* EV_GAUGE_IMP* EV_PROGRESS_BAR_IMP* EV_SCROLL_BAR_IMP* Suppliers ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] ACTIVE_INTEGER_INTERVAL BOOLEAN INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org