Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_RADIO_PEER General cluster: interface description: "Facilities for managing peer relations between radio buttons. Base class for EV_RADIO_BUTTON, EV_RADIO_MENU_ITEM andEV_TOOL_BAR_RADIO_BUTTON." keywords: "radio, item, menu, check, select" Ancestors EV_ANY* Queries data: detachable ANY is_destroyed: BOOLEAN is_selected: BOOLEAN peers: LINKED_LIST [[like selected_peer] [like Current] EV_RADIO_PEER] selected_peer: [like Current] EV_RADIO_PEER Commands destroy enable_select set_data (some_data: [like data] detachable ANY) Constraints peers not void selected peer not void peers returns new copy of list peers has current is selected equals selected peer is current one radio item selected
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org