AutoPurgeable

Finalize Purge

Attributes

PurgeableOwner

Fields

Define Class AutoPurgeable;
    mixes in with Object;
    
    operation Purge(), noFail;
        // called by the system to get rid of a purgeable object when low on memory
        // rarely override
    attribute PurgeableOwner: AutoPurgeableOwner, readOnly, noGetter;
        // called by the system to get object that owns purgeable
        // must override
    
#ifdef DEBUG
    overrides Finalize;
        // verifies that self is not still owned by its PurgeableOwner
#endif
end class;