<> <> <> DIRECTORY CD, CDBasics, CDDirectory, CDSymbolicObjects, Convert, Core, CoreClasses, CoreFlat, CoreGeometry, CoreOps, CoreProperties, HashTable, Properties, PW, PWCore, PWPins, Rope, RTBasic, RTCoreUtil, RTStructure, TerminalIO; RTStructureImpl: CEDAR PROGRAM IMPORTS CD, CDBasics, CDDirectory, CDSymbolicObjects, Convert, CoreClasses, CoreGeometry, CoreOps, CoreProperties, HashTable, PW, PWCore, PWPins, Rope, RTBasic, RTCoreUtil, RTStructure, TerminalIO EXPORTS RTStructure = BEGIN <> Error: PUBLIC ERROR[errorType: RTStructure.ErrorType _ callingError, explanation: Rope.ROPE _ NIL] = CODE; Signal: PUBLIC SIGNAL[signalType: RTStructure.ErrorType _ callingError, explanation: Rope.ROPE _ NIL] = CODE; <> <> CreateForRopes: PUBLIC PROC [name: Rope.ROPE, nInsts, nObjs, nNets, nPubs: HashTable.SeqIndex _ 17, netWidth: RTStructure.NetWidthProc _ WidestPinProc, properties: Properties.PropList _ NIL] RETURNS [RTStructure.Structure] ~ { RETURN[NEW[RTStructure.StructureRec _ [name: name, instances: HashTable.Create[nInsts, HashTable.RopeEqual, HashTable.HashRope], objects: HashTable.Create[nObjs, HashTable.RopeEqual, HashTable.HashRope], nets: HashTable.Create[nNets, HashTable.RopeEqual, HashTable.HashRope], netWidth: netWidth -- , properties: CoreProperties.CopyProps[properties] -- ]]]}; <> CreateForRefs: PUBLIC PROC [name: Rope.ROPE, nInsts, nObjs, nNets, nPubs: HashTable.SeqIndex _ 17, netWidth: RTStructure.NetWidthProc _ WidestPinProc, properties: Properties.PropList _ NIL] RETURNS [RTStructure.Structure] ~ { RETURN[NEW[RTStructure.StructureRec _ [name: name, instances: HashTable.Create[nInsts], objects: HashTable.Create[nObjs], nets: HashTable.Create[nNets], netWidth: netWidth -- , properties: CoreProperties.CopyProps[properties] -- ]]]}; <> <> FetchInstance: PUBLIC PROC [structure: RTStructure.Structure, key: RTStructure.Key] RETURNS [found: BOOLEAN, instance: RTStructure.Instance] ~ { <> <> <> value: REF; [found, value] _ HashTable.Fetch[structure.instances, key]; instance _ NARROW[value]}; FetchInstancePin: PUBLIC PROC [instance: RTStructure.Instance, key: RTStructure.Key] RETURNS [found: BOOLEAN, iPin: RTStructure.InstancePin] ~ { <> <> <> value: REF; [found, value] _ HashTable.Fetch[instance.iPins, key]; iPin _ NARROW[value]}; EnumerateInstances: PUBLIC PROC [structure: RTStructure.Structure, action: RTStructure.EachInstanceAction] RETURNS [quit: BOOLEAN] ~ { <> <> <> <> eachPair: HashTable.EachPairAction ~ { TRUSTED{instance _ LOOPHOLE[value]}; quit _ action[key, instance]}; instance: RTStructure.Instance; RETURN[HashTable.Pairs[structure.instances, eachPair]]}; EnumerateInstancePins: PUBLIC PROC [instance: RTStructure.Instance, action: RTStructure.EachInstancePinAction] RETURNS [quit: BOOLEAN] ~ { <> <> <> <> eachPair: HashTable.EachPairAction ~ { TRUSTED{instancePin _ LOOPHOLE[value]}; quit _ action[key, instance, instancePin]}; instancePin: RTStructure.InstancePin; RETURN[HashTable.Pairs[instance.iPins, eachPair]]}; <