Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	MEM_INFO

General
	cluster: base.kernel
	description: 
		"Properties of the memory management mechanism.
		This class may be used as ancestor by classes needing its facilities."
	create: make

Ancestors
	MEM_CONST

Queries
	C_memory: INTEGER
	Eiffel_memory: INTEGER
	free: INTEGER
	Full_collector: INTEGER
	Incremental_collector: INTEGER
	overhead: INTEGER
	total: INTEGER
	Total_memory: INTEGER
	type: INTEGER
	used: INTEGER

Commands
	make (memory: INTEGER)
	update (memory: INTEGER)

Constraints
	consistent memory



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com