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

feature(s) from MEMORY
   --  Removal :

   dispose
      --  Action to be executed just before garbage collection 
      --  reclaims an object.


   full_collect
      --  Force a full collection cycle if garbage collection is
      --  enabled; do nothing otherwise.



end of expanded MEMORY