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