Automatic generation produced by ISE Eiffel

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

General
	cluster: document
	description: "Document class information."
	create: make

Ancestors
	ANY

Queries
	encoding_detector: ENCODING_DETECTOR
	known_filetype (a_type: STRING_8): BOOLEAN
	name: STRING_8
	scanner: EDITOR_SCANNER
	syntax_definition: STRING_8

Commands
	add_file_type (a_type: STRING_8)
	initialize_scanner
	make (a_name, a_filetype, a_syntax_definition_file: STRING_8)
	remove_file_type (a_type: STRING_8)
	set_encoding_detector (a_encoding_detector: [like encoding_detector] ENCODING_DETECTOR)
	set_scanner (a_scanner: [like scanner] EDITOR_SCANNER)

Constraints
	has at least one filetype



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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