LichenFromCore.Mesa
Spreitzer, March 11, 1986 8:58:47 pm PST
Last tweaked by Mike Spreitzer on July 15, 1988 9:48:09 am PDT
LichenFromCore:
CEDAR
DEFINITIONS = {
OPEN L: LichenDataStructure;
CircuitElement: TYPE = REF ANY --actually UNION [Core.Wire, Core.CellInstance]--;
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;
}.