Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_NOTEBOOK_TAB_I General cluster: implementation_interface description: "Objects that represent a tab associated with a notebook item." Ancestors EV_ANY_I* EV_PIXMAPABLE_I* EV_SELECTABLE_I* EV_TEXTABLE_I* Queries is_destroyed: BOOLEAN is_selectable: BOOLEAN is_selected: BOOLEAN notebook: detachable EV_NOTEBOOK pixmap: detachable EV_PIXMAP pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN text: STRING_32 widget: detachable EV_WIDGET Commands enable_select remove_pixmap set_pixmap (a_pixmap: EV_PIXMAP) set_text (a_text: READABLE_STRING_GENERAL)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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