Automatic generation produced by ISE Eiffel
deferred class EV_RADIO_PEER_I General cluster: implementation_interface description: "Eiffel Vision radio peer. Implementation interface." Ancestors EV_ANY_I* Queries is_destroyed: BOOLEAN is_selected: BOOLEAN peers: LINKED_LIST [[attached like interface] attached EV_RADIO_PEER] selected_peer: [attached like interface] attached EV_RADIO_PEER Commands enable_select -- Generated by Eiffel Studio --
For more details: eiffel.org