Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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