deferred class interface WIN_MEMORY

feature(s) from MEMORY
   --  Removal :

   dispose

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



end of deferred WIN_MEMORY