DIRECTORYCore, CoreBeau, CoreClasses, CoreOps, CoreProperties, CoreSequence,IO, Rope;CoreBeauImpl: CEDAR PROGRAMIMPORTS CoreClasses, CoreOps, CoreProperties, CoreSequence, IO, RopeEXPORTS CoreBeau = BEGIN OPEN CoreBeau;UnionSequences: PROC [wire1, wire2: Wire] RETURNS [wire: Wire] = {wire _ CoreOps.CreateWire[size: wire1.size+wire2.size];FOR i: NAT IN [0 .. wire1.size) DO wire[i] _ wire1[i] ENDLOOP;FOR i: NAT IN [0 .. wire2.size) DO wire[i+wire1.size] _ wire2[i] ENDLOOP;};WRsToWires: PROC [wrs: LIST OF WR] RETURNS [wires: LIST OF Wire _ NIL] = {WHILE wrs#NIL DO IF wrs.first#NIL THEN wires _ CONS [WRToWire[wrs.first], wires];wrs _ wrs.rest;ENDLOOP;wires _ CoreOps.Reverse[wires];}; WRToWire: PROC [wr: WR] RETURNS [Wire] = {WITH wr SELECT FROMwire: Wire		=> RETURN [wire];rope: ROPE		=> RETURN [CoreOps.CreateWire[name: rope]];text: REF TEXT	=> RETURN [CoreOps.CreateWire[name: IO.PutR1[IO.text[text]]]];ENDCASE		=> ERROR};FindWireInWireSeq: PROC [wr: WR, wire: Wire] RETURNS [Wire] = {matchingWires: LIST OF Wire _ NIL;FindInEach: PROC [wire: Wire, name: ROPE _ NIL] = {match: BOOL _ WITH wr SELECT FROMwrwire: Wire	=> match _ wire=wrwire OR (name#NIL AND Rope.Equal[name, CoreOps.GetWireName[wrwire]]),wrrope: ROPE	=> match _ Rope.Equal[name, wrrope],text: REF TEXT	=> match _ Rope.Equal[name, IO.PutR1[IO.text[text]]],ENDCASE		=> ERROR;IF match THEN matchingWires _ CONS [wire, matchingWires];FOR i: NAT IN [0 .. wire.size) DOsubName: ROPE _ CoreOps.GetWireName[wire[i]];new: ROPE _ SELECT TRUE FROMCoreProperties.GetWireProp[wire, CoreOps.sequenceProp]#NIL => IO.PutFR["%g[%g]", IO.rope[name], IO.int[i]],subName#NIL=> IF name=NIL THEN subName ELSE Rope.Cat[name, ".", subName],ENDCASE=> IF name=NIL THEN "?" ELSE Rope.Cat[name, ".?"];FindInEach[wire[i], new];ENDLOOP;};FindInEach[wire];RETURN [IF matchingWires=NIL THEN NIL ELSE matchingWires.first];};ListifyBindings: PROC [pas: LIST OF PA] RETURNS [revpas: LIST OF PA _ NIL] = {WHILE pas#NIL DO IF pas.first#[] THEN revpas _ CONS [pas.first, revpas];pas _ pas.rest;ENDLOOP;};IndexInPublic: PROC [wire: Wire, public: Wire] RETURNS [index: INT] = {FOR i: NAT IN [0 .. public.size) DO IF Rope.Equal[CoreOps.GetWireName[public[i]], CoreOps.GetWireName[wire]] THEN RETURN [i];ENDLOOP;ERROR; -- not found};WireList: PUBLIC PROC [wrs: LIST OF WR _ NIL] RETURNS [Wire] = {RETURN [CoreOps.WiresToWire[WRsToWires[wrs]]];};Wires: PUBLIC PROC [wr1, wr2, wr3, wr4, wr5, wr6, wr7, wr8, wr9, wr10, wr11, wr12, wr13: WR _ NIL] RETURNS [Wire] = {RETURN [WireList[LIST [wr1, wr2, wr3, wr4, wr5, wr6, wr7, wr8, wr9, wr10, wr11, wr12, wr13]]];};Seq: PUBLIC PROC [wr: WR, size: NAT] RETURNS [Wire] = {RETURN [CoreOps.CreateWire[size: size, name: WITH wr SELECT FROMwire: Wire		=> CoreOps.GetWireName[wire],rope: ROPE		=> rope,text: REF TEXT	=> IO.PutR1[IO.text[text]],ENDCASE		=> ERROR, props: CoreProperties.Props[[CoreOps.sequenceProp, CoreOps.sequenceProp]]]];};Index: PUBLIC PROC [wr: WR, index: NAT] RETURNS [WR] = {WITH wr SELECT FROMwire: Wire		=> RETURN [wire[index]];rope: ROPE		=> RETURN [IO.PutFR["%g[%g]", IO.rope[rope], IO.int[index]]];text: REF TEXT	=> RETURN [IO.PutFR["%g[%g]", IO.text[text], IO.int[index]]];ENDCASE		=> ERROR};Indexes: PUBLIC PROC [wr: WR, start: NAT _ 0, length: NAT] RETURNS [Wire] = {WITH wr SELECT FROMwire: Wire		=> RETURN [CoreOps.SubrangeWire[wire, start, length]];rope: ROPE		=> {subWires: LIST OF Wire _ NIL;FOR i: NAT DECREASING IN [0 .. length) DOsubWires _ CONS [CoreOps.CreateWire[name: IO.PutFR["%g[%g]", IO.rope[rope], IO.int[i+start]]], subWires];ENDLOOP;RETURN [CoreOps.WiresToWire[subWires]];};text: REF TEXT	=> {subWires: LIST OF Wire _ NIL;FOR i: NAT DECREASING IN [0 .. length) DOsubWires _ CONS [CoreOps.CreateWire[name: IO.PutFR["%g[%g]", IO.text[text], IO.int[i+start]]], subWires];ENDLOOP;RETURN [CoreOps.WiresToWire[subWires]];};ENDCASE		=> ERROR};Instance: PUBLIC PROC [type: CellType, pa1, pa2, pa3, pa4, pa5, pa6, pa7, pa8, pa9, pa10, pa11, pa12, pa13: PA _ []] RETURNS [CellInstance] = {pas: LIST OF PA _ ListifyBindings[LIST [pa1, pa2, pa3, pa4, pa5, pa6, pa7, pa8, pa9, pa10, pa11, pa12, pa13]];actual: Wire _ CoreOps.CopyWire[type.public];ReplaceBinding: PROC [public: Wire] RETURNS [actual: Wire] = {replacementActuals: LIST OF Wire _ NIL;FOR bindings: LIST OF PA _ pas, bindings.rest WHILE bindings#NIL DOIF bindings.first.public=public THEN replacementActuals _ CONS [WRToWire[bindings.first.actual], replacementActuals];ENDLOOP;IF replacementActuals#NIL AND replacementActuals.rest#NIL THEN ERROR; -- more than one actual for the same public.  replacementActuals gives all the actualsIF replacementActuals#NIL AND ~CoreOps.Conform[replacementActuals.first, public] THEN ERROR;IF replacementActuals#NIL THEN RETURN [replacementActuals.first];actual _ CoreOps.CopyWire[public];FOR i: NAT IN [0 .. public.size) DO actual[i] _ ReplaceBinding[public[i]] ENDLOOP;};FOR bindings: LIST OF PA _ pas, bindings.rest WHILE bindings#NIL DObindings.first.public _ FindWireInWireSeq[bindings.first.public, type.public];ENDLOOP;IF type=NIL THEN ERROR; -- early detection of this error might be usefulRETURN [NEW [CoreClasses.CellInstanceRec _ [actual: ReplaceBinding[type.public], type: type]]];};Cell: PUBLIC PROC [name: ROPE _ NIL, public, onlyInternal: Wire _ NIL, instances: LIST OF CellInstance] RETURNS [CellType] = {data: CoreClasses.RecordCellType;ReplaceActualByInternal: PROC [actual, internal: Wire] RETURNS [newActual: Wire] = {wire: Wire _ FindWireInWireSeq[actual, internal];IF wire#NIL THEN RETURN [wire]; -- found!IF actual.size=0 THEN ERROR; -- non structured wire not found in the internalnewActual _ CoreOps.CreateWire[size: actual.size];FOR i: NAT IN [0 .. actual.size) DOnewActual[i] _ ReplaceActualByInternal[actual[i], internal];ENDLOOP;};cellType: CellType;IF public=NIL THEN public _ CoreOps.CreateWire[0];IF onlyInternal=NIL THEN onlyInternal _ CoreOps.CreateWire[0];cellType _ CoreClasses.CreateRecordCell[public: public, internal: UnionSequences[public, onlyInternal], instances: instances, name: name];data _ NARROW [cellType.data];FOR i: NAT IN [0 .. data.size) DOdata[i].actual _ ReplaceActualByInternal[data[i].actual, data.internal];ENDLOOP;RETURN [cellType];};Transistor: PUBLIC PROC [name: ROPE _ NIL, type: TransistorType _ nE, length: NAT _ 2, width: NAT _ 4] RETURNS [CellType] = {cellType: CellType _ CoreClasses.CreateTransistor[[type: type, length: length, width: width]];CoreProperties.PutCellTypeProp[cellType, CoreOps.nameProp, name];RETURN [cellType];};SequenceCell: PUBLIC PROC [name: ROPE _ NIL, baseCell: CellType, count: NAT, sequencePorts: Wire _ NIL] RETURNS [CellType] = {cellType: CellType;seqCell: CoreSequence.SequenceCellType;IF sequencePorts=NIL THEN sequencePorts _ CoreOps.CreateWire[size: 0];seqCell _ NEW [CoreSequence.SequenceCellTypeRec[sequencePorts.size]];FOR i: INT IN [0 .. sequencePorts.size) DOpublicWire: Wire _ FindWireInWireSeq[sequencePorts[i], baseCell.public];IF publicWire=NIL THEN ERROR;seqCell.sequence[i] _ IndexInPublic[publicWire, baseCell.public];ENDLOOP;seqCell.base _ baseCell;seqCell.count _ count;cellType _ CoreSequence.Create[name: name, args: seqCell];RETURN [cellType];};FindWire: PUBLIC PROC [cell: CellType, wr: WR] RETURNS [Wire] = {RETURN [IF cell.class=CoreClasses.recordCellClass THEN FindWireInWireSeq[wr, NARROW [cell.data, CoreClasses.RecordCellType].internal]ELSE FindWireInWireSeq[wr, cell.public]];};END.   j  CoreBeauImpl.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Created by Bertrand Serlet, November 13, 1985 2:59:33 pm PSTBertrand Serlet, November 27, 1985 11:06:54 pm PSTInternal utilitiesWe just get rid of the [] onesCreation of WiresBindings, Instances and RecordCellwe make sure each of the given public is really a public, and we replace in the bindings so that we will only have to do pointer comparison laterThis PROC would be different if we allow the DAGwe replace all actual wires by wires having the same name than part of the publicOther cell type creationUtility Э╩
Т  Ш codeЪЬЩKЪЬ
╧mЬ1Щ<KЪЬ<Щ<KЪЬ2Щ2ЧKЩ Ъ╧k	Ш	KЪЬCШCKЪЮЬШ	ЧKШ ЪЬЮЬЮШKЪЮЬ5ЮЬШDKЪЮЬШKЪЮЬЮЬ
ШheadЩЪ╧nЬЮЬЮЬШBKЪЬ7Ш7KЪ
ЮЬЮЬЮЬЮЬЮЬШ>KЪ
ЮЬЮЬЮЬЮЬЮЬШIKШKШ ЧЪЯ
ЬЮЬЮЬЮЬЮЬЮЬ	ЮЬЮЬЮЬШJЪЮЬЮЬЮЬШKЪЮЬЮЬЮЬ	ЮЬШ@KЪЬШKЪЮЬШЧKЪЬШKЪЬШKЪЬШЧЪЯЬЮЬЮЬЮЬШ*ЪЮЬЮЬЮШKЪЬЮЬШKЪЬЮЬЮЬ"Ш7KЪЬЮЬЮЬЮЬЮЬЮЬШMKЪЮЬЮШЧШKШ ЧЧЪЯЬЮЬЮЬЮЬШ?KЪЬЮЬЮЬЮЬШ"ЪЯ
ЬЮЬЮЬЮЬШ3ЪЬЮЬЮЬЮЬЮШ!ЪЬШKЪЬЮЬЮЬЮЬ0ШTЧKЪЬЮЬ%Ш1KЪ	ЬЮЬЮЬЮЬЮЬШDKЪЮЬЮЬШЧKЪЮЬЮЬЮЬШ9ЪЮЬЮЬЮЬЮШ!KЪЬ	ЮЬ Ш-ЪЬЮЬЮЬЮЬЮШЪЬ7ЮЬШ;KЪЬЮЬЮЬЮЬ	Ш0ЧЪЬЮШKЪ	ЬЮЬЮЬЮЬ	ЮЬШ>ЧЪЮШKЪ	ЬЮЬЮЬЮЬЮЬШ2ЧЧJЪЬШJЪЮЬШЧKШЧKЪЬШKЪЮЬЮЬЮЬЮЬЮЬЮЬШ@KШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШNKЪЬЩЪЮЬЮЬЮЬШKЪЮЬЮЬ
ЮЬШ7KЪЬШKЪЮЬШЧKШKШ ЧЪЯЬЮЬЮЬ	ЮЬШGЪЮЬЮЬЮЬЮЬШ$ЪЮЬGШIKЪЮЬЮЬШЧKЪЮЬШЧKЪЮЬ╧cШKШЧЧЩЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШ@KЪЮЬ(Ш.KШKЩ ЧЪЯЬЮЬЮЬGЮЬЮЬЮЬШuKЪЮЬЮЬIШ^KШKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШ7ЪЮЬШKЪЬШЪЬЮЬЮЬЮШKЪЬ)Ш)KЪЬЮЬ
ШKЪ	ЬЮЬЮЬЮЬЮЬШ*KЪЮЬЮЬШЧKЪЬLШLЧKШKЩ ЧЪЯЬЮЬЮЬЮЬ	ЮЬЮЬЮЬШ8ЪЮЬЮЬЮШKЪЬЮЬШ$KЪЬЮЬЮЬЮЬЮЬЮЬШIKЪЬЮЬЮЬЮЬЮЬЮЬЮЬШLKЪЮЬЮШЧKШKЩ ЧЪЯЬЮЬЮЬЮЬ	ЮЬЮЬЮЬШMЪЮЬЮЬЮШKЪЬЮЬ-ШBЪЬЮЬШKЪЬ
ЮЬЮЬЮЬШЪ	ЮЬЮЬЮ
ЬЮЬЮШ)KЪ	ЬЮЬЮЬЮЬЮЬШiKЪЮЬШЧKЪЮЬ!Ш'KШЧЪЬЮЬЮЬШKЪЬ
ЮЬЮЬЮЬШЪ	ЮЬЮЬЮ
ЬЮЬЮШ)KЪ	ЬЮЬЮЬЮЬЮЬШiKЪЮЬШЧKЪЮЬ!Ш'KШЧKЪЮЬЮШЧKШЧЧЩ"Ъ
ЯЬЮЬЮЬWЮЬЮЬШПKЪ	ЬЮЬЮЬЮЬЮЬHШnKЪЬ-Ш-ЪЯЬЮЬЮЬШ>KЪЬЮЬЮЬЮЬШ'ЪЮЬЮЬЮЬЮЬЮЬ
ЮЬЮШCKЪЮЬЮЬЮЬ7ШuKЪЮЬШЧKЪЮЬЮЬЮЬЮЬЮЬЮЬаVШЬKЪ
ЮЬЮЬЮЬ4ЮЬЮЬШ\KЪЮЬЮЬЮЬЮЬШAKЪЬ"Ш"KЪ
ЮЬЮЬЮЬЮЬ'ЮЬШRKШЧЪЮЬЮЬЮЬЮЬЮЬ
ЮЬЮШCKЪЬСЩСKЪЬNШNKЪЮЬШЧKЪ	ЮЬЮЬЮЬЮЬа0ШHKЪЮЬЮЬTШ_KШKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ~KЪЬ!Ш!KЪЬ0Щ0ЪЯЬЮЬЮЬШTKЪЬ1Ш1KЪ	ЮЬЮЬЮЬЮЬ	а	Ш)KЪЮЬЮЬЮЬа0ШMKЪЬ2Ш2ЪЮЬЮЬЮЬЮШ#KЪЬ<Ш<KЪЮЬШЧKШKШ ЧKЪЬШKЪЮЬЮЬЮЬ Ш2KЪЮЬЮЬЮЬ&Ш>KЪЬКШКKЪЬQЩQKЪЬЮЬШЪЮЬЮЬЮЬЮШ!KЪЬHШHKЪЮЬШЧKЪЮЬШKЪЬШЧЧЩЪЯ
ЬЮЬЮЬЮЬЮЬ%ЮЬЮЬЮЬШ}ЪЬ3Ш3KЪЬ(Ш(KЪЬШЧKЪЬAШAKЪЮЬШKШKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ~KЪЬШKЪЬ'Ш'KЪЮЬЮЬЮЬ-ШFKЪЬ
ЮЬ8ШEЪЮЬЮЬЮЬЮШ*KЪЬHШHKЪЮЬЮЬЮЬЮЬШKЪЬAШAKЪЮЬШЧKЪЬШKЪЬШKЪЬ:Ш:KЪЮЬШKШЧЧЩЪ
ЯЬЮЬЮЬЮЬЮЬШAЪЮЬЮЬ(Ш2KЪЮЬЮЬ1ШSKЪЮЬ#Ш'KЪЬШЧKШЧЧЧKШ KЪЮЬШЧ ЕЧ    ж  *в  