DIRECTORY Core, IO, LichenDataStructure, RefTab; LichenFromCore: CEDAR DEFINITIONS = { OPEN L: LichenDataStructure; CircuitElement: TYPE = REF ANY --actually UNION [Core.Wire, Core.CellInstance]--; GetDesign: PROC [rt: RefTab.Ref, name, suffix: L.ROPE, pacify: IO.STREAM _ NIL] RETURNS [d: L.Design]; GetLCT: PROC [d: L.Design, cct: Core.CellType, pacify: IO.STREAM _ NIL] RETURNS [lct: L.CellType]; GetCCT: PROC [lct: L.CellType] RETURNS [cct: Core.CellType]; GetLElt: PROC [ce: CircuitElement] RETURNS [v: L.Vertex]; GetCElt: PROC [v: L.Vertex] RETURNS [ce: CircuitElement]; GetPort: PROC [pw: Core.Wire] RETURNS [port: L.Port]; implKey: READONLY ATOM; }. ΰLichenFromCore.Mesa Spreitzer, March 11, 1986 8:58:47 pm PST Last tweaked by Mike Spreitzer on November 30, 1988 9:17:00 am PST These procedures only work for records, sequences, and leaves --- there is no recasting. Κ2– "cedar" style˜code™K™(K™B—K˜KšΟk œœ˜0K˜šΠbxœœ œ˜%K˜Kšœ˜K˜Kš œœœœΟc1œ˜QK˜KšΟn œœ"œ œœœœ˜fK˜Kš  œœ+œœœœ˜bš œœœ˜