indexing
	description: "Constants used by memory management. This class may be used as ancestor by classes needing its facilities."

class interface
	MEM_CONST

feature -- Access

	C_memory: INTEGER is 2
			-- Code for the C memory managed
			-- by the garbage collector

	Eiffel_memory: INTEGER is 1
			-- Code for the Eiffel memory managed
			-- by the garbage collector

	Full_collector: INTEGER is 0
			-- Statistics for full collections

	Incremental_collector: INTEGER is 1
			-- Statistics for incremental collections

	Total_memory: INTEGER is 0
			-- Code for all the memory managed
			-- by the garbage collector
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class MEM_CONST