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