Automatic generation produced by ISE Eiffel
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 -- Generated by Eiffel Studio --
For more details: eiffel.org