DIRECTORY AbSets, BiRels, Convert, FS, IntStuff, IO, LichenDataOps, LichenDataStructure, LichenIntBasics, Rope, SetBasics; LichenFiling: CEDAR PROGRAM IMPORTS AbSets, BiRels, Convert, FS, IntStuff, IO, LichenDataOps, LichenDataStructure, SetBasics = BEGIN OPEN IS:IntStuff, LIB:LichenIntBasics, LIB, LichenDataStructure, LichenDataOps, Sets:AbSets; version: INTEGER _ 1; WriteDesign: PROC [fileName: ROPE, d: Design, pacify: IO.STREAM _ NIL] ~ { out: IO.STREAM ~ FS.StreamOpen[fileName, create]; refs: Seq ~ CreateSeq[len: d.cellTypes.Size.EN + d.parts.Size.EN, oneToOne: TRUE, dense: TRUE, rightSpace: d.eSpace]; IndexRef: PROC [r: REF ANY] RETURNS [INT] ~ { mv: Sets.MaybeValue ~ refs.Lookup[goal: AV[r], order: Sets.alleq]; IF mv.found THEN RETURN [mv.MI]; {i: INT ~ refs.Size.EN; refs.AddNewIA[i, r]; RETURN [i]}}; PutSet: PROC [set: Set, PutElt: PROC [Sets.Value]] ~ { out.PutRope[" {"]; set.Enumerate[PutElt]; out.PutRope["}"]; RETURN}; PutBiRel: PROC [br: BiRel, PutLeft, PutRight: PROC [Sets.Value], size: BOOL] ~ { PutPair: PROC [pair: BiRels.Pair] RETURNS [BOOL] ~ { PutLeft[pair[left]]; PutRight[pair[right]]; RETURN [FALSE]}; out.PutChar[' ]; IF size THEN out.Put[[integer[br.Size.EN]]]; out.PutRope["{"]; IF br.Scan[PutPair].found THEN ERROR; out.PutRope["}"]; RETURN}; PutIndices: PROC [set: Set] ~ { PutSet[set, PutIndex]; RETURN}; PutIndex: PROC [v: Sets.Value] ~ { idx: INT ~ IndexRef[v.VA]; out.PutChar[' ]; out.Put[[character[' ]], [integer[idx]]]; RETURN}; PutInt: PROC [v: Sets.Value] ~ { int: INT ~ v.VI; out.Put[[character[' ]], [integer[int]]]; RETURN}; PutInt2: PROC [i2: Int2] ~ { out.Put[[character[' ]], [integer[i2[X]]], [character[' ]], [integer[i2[Y]]] ]; RETURN}; PutRope: PROC [rv: Sets.Value] ~ { r: ROPE ~ NARROW[rv.VA]; out.PutF[" \"%q\"", [rope[r]]]; RETURN}; PutPAI: PROC [paiv: Sets.Value] ~ { pai: PortAtIndex ~ VPai[paiv]; PutIndex[AV[pai.port]]; PutInt2[pai.ai]; RETURN}; PutStatVert: PROC [paiv: Sets.Value] ~ PutPAI; PutSub: PROC [kidsv: Sets.Value] ~ { kids: Seq ~ BiRels.VB[kidsv]; PutBiRel[kids, PutInt, PutIndex, TRUE]; RETURN}; PutCellTypeDetails: PROC [ctv: Sets.Value] ~ { ct: CellType ~ ctv.VA; IF NOT ct.other.Empty THEN ERROR; PutIndex[ctv]; out.PutF[" %g %g %g %g", [boolean[ct.inheritNames]], [boolean[ct.asu#NIL]], [boolean[ct.asArray#NIL]], [boolean[ct.asTrans#NIL]] ]; FOR pc: PartClass IN PartClass DO PutBiRel[ct.fullName[pc], PutIndex, PutSteppyName, FALSE] ENDLOOP; FOR pc: PWClass IN PWClass DO FOR b: BOOL IN BOOL DO PutSet[ct.isDeduced[pc][b], PutIndex]; ENDLOOP ENDLOOP; PutRange2[ct.bbox]; IF ct.asu#NIL THEN { PutBiRel[ct.asu.exports, PutIndex, PutIndex, FALSE]; ct.Subcells.Enumerate[PutSubcell]; }; IF ct.asArray#NIL THEN { a: Array ~ ct.asArray; PutStatEdge: PROC [sev: Sets.Value] ~ { se: StatEdge ~ NARROW[sev.VA]; PutStatVert[SvV[se.vs[FALSE]]]; PutStatVert[SvV[se.vs[TRUE]]]; PutInt2[se.d]; RETURN}; PutDWDetails: PROC [dwv: Sets.Value] ~ { dw: DumbWire ~ NARROW[dwv.VA]; PutIndex[dwv]; PutBiRel[dw.eps, PutIndex, PutInt, FALSE]; PutBiRel[dw.children, PutInt, PutIndex, TRUE]; RETURN}; PutInt2[a.size2]; PutInt2[a.basePeriod]; PutBiRel[a.fXfm, PutInt, PutInt, FALSE]; IF a.offsets=NIL THEN out.PutRope[" NIL"] ELSE { PutInt[IV[a.offsets.length]]; FOR i: NATURAL IN [0 .. a.offsets.length) DO PutInt2[a.offsets[i].o0]; PutInt2[a.offsets[i].o1]; ENDLOOP; }; PutSet[a.statrep.edges, PutStatEdge]; PutBiRel[a.statrep.apToPAI, PutIndex, PutPAI, FALSE]; PutSet[a.dumrep.wires, PutIndex]; PutSet[a.dumrep.wires, PutDWDetails]; PutBiRel[a.dumrep.apToWire, PutIndex, PutIndex, FALSE]; RETURN}; IF ct.asTrans#NIL THEN { t: Transistor ~ ct.asTrans; out.PutF[" \"%q\" %g %g %g %g", [rope[t.type]], [integer[t.length]], [integer[t.width]], [integer[t.area]], [integer[t.perimeter]] ]}; RETURN}; PutSubcell: PROC [civ: Sets.Value] ~ { ci: CellInstance ~ NARROW[civ.VA]; PutInt2[ci.offset]; PutBiRel[ci.conns, PutIndex, PutIndex, FALSE]; RETURN}; IF NOT d.other.Empty THEN ERROR; out.PutF["%g\n", [integer[version]] ]; PutSet[d.names, PutRope]; out.PutF["\"%q\" %g\n", [rope[d.root.ACtName[]]], [real[d.scale]] ]; PutIndices[d.cellTypes]; PutIndices[d.partses[p]]; PutIndices[d.partses[w]]; PutIndices[d.partses[i]]; PutBiRel[d.sub, PutIndex, PutSub, FALSE]; FOR pc: PartClass IN PartClass DO PutBiRel[d.cct[pc], PutIndex, PutIndex, FALSE] ENDLOOP; PutBiRel[d.ciType, PutIndex, PutIndex, FALSE]; PutBiRel[d.ctName, PutIndex, PutRope, FALSE]; PutBiRel[d.arrayElt, PutIndex, PutIndex, FALSE]; PutBiRel[d.ciXfm, PutIndex, PutInt, FALSE]; PutSet[d.cellTypes, PutCellTypeDetails]; out.Close[]; RETURN}; END. XLichenFiling.Mesa Last tweaked by Mike Spreitzer on June 17, 1988 4:37:09 pm PDT Κ– "cedar" style˜codešœ™Kšœ>™>—K˜KšΟk œœ œG˜zK˜šΟn œœ˜Kšœœ œ/˜`K˜—K˜Kš œœœ œœ&žœ˜bK˜Kšœ œ˜K˜š ž œœ œœœœ˜JKšœœœœ˜1Kš œ,œœ œ œ˜uš žœœœœœœ˜-Kšœ(œ˜BKšœ œœœ˜ Kšœœ œ˜Kšœ˜Kšœ˜ —šžœœ žœœ˜6K˜Kšœ˜K˜Kšœ˜—š žœœžœœœ˜Pšžœœœœ˜4K˜K˜Kšœœ˜—K˜Kšœœœ˜,K˜Kšœœœ˜%K˜Kšœ˜—šž œœ˜Kšœ˜Kšœ˜—šžœœ˜"Kšœœœ˜K˜Kšœ)˜)Kšœ˜—šžœœ˜ Kšœœœ˜Kšœ)˜)Kšœ˜—šžœœ˜KšœO˜OKšœ˜—šžœœ˜"Kšœœœœ˜K˜Kšœ˜—šžœœ˜#Kšœ˜Kšœ œ ˜K˜Kšœ˜—Kšž œœ˜.šžœœ˜$Kšœœ˜Kšœ!œ˜'Kšœ˜—šžœœ˜.Kšœœ˜Kšœœœœ˜!K˜KšœEœœœ˜ƒKš œœ œ4œœ˜dšœ œ œœœœœ˜4Kšœ&˜&Kšœœ˜—K˜šœœœ˜Kšœ-œ˜4K˜"K˜—šœ œœ˜K˜šž œœ˜'Kšœœœ˜Kšœœ˜Kšœœ˜Kšœ Οgœ˜Kšœ˜—šž œœ˜(Kšœœœ˜K˜Kšœ#œ˜*Kšœ(œ˜.Kšœ˜—K˜Kšœ˜Kšœ Ÿœœ˜(šœ œœœ˜0Kšœœ˜šœœœ˜,K˜K˜Kšœ˜—K˜—Kšœ%˜%Kšœ.œ˜5Kšœ!˜!Kšœ%˜%Kšœ0œ˜7Kšœ˜—šœ œœ˜Kšœ˜K˜†—Kšœ˜—šž œœ˜&Kšœœœ˜"K˜Kšœ'œ˜.Kšœ˜—Kšœœœœ˜ K˜&K˜KšœD˜DKšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ"œ˜)Kš œœ œ)œœ˜YKšœ'œ˜.Kšœ&œ˜-Kšœ)œ˜0Kšœ$œ˜+K˜(K˜ Kšœ˜—K˜Kšœ˜—…—άB