Automatic generation produced by ISE Eiffel
class EV_MENU_ITEM_SELECT_ACTION_SEQUENCE Ancestors EV_ACTION_SEQUENCE* [EVENT_DATA -> TUPLE create default_create end] Clients EV_MENU_ITEM_LIST_ACTION_SEQUENCES_I* EV_MENU_ITEM_LIST_IMP* EV_MENU_ITEM_SELECT_ACTION_SEQUENCE EV_OPTION_BUTTON Suppliers EV_MENU_ITEM_SELECT_ACTION_SEQUENCE PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] -- Generated by Eiffel Studio --
For more details: eiffel.org