class
	MEMORY

General
	cluster: base.kernel
	description: 
		"Facilities for tuning up the garbage collection mechanism.
		This class may be used as ancestor by classes needing its facilities."

Ancestors
	MEM_CONST

Queries
	C_memory: INTEGER
	chunk_size: INTEGER
	coalesce_period: INTEGER
	collecting: BOOLEAN
	collection_period: INTEGER
	Eiffel_memory: INTEGER
	Full_collector: INTEGER
	gc_statistics (collector_type: INTEGER): GC_INFO
	generation_object_limit: INTEGER
	Incremental_collector: INTEGER
	is_in_final_collect: BOOLEAN
	largest_coalesced_block: INTEGER
	max_mem: INTEGER
	memory_statistics (memory_type: INTEGER): MEM_INFO
	memory_threshold: INTEGER
	referers (an_object: ANY): ARRAY [ANY]
	scavenge_zone_size: INTEGER
	tenure: INTEGER
	Total_memory: INTEGER

Commands
	allocate_compact
	allocate_fast
	allocate_tiny
	collect
	collection_off
	collection_on
	disable_time_accounting
	dispose
	enable_time_accounting
	free (object: ANY)
	full_coalesce
	full_collect
	mem_free (addr: POINTER)
	set_coalesce_period (value: INTEGER)
	set_collection_period (value: INTEGER)
	set_max_mem (value: INTEGER)
	set_memory_threshold (value: INTEGER)