Automatic generation produced by ISE Eiffel

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

General
	cluster: wel
	description: 
		"General notions of a loadable resource.
		
		Note: make_by_predefined_id does now take a POINTER as argument.
		   Please change any external clauses of existing prefedefined
		   IDs to POINTER too. Predefined IDs are correctly casted on
		   the C-side already."

Ancestors
	WEL_ANY*

Queries
	exists: BOOLEAN
	item: POINTER
	shared: BOOLEAN

Commands
	dispose
	set_item (an_item: POINTER)
	set_shared
	set_unshared



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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