Automatic generation produced by ISE Eiffel
class SELECTABLE_TEXT General cluster: text_window description: "Read only text with cursor and selection." create: make Ancestors TEXT Queries after: BOOLEAN attached_cursor: [like cursor] TEXT_CURSOR attached_selection_cursor: [like cursor] TEXT_CURSOR current_char: CHARACTER_32 current_class: DOCUMENT_CLASS current_class_set: BOOLEAN current_line: [like line] EDITOR_LINE current_line_number: INTEGER_32 cursor: TEXT_CURSOR Default_document_class: DOCUMENT_CLASS editor_preferences: EDITOR_DATA ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION first_line: EDITOR_LINE first_non_blank_token (a_line: [like line] EDITOR_LINE): EDITOR_TOKEN first_read_block_size: INTEGER_32 found_string_character_position: INTEGER_32 found_string_line: INTEGER_32 found_string_total_character_position: INTEGER_32 get_class_from_type (a_type: READABLE_STRING_GENERAL): DOCUMENT_CLASS has_cursor: BOOLEAN has_selection: BOOLEAN initialized: BOOLEAN internal_has_selection: BOOLEAN is_empty: BOOLEAN is_modified: BOOLEAN is_notifying: BOOLEAN is_removing_block: BOOLEAN is_windows_eol_style: BOOLEAN known_document_type (a_type: READABLE_STRING_GENERAL): BOOLEAN last_line: [like first_line] EDITOR_LINE line (i: INTEGER_32): [like first_line] EDITOR_LINE line_pos_in_chars (a_line: [like line] EDITOR_LINE): INTEGER_32 number_of_lines: INTEGER_32 Panel_manager: TEXT_PANEL_MANAGER post_notify_actions: ARRAYED_LIST [ROUTINE] reading_text_finished: BOOLEAN selected_wide_string: STRING_32 selection_cursor: [like cursor] TEXT_CURSOR selection_end: [like cursor] TEXT_CURSOR selection_is_empty: BOOLEAN selection_start: [like cursor] TEXT_CURSOR Shared_environment: EV_ENVIRONMENT string_between_cursor (a_start_cursor, a_end_cursor: [like cursor] TEXT_CURSOR): STRING_32 string_between_pos_in_text (a_start_pos, a_end_pos: INTEGER_32): STRING_32 successful_search: BOOLEAN tabulation_size: INTEGER_32 text_being_processed: BOOLEAN text_length: INTEGER_32 text_loaded: STRING_8 wide_text: STRING_32 Commands add_cursor_observer (a_text_observer: TEXT_OBSERVER) add_edition_observer (a_text_observer: TEXT_OBSERVER) add_lines_observer (a_text_observer: TEXT_OBSERVER) add_selection_observer (a_text_observer: TEXT_OBSERVER) append_line (tl: [like first_line] EDITOR_LINE) disable_selection enable_selection execute_post_notify_actions forget_selection forth go_i_th (i: INTEGER_32) highlight_line (a_line: INTEGER_32) load_string (a_string: STRING_8) make prepend_line (tl: [like first_line] EDITOR_LINE) recycle register_document (a_type_name: STRING_8; a_class: DOCUMENT_CLASS) remove_observer (a_text_observer: TEXT_OBSERVER) reset_text search_string (searched_string: READABLE_STRING_GENERAL) search_string_from_cursor (searched_string: STRING_8) select_all select_region (start_pos, end_pos: INTEGER_32) set_changed (value, directly_edited: BOOLEAN) set_current_document_class (doc_class: [like current_class] DOCUMENT_CLASS) set_first_data (tl: [like first_line] EDITOR_LINE) set_first_read_block_size (a_size: INTEGER_32) set_is_windows_eol_style (a_windows_style: BOOLEAN) set_last_data (tl: [like first_line] EDITOR_LINE) set_selection_cursor (c: [like cursor] TEXT_CURSOR) set_tabulation_size (a_size: INTEGER_32) start unhighlight_line (a_line: INTEGER_32) update_line (a_line: INTEGER_32) wipe_out Constraints valid selection -- Generated by Eiffel Studio --
For more details: eiffel.org