Automatic generation produced by ISE Eiffel
class TEXT_PANEL_HEADER General cluster: document description: "Header control for dealing with multiple documents in TEXT_PANEL." create: make_with_panel Ancestors DOCUMENT_LIST* [G -> DOCUMENT_ITEM] SHARED_EDITOR_DATA SHARED_EDITOR_FONT TEXT_OBSERVER* Action sequences before_selection_actions: ACTION_SEQUENCE close_actions: ACTION_SEQUENCE selection_actions: ACTION_SEQUENCE Queries additional_space: INTEGER_32 after: BOOLEAN all_default: BOOLEAN area: SPECIAL [TEXT_PANEL_HEADER_ITEM] area_v2: SPECIAL [TEXT_PANEL_HEADER_ITEM] array_at (i: INTEGER_32): TEXT_PANEL_HEADER_ITEM array_item (i: INTEGER_32): TEXT_PANEL_HEADER_ITEM array_valid_index (i: INTEGER_32): BOOLEAN at alias "@" (i: INTEGER_32): [like item] TEXT_PANEL_HEADER_ITEM before: BOOLEAN capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN container: EV_HORIZONTAL_BOX contains_name (a_name: STRING_8): BOOLEAN count: INTEGER_32 cursor: ARRAYED_LIST_CURSOR duplicates_enabled: BOOLEAN editor_preferences: EDITOR_DATA exhausted: BOOLEAN extendible: BOOLEAN first: [like item] TEXT_PANEL_HEADER_ITEM font: EV_FONT font_offset: INTEGER_32 font_width: INTEGER_32 for_all (test: FUNCTION [TEXT_PANEL_HEADER_ITEM, BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has (v: [like item] TEXT_PANEL_HEADER_ITEM): BOOLEAN has_font: BOOLEAN has_header_font: BOOLEAN has_keyword_font: BOOLEAN header_font: EV_FONT i_th alias "[]" (i: INTEGER_32): [like item] TEXT_PANEL_HEADER_ITEM index: INTEGER_32 index_of (v: [like item] TEXT_PANEL_HEADER_ITEM; i: INTEGER_32): INTEGER_32 initialized: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] TEXT_PANEL_HEADER): BOOLEAN is_fixed_width: BOOLEAN is_inserted (v: TEXT_PANEL_HEADER_ITEM): BOOLEAN isfirst: BOOLEAN islast: BOOLEAN item: TEXT_PANEL_HEADER_ITEM item_for_iteration: TEXT_PANEL_HEADER_ITEM keyword_font: EV_FONT last: [like first] TEXT_PANEL_HEADER_ITEM line_height: INTEGER_32 linear_representation: LINEAR [TEXT_PANEL_HEADER_ITEM] Lower: INTEGER_32 Minimal_increase: INTEGER_32 Mismatch_information: MISMATCH_INFORMATION new_cursor: ARRAYED_LIST_ITERATION_CURSOR [TEXT_PANEL_HEADER_ITEM] object_comparison: BOOLEAN occurrences (v: [like item] TEXT_PANEL_HEADER_ITEM): INTEGER_32 off: BOOLEAN Panel_manager: TEXT_PANEL_MANAGER previous_selected_index: INTEGER_32 prunable: BOOLEAN readable: BOOLEAN replaceable: BOOLEAN resizable: BOOLEAN there_exists (test: FUNCTION [TEXT_PANEL_HEADER_ITEM, BOOLEAN]): BOOLEAN to_array: ARRAY [TEXT_PANEL_HEADER_ITEM] upper: INTEGER_32 valid_cursor (p: CURSOR): BOOLEAN valid_cursor_index (i: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN writable: BOOLEAN Commands add_observer (a_observer: DOCUMENT_OBSERVER) append (s: SEQUENCE [TEXT_PANEL_HEADER_ITEM]) array_put (v: TEXT_PANEL_HEADER_ITEM; i: INTEGER_32) automatic_grow back compare_objects compare_references copy (other: [like Current] TEXT_PANEL_HEADER) correct_mismatch disable_duplicates do_all (action: PROCEDURE [TEXT_PANEL_HEADER_ITEM]) do_all_with_index (action: PROCEDURE [TEXT_PANEL_HEADER_ITEM, INTEGER_32]) do_if (action: PROCEDURE [TEXT_PANEL_HEADER_ITEM]; test: FUNCTION [TEXT_PANEL_HEADER_ITEM, BOOLEAN]) do_if_with_index (action: PROCEDURE [TEXT_PANEL_HEADER_ITEM, INTEGER_32]; test: FUNCTION [TEXT_PANEL_HEADER_ITEM, INTEGER_32, BOOLEAN]) enable_duplicates extend (v: [like item] TEXT_PANEL_HEADER_ITEM) fill (other: CONTAINER [TEXT_PANEL_HEADER_ITEM]) finish force (v: [like item] TEXT_PANEL_HEADER_ITEM) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) grow (i: INTEGER_32) make (n: INTEGER_32) make_filled (n: INTEGER_32) make_with_panel (a_text_panel: TEXT_PANEL) merge_left (other: ARRAYED_LIST [TEXT_PANEL_HEADER_ITEM]) merge_right (other: ARRAYED_LIST [TEXT_PANEL_HEADER_ITEM]) move (i: INTEGER_32) on_item_added (a_item: DOCUMENT_ITEM) on_item_removed (a_item: DOCUMENT_ITEM) on_update open_document (a_doc: [like item] TEXT_PANEL_HEADER_ITEM) prune (v: [like item] TEXT_PANEL_HEADER_ITEM) prune_all (v: [like item] TEXT_PANEL_HEADER_ITEM) put (v: [like item] TEXT_PANEL_HEADER_ITEM) put_front (v: [like item] TEXT_PANEL_HEADER_ITEM) put_i_th (v: [like i_th] TEXT_PANEL_HEADER_ITEM; i: INTEGER_32) put_left (v: [like item] TEXT_PANEL_HEADER_ITEM) put_right (v: [like item] TEXT_PANEL_HEADER_ITEM) remove_document remove_i_th (i: INTEGER_32) remove_left remove_observer (a_observer: DOCUMENT_OBSERVER) remove_right replace (v: [like first] TEXT_PANEL_HEADER_ITEM) resize (new_capacity: INTEGER_32) search (v: [like item] TEXT_PANEL_HEADER_ITEM) sequence_put (v: [like item] TEXT_PANEL_HEADER_ITEM) start swap (i: INTEGER_32) trim wipe_out Constraints has panel -- Generated by Eiffel Studio --
For more details: eiffel.org