DIRECTORY BoolOps, CD, PW, Rope, SymTab; PWPLABasics: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.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. ΐPWPLABasics.mesa Copyright Σ 1985, 1987 by Xerox Corporation. All rights reserved. Last Edited by: Monier, March 8, 1985 5:56:35 pm PST Bertrand Serlet April 14, 1987 3:57:45 am PDT ΚX˜šœ™JšœB™BJšœ1Οk™4Icodešœ-™-J™—š œ œœ˜)J˜—šΟn œœ œ˜&J˜Jšœœœ˜J˜JšΠbnœœœ˜'šΟb œœ˜Jšœ Οc˜Jšœ‘˜'Jšœ‘˜&Jšœ‘0˜BJšœ‘1˜FJšœ‘(˜7Jšœ ‘%˜2J˜—J˜Jšž œœœœœ œœœ˜DJ˜Jšž œœœœœœœ ˜ZJ˜Jšž œœœœœœœ ˜ZJ˜Jšžœœœœœœœœœ˜FJ˜Jšžœœœœœœœœœœœ˜YJ˜Jšžœœœœœœ œ˜