Automatic generation produced by ISE Eiffel

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

General
	cluster: document
	description: "Manager of registered document types."

Ancestors
	ANY

Queries
	current_class: DOCUMENT_CLASS
	current_class_set: BOOLEAN
	Default_document_class: DOCUMENT_CLASS
	get_class_from_type (a_type: READABLE_STRING_GENERAL): DOCUMENT_CLASS
	known_document_type (a_type: READABLE_STRING_GENERAL): BOOLEAN

Commands
	register_document (a_type_name: STRING_8; a_class: DOCUMENT_CLASS)
	set_current_document_class (doc_class: [like current_class] DOCUMENT_CLASS)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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