DIRECTORY CD, CDSymbolicObjects, Connections, RefTab, RefTabExtras, PWPins, Rope, RTBasic; ConnectionsImpl: CEDAR PROGRAM IMPORTS CDSymbolicObjects, RefTab, RefTabExtras, PWPins EXPORTS Connections = BEGIN OPEN Connections; CreateForRopes: PUBLIC PROC [mod: NAT _ 17] RETURNS [Table] ~ { RETURN[RefTab.Create[mod, RefTabExtras.EqualRope, RefTabExtras.HashRope]]}; CreateForRefs: PUBLIC PROC [mod: NAT _ 17] RETURNS [Table] ~ { RETURN[RefTab.Create[mod]]}; Fetch: PUBLIC PROC [table: Table, key: Key] RETURNS [found: BOOL, net: Net] ~ { value: REF; [found, value] _ RefTab.Fetch[table, key]; net _ NARROW[value]}; Store: PUBLIC PROC [table: Table, key: Key, net: Net] RETURNS [BOOL] ~ { RETURN[RefTab.Store[table, key, net]]}; InsertPins: PUBLIC PROC [table: Table, object: CD.Object, pinFilter: PinFilterProc, makeHashKey: HashKeyProc] ~ { EachPin: CDSymbolicObjects.InstEnumerator = { usePin: BOOL _ IF pinFilter = NIL THEN TRUE ELSE pinFilter[inst, object]; IF usePin THEN InsertSegments[table, object, inst, makeHashKey]}; IF object # NIL THEN [] _ PWPins.EnumerateEdgePins[object, EachPin]; }; EnumerateNets: PUBLIC PROC [table: Table, action: EachNetAction] RETURNS [BOOL] ~ { eachPair: RefTab.EachPairAction ~ {quit _ action[key, NARROW [val]]}; RETURN [RefTab.Pairs[table, eachPair]]}; EnumerateSegments: PUBLIC PROC [net: Net, action: EachSegmentAction] RETURNS [quit: BOOL _ FALSE] ~ { FOR l: Segments _ net.segments, l.rest WHILE ~quit AND l # NIL DO segment: Segment _ l.first; quit _ action[net, segment]; ENDLOOP}; InsertSegments: PROC [table: Table, object: CD.Object, instance: CD.Instance, makeHashKey: HashKeyProc] ~ { found: BOOL; val: REF; net: Net; side: RTBasic.Side _ FromSideToSide[PWPins.GetSide[object, instance].side]; rect: CD.Rect _ CDSymbolicObjects.Denotes[instance]; name: Rope.ROPE _ CDSymbolicObjects.GetName[instance]; segment: Segment _ NEW[SegmentRec _ [name: name, object: object, range: CoordsAlongSide[instance, side, object], side: side, layer: CDSymbolicObjects.GetLayer[instance], segmentDat: NIL]]; tabIndex: Rope.ROPE _ IF makeHashKey=NIL THEN name ELSE makeHashKey[instance]; [found, val] _ Fetch[table, tabIndex]; net _ IF ~found THEN NEW[NetRec _ [name: name]] ELSE NARROW[val]; net.segments _ CONS[segment, net.segments]; [] _ Store[table, tabIndex, net]}; CoordsAlongSide: PROC [instance: CD.Instance, side: RTBasic.Side, object: CD.Object] RETURNS [range: Range] ~ { rect: CD.Rect _ CDSymbolicObjects.Denotes[instance]; SELECT side FROM top, bottom => range _ [rect.x1 - object.bbox.x1, rect.x2 - object.bbox.x1]; left, right => range _ [rect.y1 - object.bbox.y1, rect.y2 - object.bbox.y1]; ENDCASE}; FromSideToSide: PROC [side: PWPins.Side] RETURNS [routeSide: RTBasic.Side] = { routeSide _ SELECT side FROM left => left, right => right, top => top, bottom => bottom, ENDCASE => ERROR; }; END. ConnectionsImpl.mesa Copyright Ó 1986, 1987 by Xerox Corporation. All rights reversed. Created by Bryan Preas, May 22, 1986 1:18:54 pm PDT Bertrand Serlet April 27, 1987 0:18:04 am PDT Building The Connection Table Creates new table, whose length is mod. They do the right thing for Rope and Ref tables. looks up key in table, returns associated net (if any) if found is TRUE, net is value associated with given key if found is FALSE, net is NIL returns TRUE after inserting new pair returns FALSE after overwriting old net for existing key-net pair put the pins on the interest rec of the object in the table if pinFilter returns true. [inst: CD.Instance] RETURNS [quit: BOOL _ FALSE] Using The Connection Table enumerates pairs currently in symbol table in unspecified order pairs inserted/deleted during enumeration may or may not be seen applies action to each pair until action returns TRUE or no more pairs returns TRUE if some action returns TRUE enumerates segments currently in net in unspecified order segments inserted/deleted during enumeration may or may not be seen applies action to each segment until action returns TRUE or no more segments returns TRUE if some action returns TRUE Internal Procedures make a segment from a pin (inst) on an object and put it in the table Ê’˜– "Cedar" stylešœ™JšœB™BJšœ0Ïk™3Icodešœ-™-—J˜š œ˜ JšœN˜P—J˜šÏnœœ˜Jšœ0˜7Jšœœœ ˜-—head™š žœœœœœ˜?KšœE˜K—š ž œœœœœ˜>Kšœ˜Kšœ#Ïeœ3™YK˜—š žœœœœ œ˜OKšœ6™6Kšœœ(™8Kšœœ ™K˜Kšœœ˜Kšœ*˜*Kšœœ ˜K˜—š žœœœ$œœ˜HKšœœ™%Kšœœ4™AK˜Kšœ!˜'K˜—šž œœœœ@˜qKšœV™VK˜K˜•StartOfExpansion4 -- [inst: CD.Instance] RETURNS [quit: BOOL _ FALSE]šÐbnœ&˜-Jš œœœœœ™0Kš œœœ œœœœ˜IJšœœ3˜AJ˜—Jšœ œœ0˜DJšœ˜——™š ž œœœ'œœ˜SKšœ?™?Kšœ@™@Kšœ1œ™FKšœœ™(K˜Kšœ6œ ˜EKšœ"˜(K˜—šžœœœ'œœœ˜eKšœ9™9KšœC™CKšœ4œ™LKšœœ™(J˜š œ$œœœ˜AJšœ˜Jšœ˜Jšœ˜ —J˜——™KšœE™Ešžœœœœ(˜kK˜Kšœœ˜Kšœœ˜ K˜ KšœK˜KKšœœ,˜4Kšœœ'˜6Kšœœ œ˜¼Kšœœœ œœœ˜NJšœ'˜'Jšœœœœœœ˜AJšœœ˜+Jšœ"˜"—K˜š žœœœ'œ œ˜oKšœœ,˜4šœ˜K˜LK˜LKšœ˜ ——J˜–[]šžœœœ˜Nšœœ˜K˜ Kšœ˜Kšœ˜Kšœ˜Kšœœ˜—K˜K˜——Jšœ˜J˜—…—4Ø