Automatic generation produced by ISE Eiffel
class EDITOR_BASIC_SCANNER General cluster: text_window description: "Basic texts scanners for TEXT_PANEL" create: make Ancestors EDITOR_SCANNER* Queries Console_encoding: ENCODING curr_token: EDITOR_TOKEN current_encoding: ENCODING eif_buffer: STRING_8 end_of_verbatim_string: BOOLEAN end_token: EDITOR_TOKEN first_token: EDITOR_TOKEN in_verbatim_string: BOOLEAN Iso_8859_1: ENCODING last_value: ANY start_condition: INTEGER_32 start_of_verbatim_string: BOOLEAN System_encoding: ENCODING tab_size: INTEGER_32 Utf16: ENCODING Utf32: ENCODING Utf8: ENCODING Commands execute (a_string: STRING_8) execute_with_wide_string (a_string: STRING_32) reset scan set_in_verbatim_string (a_flag: BOOLEAN) set_start_condition (a_c: INTEGER_32) set_tab_size (size: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org