indexing    
   description: "Facilities for tuning the memory management system"
class interface MEMORY
feature 
    full_collect
      -- Force an immediate garbage collection if garbage collection is
      -- enabled; otherwise do nothing.
    collection_off
      -- Disable the garbage collector.
    collection_on
      -- Enable the garbage collector.
    collecting : BOOLEAN
      -- Is garbage collecting enabled?
feature 
    -- Finalization.
    dispose
      -- Called just before the garbage collector reclaims the object.
      -- This is only intended to enable cleaning of external resources.
      -- The object should not do remote calls on other objects since
      -- those may also be dead and have already been reclaimed. 
      -- The current object is freed after the `dispose' routine returns.
end -- MEMORY