PWPLABasics.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Last Edited by: Monier, March 8, 1985 5:56:35 pm PST
Bertrand Serlet May 27, 1986 4:11:04 pm PDT
-- Low level stuff for PLA and CP generation.
DIRECTORY BoolOps, CD, PW, SymTab;
PWPLABasics: CEDAR DEFINITIONS = BEGIN
ROPE: TYPE = PW.ROPE;
Error: ERROR[ec: ErrorCode, msg: ROPE];
ErrorCode: TYPE = {
Null,        -- never raised
NoDescription,     -- you must have one
NoTruthTable,     -- you must have one
MissingTile,      -- a required tile was missing from the tile set
ParameterErrors,     -- errors found in table passed to ReadParameters
TileSet,       -- something was wrong with the tile set
NoDump       -- could not dump truth table to file
};
AllPresent: PROC [list: LIST OF CD.Object] RETURNS [b: BOOL ← TRUE];
RequiredTile: PROC [from: CD.Design, name1, name2, name3: ROPE ← NIL] RETURNS [CD.Object];
OptionalTile: PROC [from: CD.Design, name1, name2, name3: ROPE ← NIL] RETURNS [CD.Object];
ListRefAnyToListRope: PROC [list: LIST OF REF] RETURNS [LIST OF ROPE];
ListRefAnyToListOfListRope: PROC [list: LIST OF REF] RETURNS [llr: LIST OF LIST OF ROPE];
Length: PROC [list: LIST OF ROPE] RETURNS [length: INT ← 0];
EnsureSize: PROC [list: LIST OF ROPE, quantity: INT];
GetEQN: PROC [par: SymTab.Ref, inNames, outNames: LIST OF ROPE] RETURNS[BoolOps.TruthTable];
FetchTT: PROC [par: SymTab.Ref] RETURNS [truthTable: BoolOps.TruthTable];
DumpTruthTable: PROC [tt: BoolOps.TruthTable, ttFile: ROPE];
END.