Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_TOOL_BAR_ITEM_STATE General cluster: implementation_mswin description: "Tool bar item state." Ancestors ANY Queries Checked: INTEGER_32 Disabled: INTEGER_32 Hot: INTEGER_32 Hot_checked: INTEGER_32 is_valid (a_state: INTEGER_32): BOOLEAN Normal: INTEGER_32 Pressed: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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