ANY NONE
deferred class interface DISPOSABLE
   --
   -- All classes whoses instances need a special treatment before
   -- they are disposed of by the garbage collector should inherit
   -- from this class and effect dispose.
   --

feature(s) from DISPOSABLE
   dispose
      -- Action to be executed just before garbage collection reclaims an
      -- object.



end of deferred DISPOSABLE