class
	GC_INFO

General
	cluster: base.kernel
	description: 
		"Garbage collector statistics.
		This class may be used as ancestor by classes needing its facilities.
		Time accounting is relevant only if `enable_time_accounting' 
		(from MEMORY) has been called."
	create: make

Ancestors
	MEM_CONST

Queries
	C_memory: INTEGER
	collected: INTEGER
	collected_average: INTEGER
	cpu_interval_time: DOUBLE
	cpu_interval_time_average: DOUBLE
	cpu_time: DOUBLE
	cpu_time_average: DOUBLE
	cycle_count: INTEGER
	Eiffel_memory: INTEGER
	Full_collector: INTEGER
	Incremental_collector: INTEGER
	memory_used: INTEGER
	real_interval_time: INTEGER
	real_interval_time_average: INTEGER
	real_time: INTEGER
	real_time_average: INTEGER
	sys_interval_time: DOUBLE
	sys_interval_time_average: DOUBLE
	sys_time: DOUBLE
	sys_time_average: DOUBLE
	Total_memory: INTEGER
	type: INTEGER

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