Automatic generation produced by ISE Eiffel
class EDITOR_TOKEN_SYMBOL General cluster: text_window description: "Token that describe a symbol ( [, {, ...)" create: make Ancestors EDITOR_TOKEN_TEXT Queries arc_cosine (v: REAL_32): REAL_32 arc_sine (v: REAL_32): REAL_32 arc_tangent (v: REAL_32): REAL_32 background_color: EV_COLOR background_color_id: INTEGER_32 ceiling (v: REAL_32): REAL_32 character_length: INTEGER_32 Comments_background_color_id: INTEGER_32 Comments_text_color_id: INTEGER_32 cosine (v: REAL_32): REAL_32 Cursor_line_highlight_color_id: INTEGER_32 data: ANY debug_output: STRING_32 Editor_font_id: INTEGER_32 editor_preferences: EDITOR_DATA Euler: REAL_64 exp (x: REAL_32): REAL_32 Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_32 floor (v: REAL_32): REAL_32 focus_out_selected_background_color: EV_COLOR focus_out_selected_background_color_id: INTEGER_32 Focus_out_selection_background_color_id: INTEGER_32 font: EV_FONT font_id: INTEGER_32 font_offset: INTEGER_32 font_width: INTEGER_32 get_substring_width (n: INTEGER_32): INTEGER_32 has_tabulation: BOOLEAN Has_tabulation_flag: NATURAL_8 height: INTEGER_32 Highlight_background_color_id: INTEGER_32 Highlight_text_color_id: INTEGER_32 initialized: BOOLEAN is_blank: BOOLEAN is_clickable: BOOLEAN Is_clickable_flag: NATURAL_8 is_fake: BOOLEAN Is_fake_flag: NATURAL_8 is_feature_start: BOOLEAN is_fixed_width: BOOLEAN is_highlighted: BOOLEAN Is_highlighted_flag: NATURAL_8 is_link: BOOLEAN Is_link_flag: NATURAL_8 is_margin_token: BOOLEAN is_mouse_over: BOOLEAN Is_mouse_over_flag: NATURAL_8 is_new_line: BOOLEAN is_selectable: BOOLEAN Is_selectable_flag: NATURAL_8 is_tabulation: BOOLEAN Is_text: BOOLEAN Keyword_background_color_id: INTEGER_32 Keyword_font_id: INTEGER_32 Keyword_text_color_id: INTEGER_32 length: INTEGER_32 Line_number_text_color_id: INTEGER_32 Link_background_color_id: INTEGER_32 Link_color_id: INTEGER_32 log (v: REAL_32): REAL_32 log10 (v: REAL_32): REAL_32 log_2 (v: REAL_32): REAL_32 Margin_background_color_id: INTEGER_32 Margin_separator_color_id: INTEGER_32 max_color_id: INTEGER_32 max_font_id: INTEGER_32 may_contain_tabulation: BOOLEAN Mouse_over_link_background_color_id: INTEGER_32 Mouse_over_link_color_id: INTEGER_32 next: EDITOR_TOKEN Normal_background_color_id: INTEGER_32 Normal_text_color_id: INTEGER_32 Number_background_color_id: INTEGER_32 Number_text_color_id: INTEGER_32 Operator_background_color_id: INTEGER_32 Operator_text_color_id: INTEGER_32 Panel_manager: TEXT_PANEL_MANAGER pebble: ANY Pi: REAL_64 Pi_2: REAL_64 Pi_4: REAL_64 Platform_is_windows: BOOLEAN pos_in_text: INTEGER_32 position: INTEGER_32 previous: EDITOR_TOKEN Quoted_feature_background_color_id: INTEGER_32 Quoted_feature_text_color_id: INTEGER_32 rabs (v: REAL_32): REAL_32 retrieve_position_by_width (a_width: INTEGER_32): INTEGER_32 selected_background_color: EV_COLOR selected_background_color_id: INTEGER_32 selected_text_color: EV_COLOR selected_text_color_id: INTEGER_32 Selection_background_color_id: INTEGER_32 Selection_text_color_id: INTEGER_32 Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 sine (v: REAL_32): REAL_32 Spaces_background_color_id: INTEGER_32 Spaces_text_color_id: INTEGER_32 sqrt (v: REAL_32): REAL_32 Sqrt2: REAL_64 String_background_color_id: INTEGER_32 String_text_color_id: INTEGER_32 tangent (v: REAL_32): REAL_32 text_color: EV_COLOR text_color_id: INTEGER_32 token_status_flags: NATURAL_8 valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 wide_image: STRING_32 width: INTEGER_32 Commands display (d_y: INTEGER_32; device: EV_DRAWABLE; panel: TEXT_PANEL) display_half_selected (d_y, start_selection, end_selection: INTEGER_32; device: EV_DRAWABLE; panel: TEXT_PANEL) display_selected (d_y: INTEGER_32; device: EV_DRAWABLE; panel: TEXT_PANEL) display_with_offset (x_offset, d_y: INTEGER_32; device: EV_DRAWABLE; panel: TEXT_PANEL) draw_text_top_left (pos, d_y: INTEGER_32; text_to_be_drawn: STRING_32; device: EV_DRAWABLE) make (text: [like wide_image] STRING_32) make_from_utf_8 (text: STRING_8) process (a_token_visitor: TOKEN_VISITOR) set_background_color (a_color: [like userset_background_color] EV_COLOR) set_data (a_data: [like data] ANY) set_focus_out_selected_background_color (a_color: [like userset_focus_out_selected_background_color] EV_COLOR) set_highlighted (b: BOOLEAN) set_image (a_image: [like wide_image] STRING_32) set_is_clickable (a_clickable: BOOLEAN) set_is_fake (b: BOOLEAN) set_is_link (b: BOOLEAN) set_is_mouse_over (b: BOOLEAN) set_is_selectable (b: BOOLEAN) set_next_token (next_token: EDITOR_TOKEN) set_pebble (a_pebble: [like pebble] ANY) set_pos_in_text (pit: INTEGER_32) set_previous_token (previous_token: EDITOR_TOKEN) set_selected_background_color (a_color: [like userset_selected_background_color] EV_COLOR) set_selected_text_color (a_color: [like userset_selected_text_color] EV_COLOR) set_text_color (a_color: [like userset_text_color] EV_COLOR) set_token_status_flag (a_flag: NATURAL_8; a_flag_value: BOOLEAN) update_position update_width -- Generated by Eiffel Studio --
For more details: eiffel.org