FilingReceiverWithCRC

FindReceiverFromCRC InstallInto

Attributes

Class FilingReceiverWithCRC defines no new attributes.

Fields

instance FilingReceiverWithCRC tag;
   receiverTray: nilObject;
            crc: 0;
end instance;

Define Class FilingReceiverWithCRC;
    inherits from Object;
    inherits from InstallReceiverProxy;

    field receiverTray: FolderTray, weak;
        // object to install into
    field crc: Unsigned;
        // CRC to figure out more precisely how the object should be installed.

    operation FindReceiverFromCRC() : StackOfCards;
        // returns the stack that the CRC leads to.

    overrides InstallInto;
        // installing an object into this filing receiver is
        // equivalent to calling InstallInto on the stack that
        // is returned by FindReceiverFromCRC.
end class;