Automatic generation produced by ISE Eiffel
class EDITABLE_TEXT General cluster: text_window description: "Editable text with cursor and selection. Changes in text are stored in an UNDO_REDO_STACK and are undo- and redoable." create: make Ancestors SELECTABLE_TEXT Queries after: BOOLEAN attached_cursor: [like cursor] EDITOR_CURSOR attached_selection_cursor: [like cursor] EDITOR_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: EDITOR_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 history: UNDO_REDO_STACK initialized: BOOLEAN internal_has_selection: BOOLEAN is_commented_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 new_cursor_from_character_pos (ch_num, y: INTEGER_32): [like cursor] EDITOR_CURSOR number_of_lines: INTEGER_32 Panel_manager: TEXT_PANEL_MANAGER post_notify_actions: ARRAYED_LIST [ROUTINE] reading_text_finished: BOOLEAN redo_is_possible: BOOLEAN selected_wide_string: STRING_32 selection_cursor: [like cursor] EDITOR_CURSOR selection_end: [like cursor] EDITOR_CURSOR selection_is_empty: BOOLEAN selection_start: [like cursor] EDITOR_CURSOR Shared_environment: EV_ENVIRONMENT string_between_cursor (a_start_cursor, a_end_cursor: [like cursor] EDITOR_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 tabulation_symbol: STRING_8 text_being_processed: BOOLEAN text_length: INTEGER_32 text_loaded: STRING_8 undo_is_possible: BOOLEAN use_smart_indentation: BOOLEAN 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) back_delete_char comment_selection copy_selection_to_pos (i: INTEGER_32) delete_char delete_selection delete_word (back: BOOLEAN) disable_selection enable_selection execute_post_notify_actions forget_selection forth go_i_th (i: INTEGER_32) highlight_line (a_line: INTEGER_32) indent_selection insert_char (c: CHARACTER_32) insert_eol insert_string (txt: READABLE_STRING_GENERAL) insert_string_as_selectable (txt: READABLE_STRING_GENERAL) load_string (a_string: STRING_8) make move_selection_to_pos (i: INTEGER_32) on_text_loaded paste_with_indentation (a_text: READABLE_STRING_GENERAL) prepend_line (tl: [like first_line] EDITOR_LINE) recycle redo register_document (a_type_name: STRING_8; a_class: DOCUMENT_CLASS) remove_observer (a_text_observer: TEXT_OBSERVER) remove_trailing_blanks remove_trailing_fake_blanks replace_char (c: CHARACTER_32) replace_char_including_new_line (c: CHARACTER_32) replace_for_replace_all (start_pos, end_pos: INTEGER_32; a_word: READABLE_STRING_GENERAL) replace_selection (a_word: READABLE_STRING_GENERAL) 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_case (lower: BOOLEAN) set_selection_cursor (c: [like cursor] EDITOR_CURSOR) set_tabulation_size (a_size: INTEGER_32) start toggle_comment_selection uncomment_selection undo unhighlight_line (a_line: INTEGER_32) unindent_selection update_line (a_line: INTEGER_32) wipe_out Constraints history attached tabulation symbol valid -- Generated by Eiffel Studio --
For more details: eiffel.org