[_CD4_]<datools7.0>Lichen2>LichenFromCore.Mesa!4

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

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];

These procedures only work for records, sequences, and leaves --- there is no recasting.

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;