class
	MEM_INFO

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

Ancestors
	MEMORY_STRUCTURE*
	MEM_CONST

Queries
	C_memory: INTEGER_32
	chunk: INTEGER_32
	Eiffel_memory: INTEGER_32
	exists: BOOLEAN
	free: INTEGER_32
	free64: NATURAL_64
	Full_collector: INTEGER_32
	Incremental_collector: INTEGER_32
	item: POINTER
	overhead: INTEGER_32
	overhead64: NATURAL_64
	shared: BOOLEAN
	structure_size: INTEGER_32
	total: INTEGER_32
	total64: NATURAL_64
	Total_memory: INTEGER_32
	type: INTEGER_32
	used: INTEGER_32
	used64: NATURAL_64

Commands
	make (memory: INTEGER_32)
	make_by_pointer (a_ptr: POINTER)
	structure_make
	update (memory: INTEGER_32)

Constraints
	consistent memory

Generated by ISE EiffelStudio