HashCollectionsPrivate.Mesa
Last tweaked by Mike Spreitzer on May 15, 1987 10:23:31 am PDT
DIRECTORY Collections;
HashCollectionsPrivate: CEDAR DEFINITIONS = {OPEN Collections;
HashColl: TYPE ~ REF HashCollPrivate;
HashCollPrivate:
TYPE ~
MONITORED
RECORD [
space: Space,
size, sizeLimit, inhibitCount, freezeCount: LNAT ← 0,
elts: REF Seq
];
SeqIndex: TYPE = NAT;
Seq: TYPE = RECORD [nodes: SEQUENCE max: SeqIndex OF LOV];
classes: READONLY ARRAY Mutability OF CollectionClass;
}.