IndexedCollection

AddToDictionary Clear Exclude Finalize Include Init MakeValid SafeDrop Search

Attributes

IndexedAttribute

Fields

instance IndexedCollection tag;
         values: nilObject;
           crcs: nilObject;
indexedAttribute: nilOperation;
end instance;

Define Class IndexedCollection;
    inherits from Dictionary;

    field crcs:             IntegerList;
    field indexedAttribute: OperationNumber, getter, setter;

    operation Exclude(thing: Object): Object;

    overrides Init, Finalize;
    overrides Search, Clear;
    overrides Include, AddToDictionary, SafeDrop;
    overrides MakeValid;

    attribute IndexedAttribute: OperationNumber;
end class;