expanded class interface MEMORY
   --
   -- Facilities for tuning up the garbage collection, and
   -- everything about memory control.
   --

feature(s) from MEMORY   dispose
      -- Action to be executed just before garbage collection reclaims an
      -- object. (The default action is to do nothing at all.) If you want
      -- to change the default action, your class is supposed to
      -- inherit MEMORY and to redefine this dispose feature.


feature(s) from MEMORY
   -- Garbage collector information and tuning:

   collecting: BOOLEAN
      -- Is garbage collection enabled?


   collection_off
      -- Disable garbage collection.


   collection_on
      -- Enable garbage collection.


   full_collect
      -- Force a full collection cycle if garbage collection is
      -- enabled (i.e. collecting is true); do nothing otherwise.


   collector_counter: INTEGER
      -- The number of collections actually performed or -1 when the
      -- system is not using the SmartEiffel garbage collector (i.e. when
      -- the system is compiled using the -no_gc flag).

      ensure
         Result >= -1

feature(s) from MEMORY
   -- SmartEiffel Garbage collector information and tuning:

   small_eiffel_collector: BOOLEAN
      -- Is the SmartEiffel garbage collector really used?

      ensure
         Result = (collector_counter >= 0)

   low_memory_strategy: BOOLEAN
      -- Is the low memory strategy in use? When this strategy is used,
      -- the garbage collector try to use as few memory as possible.

      require
         small_eiffel_collector

   set_low_memory_strategy
      require
         small_eiffel_collector
      ensure
         low_memory_strategy

   high_memory_strategy: BOOLEAN
      -- Is the high memory strategy in use? When this strategy is used,
      -- the garbage collector assume that more memory can be allocated
      -- if necessary.

      require
         small_eiffel_collector

   set_high_memory_strategy
      require
         small_eiffel_collector
      ensure
         high_memory_strategy

   default_memory_strategy: BOOLEAN
      -- Is the default memory strategy in use? This is the default initial
      -- mode for the garbage collector (somewhere between low_memory_strategy
      -- and high_memory_strategy).

      require
         small_eiffel_collector

   set_default_memory_strategy
      require
         small_eiffel_collector
      ensure
         default_memory_strategy

   allocated_bytes: INTEGER
      -- Total number of allocated bytes of memory in the heap.

      require
         collector_counter >= 0

feature(s) from MEMORY
   -- Other features:

   pointer_size: INTEGER
      -- The size in number of bytes for a pointer.




end of expanded MEMORY