Lichen.Mesa
Last tweaked by Mike Spreitzer on April 10, 1989 2:28:27 pm PDT
DIRECTORY LichenDataStructure, Rope;
Lichen: CEDAR DEFINITIONS = {OPEN LichenDataStructure;
ROPE: TYPE ~ Rope.ROPE;
Wire: TYPE ~ LichenDataStructure.Wire;
RefSet: TYPE ~ REF LichenDataStructure.Set;
KeyProc: TYPE ~ PROC [
Beh-Sig:
RipoutDebugging: PROC,
Flat-Insignificant:
ExternallyMerged: PROC [portsA: REF ANY],
UndistinguishPorts: PROC,
ImportAtomicWireOnceToRoot: PROC [name: ROPE] RETURNS [Wire],
ImportAtomicWireOnce: PROC [ctA, fromA: REF ANY] RETURNS [Wire],
DeduceWireStructure: PROC,
CleanupDesign: PROC,
Group: PROC [iName, tName: ROPE, parentA, sibsA: REF ANY],
ExpandInstance: PROC [instA: REF ANY],
ExpandType: PROC [tName: ROPE],
FlattenArrays: PROC,
RaiseGCs: PROC [childA, gcsA: REF ANY] RETURNS [RefSet--of raised instances--],
ShortenArrayInstance: PROC [inst: REF ANY, end: ArrayEnd, sDim: Dim3 ← Z, by: NAT ← 1],
LowerArrayStructure: PROC [outerA: REF ANY],
SimilarizeArrays: PROC,
Non-Str:
PrefixifyDesign: PROC,
InheritNames: PROC [renamesFileName: ROPE],
CleanupNames: PROC,
DropPhysical: PROC,
Rep-twiddling:
DeduceArrayness: PROC [ctsA: REF ANY],
MinimizeArrayPeriods: PROC,
Access:
Subcells: PROC [parentName: ROPE, instanceTypes, instanceNames: REF ANY] RETURNS [--constant--RefSet],
Control:
At: PROC [INT],
ReadExt: PROC [rootCellFileName, renamingFileName: ROPE, labelCellTypes: REF ANY],
ReadFunsim: PROC [rootName: ROPE]
];
Do: PROC [prefix, suffix: ROPE, Key: KeyProc, from, to: INT];
}.