DIRECTORY PrincOps USING [zXOR], DragomanRefTab USING [EachPairAction, Key, Node, NodeRep, Ref, RefTabRep, Seq, SeqIndex, Val]; DragomanRefTabImpl: CEDAR MONITOR LOCKS x USING x: Ref EXPORTS DragomanRefTab = { OPEN DragomanRefTab; Munch: PROC [key: Key] RETURNS [CARDINAL] = TRUSTED MACHINE CODE { PrincOps.zXOR; }; Create: PUBLIC PROC [mod: SeqIndex _ 17] RETURNS [Ref] = { index: CARDINAL _ 0; data: REF Seq _ NIL; IF mod < 7 THEN mod _ 7; data _ NEW[Seq[mod]]; RETURN[NEW[RefTabRep _ [mod: mod, size: 0, data: data]]]; }; GetSize: PUBLIC PROC [x: Ref] RETURNS [INT] = { RETURN [x.size]; }; Fetch: PUBLIC ENTRY PROC [x: Ref, key: Key] RETURNS [found: BOOL, val: Val] = { ENABLE UNWIND => NULL; hash: CARDINAL _ Munch[key] MOD x.mod; node: Node _ x.data[hash]; WHILE node # NIL DO IF key = node.key THEN RETURN [TRUE, node.val]; node _ node.next; ENDLOOP; RETURN [FALSE, NIL]; }; Replace: PUBLIC ENTRY PROC [x: Ref, key: Key, val: Val] RETURNS [BOOL] = { ENABLE UNWIND => NULL; hash: CARDINAL _ Munch[key] MOD x.mod; node: Node _ x.data[hash]; head: Node _ node; WHILE node # NIL DO IF key = node.key THEN {node.val _ val; RETURN [TRUE]}; node _ node.next; ENDLOOP; RETURN [FALSE]; }; Store: PUBLIC ENTRY PROC [x: Ref, key: Key, val: Val] RETURNS [BOOL] = { ENABLE UNWIND => NULL; hash: CARDINAL _ Munch[key] MOD x.mod; node: Node _ x.data[hash]; head: Node _ node; WHILE node # NIL DO IF key = node.key THEN {node.val _ val; RETURN [FALSE]}; node _ node.next; ENDLOOP; x.data[hash] _ NEW[NodeRep _ [key: key, val: val, next: head]]; x.size _ x.size + 1; RETURN [TRUE]; }; Insert: PUBLIC ENTRY PROC [x: Ref, key: Key, val: Val] RETURNS [BOOL] = { ENABLE UNWIND => NULL; hash: CARDINAL _ Munch[key] MOD x.mod; node: Node _ x.data[hash]; head: Node _ node; WHILE node # NIL DO IF key = node.key THEN RETURN [FALSE]; node _ node.next; ENDLOOP; x.data[hash] _ NEW[NodeRep _ [key: key, val: val, next: head]]; x.size _ x.size + 1; RETURN [TRUE]; }; Delete: PUBLIC ENTRY PROC [x: Ref, key: Key] RETURNS [BOOL] = { ENABLE UNWIND => NULL; hash: CARDINAL _ Munch[key] MOD x.mod; node: Node _ x.data[hash]; head: Node _ node; lag: Node _ NIL; WHILE node # NIL DO IF key = node.key THEN { IF lag = NIL THEN x.data[hash] _ node.next ELSE lag.next _ node.next; x.size _ x.size - 1; RETURN [TRUE]}; lag _ node; node _ node.next; ENDLOOP; RETURN [FALSE]; }; Pairs: PUBLIC PROC [x: Ref, action: EachPairAction] RETURNS [quit: BOOL] = { node: Node _ NIL; index: CARDINAL _ 0; DO [node, index] _ GetNext[x, node, index]; IF node = NIL THEN RETURN [FALSE]; IF action[node.key, node.val] THEN RETURN [TRUE]; ENDLOOP; }; GetNext: ENTRY PROC [x: Ref, node: Node, index: CARDINAL] RETURNS [Node, CARDINAL] = { ENABLE UNWIND => NULL; mod: CARDINAL _ x.mod; IF node # NIL THEN { node _ node.next; IF node # NIL THEN RETURN [node, index]; index _ index + 1} ELSE index _ 0; WHILE index < mod DO node _ x.data[index]; IF node = NIL THEN {index _ index + 1; LOOP}; RETURN [node, index]; ENDLOOP; RETURN [NIL, mod]; }; }. pDragomanRefTabImpl.Mesa Bertrand Serlet July 27, 1985 5:33:43 pm PDT Private Operations public operations Κ˜codešœ™K™,—K˜šΟk ˜ Kšœ˜KšœœJ˜^K˜—š œœœœœ˜6Kšœœ˜/K˜Kšœ™K˜šΟnœœ œœœœœ˜BKšœ˜Kšœ˜K˜—Kšœ™K˜š žœœœœ œ˜;Kšœœ˜Kšœœœ˜Kšœ œ ˜Kšœœ ˜Kšœœ/˜9Kšœ˜K˜—š žœœœ œœ˜/Kšœ ˜Kšœ˜K˜—š žœœœœœ œ˜OKšœœœ˜Kšœœœ˜&K˜šœœ˜Kšœœœœ ˜/K˜Kšœ˜—Kšœœœ˜Kšœ˜K˜—š žœœ œœœ˜JKšœœœ˜Kšœœœ˜&K˜K˜šœœ˜Kšœœœœ˜7K˜Kšœ˜—Kšœœ˜Kšœ˜K˜—š žœœœœœœ˜HKšœœœ˜Kšœœœ˜&K˜K˜šœœ˜Kšœœœœ˜8K˜Kšœ˜—Kšœœ-˜?K˜Kšœœ˜Kšœ˜K˜—š žœœœœœœ˜IKšœœœ˜Kšœœœ˜&K˜K˜šœœ˜Kšœœœœ˜&K˜Kšœ˜—Kšœœ-˜?K˜Kšœœ˜Kšœ˜K˜—š žœœœœœœ˜?Kšœœœ˜Kšœœœ˜&K˜K˜Kšœ œ˜šœœ˜šœœ˜Kšœœœœ˜EK˜Kšœœ˜—K˜ K˜Kšœ˜—Kšœœ˜Kšœ˜K˜—š žœœœ!œœ˜LKšœ œ˜Kšœœ˜š˜K˜(Kš œœœœœ˜"Kšœœœœ˜1Kšœ˜—Kšœ˜K˜—š žœœœœœœ˜VKšœœœ˜Kšœœ ˜šœœœ˜K˜Kšœœœœ˜(K˜Kšœ ˜—šœ ˜K˜Kšœœœœ˜-Kšœ˜Kšœ˜—Kšœœ˜K˜K˜—Kšœ˜K˜K˜K˜——…— ΖΖ