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