indexing
	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."

class interface
	GC_INFO

create 

	make (memory: INTEGER)
			-- Fill in statistics for memory type
			-- Was declared in GC_INFO as synonym of make and update.

feature -- Initialization

	make (memory: INTEGER)
			-- Fill in statistics for memory type
			-- Was declared in GC_INFO as synonym of make and update.

			-- Fill in statistics for memory type
			-- Was declared in GC_INFO as synonym of make and update.
	
feature -- Access

	C_memory: INTEGER is 2
			-- Code for the C memory managed
			-- by the garbage collector
			-- (from MEM_CONST)

	collected: INTEGER
			-- Number of bytes collected by the last cycle,
			-- for type before last call to update

	collected_average: INTEGER
			-- Average number of bytes collected by a cycle,
			-- for type before last call to update

	cpu_interval_time: DOUBLE
			-- Amount of CPU time elapsed since between last
			-- and penultimate cycles for type before
			-- last call to update

	cpu_interval_time_average: DOUBLE
			-- Average amount of CPU time between two cycles,
			-- for type before last call to update

	cpu_time: DOUBLE
			-- Amount of CPU time, in seconds, spent in cycle,
			-- for type before last call to update

	cpu_time_average: DOUBLE
			-- Average amount of CPU time spent in cycle,
			-- in seconds, for type before last call to update

	cycle_count: INTEGER
			-- Number of collection cycles for type
			-- before last call to update

	Eiffel_memory: INTEGER is 1
			-- Code for the Eiffel memory managed
			-- by the garbage collector
			-- (from MEM_CONST)

	Full_collector: INTEGER is 0
			-- Statistics for full collections
			-- (from MEM_CONST)

	Incremental_collector: INTEGER is 1
			-- Statistics for incremental collections
			-- (from MEM_CONST)

	memory_used: INTEGER
			-- Total number of bytes used (counting overhead)
			-- after last cycle for type before last
			-- call to update

	real_interval_time: INTEGER
			-- Real interval time (as opposed to CPU time) between
			-- two automatically raised cycles, in centi-seconds,
			-- for type before last call to update

	real_interval_time_average: INTEGER
			-- Average real interval time between two automatic
			-- cycles, in centi-seconds,
			-- for type before last call to update

	real_time: INTEGER
			-- Real time in centi-seconds used by last cycle
			-- for type, before last call to update;
			-- this may not be accurate on systems which do not
			-- provide a sub-second accuracy clock (typically
			-- provided on BSD).

	real_time_average: INTEGER
			-- Average amount of real time, in centi-seconds,
			-- spent in collection cycle,
			-- for type before last call to update

	sys_interval_time: DOUBLE
			-- Amount of kernel time elapsed since between
			-- the last and the penultimate cycle,
			-- for type before last call to update

	sys_interval_time_average: DOUBLE
			-- Average amount of kernel time between two cycles,
			-- for type before last call to update

	sys_time: DOUBLE
			-- Amount of kernel time, in seconds, spent in cycle,
			-- for type before last call to update

	sys_time_average: DOUBLE
			-- Average amount of kernel time spent in cycle,
			-- for type before last call to update

	Total_memory: INTEGER is 0
			-- Code for all the memory managed
			-- by the garbage collector
			-- (from MEM_CONST)

	type: INTEGER
			-- Collector type (Full, Collect),
			-- for type before last call to update
	
invariant

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

end -- class GC_INFO