Automatic generation produced by ISE Eiffel

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

General
	cluster: wel
	description: "Registry manager"
	create: make

Ancestors
	ANY

Queries
	class_id: READABLE_STRING_GENERAL
	last_change: WEL_FILE_TIME
	name: READABLE_STRING_GENERAL

Commands
	make (a_name, a_class_id: READABLE_STRING_GENERAL; a_modification_time: WEL_FILE_TIME)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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