Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_NOTEBOOK_TAB General cluster: interface description: "Objects that represent a tab associated with a notebook item. These objects may not be created directly but instead returned from a notebook via item_tab. If widget is subsequently removed from notebook, Current is automatically destroyed and is no longer usuable." create: make_with_widgets Ancestors EV_ANY* EV_PIXMAPABLE* EV_SELECTABLE* EV_TEXTABLE* Queries data: detachable ANY is_destroyed: BOOLEAN is_selectable: BOOLEAN is_selected: BOOLEAN notebook: detachable EV_NOTEBOOK pixmap: detachable EV_PIXMAP text: STRING_32 widget: detachable EV_WIDGET Commands destroy enable_select remove_pixmap remove_text set_data (some_data: [like data] detachable ANY) set_pixmap (a_pixmap: EV_PIXMAP) set_text (a_text: separate READABLE_STRING_GENERAL) Constraints notebook not void widget not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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