Automatic generation produced by ISE Eiffel
class VIEWER_CURSOR General cluster: text_window description: "Objects that represent the cursor of a text viewer" create: make_from_absolute_pos, make_from_relative_pos, make_from_character_pos, make_from_integer Ancestors COMPARABLE* CURSOR Queries is_equal (other: [like Current] VIEWER_CURSOR): BOOLEAN is_greater alias ">" (other: [like Current] VIEWER_CURSOR): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] VIEWER_CURSOR): BOOLEAN is_less alias "<" (other: [like Current] VIEWER_CURSOR): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] VIEWER_CURSOR): BOOLEAN line: VIEWER_LINE max alias "∨" (other: [like Current] VIEWER_CURSOR): [like Current] VIEWER_CURSOR min alias "∧" (other: [like Current] VIEWER_CURSOR): [like Current] VIEWER_CURSOR number_of_lines: INTEGER_32 pos_in_characters: INTEGER_32 pos_in_token: INTEGER_32 three_way_comparison alias "⋚" (other: [like Current] VIEWER_CURSOR): INTEGER_32 token: EDITOR_TOKEN wide_item: CHARACTER_32 x_in_characters: INTEGER_32 x_in_pixels: INTEGER_32 y_in_lines: INTEGER_32 Commands go_down_line go_end_line go_left_char go_right_char go_start_line go_up_line make_from_absolute_pos (x, y: INTEGER_32; a_text: [like whole_text] VIEWER_CONTENT) make_from_character_pos (ch_num, y: INTEGER_32; a_text: [like whole_text] VIEWER_CONTENT) make_from_integer (ch_num: INTEGER_32; a_text: [like whole_text] VIEWER_CONTENT) make_from_relative_pos (a_line: VIEWER_LINE; a_token: EDITOR_TOKEN; pos: INTEGER_32; a_text: [like whole_text] VIEWER_CONTENT) set_current_char (a_token: EDITOR_TOKEN; a_position: INTEGER_32) set_line (a_line: [like line] VIEWER_LINE) set_x_in_characters (x_in_ch: INTEGER_32) set_x_in_pixels (x: INTEGER_32) set_y_in_lines (y: INTEGER_32) Constraints x in pixels positive or null y in lines positive or null pos in token positive whole text not void -- Generated by Eiffel Studio --
For more details: eiffel.org