Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EDITOR_SCANNER

General
	cluster: text_window
	description: "Scanners for Eiffel parsers"

Ancestors
	STRING_HANDLER
	SYSTEM_ENCODINGS

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_st: INTEGER_32)
	set_tab_size (size: INTEGER_32)

Constraints
	eif buffer not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org