Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	SD_TAB_STATE_ASSISTANT

General
	cluster: implementation_mswin
	description: "Assistant for SD_TAB_STATE."
	create: make

Ancestors
	SD_ACCESS*

Queries
	is_top_has_zone (a_multi_dock_area: SD_MULTI_DOCK_AREA): BOOLEAN
	state: SD_TAB_STATE

Constraints
	not void
	not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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