Automatic generation produced by ISE Eiffel

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

General
	cluster: docking
	description: "Enumerations used by client programmers and internals."

Ancestors
	ANY

Queries
	Auto_hide: INTEGER_32
	Bottom: INTEGER_32
	Docking: INTEGER_32
	Editor: INTEGER_32
	is_direction_valid (a_direction: INTEGER_32): BOOLEAN
	is_state_valid (a_state: INTEGER_32): BOOLEAN
	is_type_valid (a_type: INTEGER_32): BOOLEAN
	Left: INTEGER_32
	Place_holder: INTEGER_32
	Right: INTEGER_32
	State_void: INTEGER_32
	Tab: INTEGER_32
	Tool: INTEGER_32
	Top: INTEGER_32



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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