Automatic generation produced by ISE Eiffel
class EDITOR_CURSOR General cluster: text_window description: "Cursor in editors" create: make_from_relative_pos, make_from_character_pos, make_from_integer Ancestors TEXT_CURSOR Queries char_is_separator (char: CHARACTER_32): BOOLEAN editor_preferences: EDITOR_DATA equivalent_length (position, tab_number: INTEGER_32): INTEGER_32 initialized: BOOLEAN initializing: BOOLEAN is_alpha (a_char: CHARACTER_32): BOOLEAN is_control (a_char: CHARACTER_32): BOOLEAN is_digit (a_char: CHARACTER_32): BOOLEAN is_equal (other: [like Current] EDITOR_CURSOR): BOOLEAN is_greater alias ">" (other: [like Current] EDITOR_CURSOR): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] EDITOR_CURSOR): BOOLEAN is_hexa_digit (a_char: CHARACTER_32): BOOLEAN is_less alias "<" (other: [like Current] EDITOR_CURSOR): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] EDITOR_CURSOR): BOOLEAN is_lower (a_char: CHARACTER_32): BOOLEAN is_punctuation (a_char: CHARACTER_32): BOOLEAN is_space (a_char: CHARACTER_32): BOOLEAN is_title (a_char: CHARACTER_32): BOOLEAN is_upper (a_char: CHARACTER_32): BOOLEAN line: EDITOR_LINE max alias "∨" (other: [like Current] EDITOR_CURSOR): [like Current] EDITOR_CURSOR Max_ascii_value: NATURAL_32 Max_latin1_value: NATURAL_32 Max_unicode_value: NATURAL_32 min alias "∧" (other: [like Current] EDITOR_CURSOR): [like Current] EDITOR_CURSOR Panel_manager: TEXT_PANEL_MANAGER pos_in_characters: INTEGER_32 pos_in_text: INTEGER_32 pos_in_token: INTEGER_32 three_way_comparison alias "⋚" (other: [like Current] EDITOR_CURSOR): INTEGER_32 to_lower (a_char: CHARACTER_32): CHARACTER_32 to_title (a_char: CHARACTER_32): CHARACTER_32 to_upper (a_char: CHARACTER_32): CHARACTER_32 token: EDITOR_TOKEN token_length (tok: EDITOR_TOKEN; pos: INTEGER_32): INTEGER_32 wide_item: CHARACTER_32 x_in_characters: INTEGER_32 x_in_visible_characters: INTEGER_32 y_in_lines: INTEGER_32 Commands go_down_line go_end_line go_end_word go_left_char go_left_word go_right_char go_right_char_no_down_line go_right_word go_smart_home go_start_line go_start_word go_to_position (a_position: INTEGER_32) go_up_line set_current_char (a_token: EDITOR_TOKEN; a_position: INTEGER_32) set_from_character_pos (ch_num, y: INTEGER_32; a_text: [like text] EDITABLE_TEXT) set_from_integer (ch_num: INTEGER_32; a_text: [like text] EDITABLE_TEXT) set_from_relative_pos (a_line: [like line] EDITOR_LINE; a_token: EDITOR_TOKEN; pos: INTEGER_32; a_text: [like text] EDITABLE_TEXT) set_line (a_line: [like line] EDITOR_LINE) set_x_in_characters (x_in_ch: INTEGER_32) set_y_in_lines (y: INTEGER_32) update_current_char -- Generated by Eiffel Studio --
For more details: eiffel.org