class MEM_INFO General cluster: base 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 free: INTEGER_32 Full_collector: INTEGER_32 Incremental_collector: INTEGER_32 overhead: INTEGER_32 total: INTEGER_32 Total_memory: INTEGER_32 type: INTEGER_32 used: INTEGER_32 Commands make (memory: INTEGER_32) update (memory: INTEGER_32) Constraints consistent memory