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