<> <> <> <> <> <> DIRECTORY AMModel USING [Context], CD USING [Design, Object, PropList], Core, Sinix USING [Mode], SymTab USING [Ref]; Sisyph: CEDAR DEFINITIONS = BEGIN <> Context: TYPE = SymTab.Ref; CellType: TYPE = Core.CellType; Wire: TYPE = Core.Wire; Wires: TYPE = Core.Wires; WireSeq: TYPE = Core.WireSeq; Object: TYPE = CD.Object; ROPE: TYPE = Core.ROPE; ROPES: TYPE = LIST OF ROPE; <> expressionsProp: ATOM; <> cellIconRope: ROPE; <> wireIconRope: ROPE; <> wireRope: ROPE; <> nameRope: ROPE; <> corePropsRope: ROPE; <> coreInstPropsRope: ROPE; <> parmNamesProp: ATOM; < any variable is potentially a parameter; a list with a rope="0" as its first element => 0 parameters. >> cachedResultProp: ATOM; <> <<>> defaultGlobalNames: ROPES; mode: Sinix.Mode; <> ES, ExtractSchematicByName: PROC [name: ROPE, cx: Context] RETURNS [CellType]; <> Create: PROC [design: CD.Design, previousCx: Context _ NIL] RETURNS [cx: Context]; <> Copy: PROC [cx: Context] RETURNS [newCx: Context]; <> Store: PROC [cx: Context, var: ROPE, value: REF _ NIL]; <> <<>> Insert: PROC [cx: Context, var: ROPE, value: REF _ NIL]; <> Eval: PROC [cx: Context, expr: ROPE, cedarCx: AMModel.Context _ NIL]; <.>> <<>> GetDesign: PROC [cx: Context] RETURNS [CD.Design]; <> GetGlobalNames: PROC [cx: Context] RETURNS [ROPES]; <> GetCDObj: PROC [cx: Context] RETURNS [Object]; <> <> <> iconClass: Core.CellClass; CreateIcon: PROC [cellType: CellType, name: ROPE _ NIL, props: Core.Properties _ NIL] RETURNS [icon: CellType]; <> EqualRopes: PROC [ropes1, ropes2: ROPES] RETURNS [BOOL]; <> <<>> Cons: PROC [r: ROPE, lor: ROPES] RETURNS [ROPES]; <> <> <> <<>> List: PROC [r1, r2, r3, r4, r5, r6: ROPE _ NIL] RETURNS [lor: ROPES]; <> <> <> <> GlobalNonAtomic: SIGNAL [record: CellType, name: ROPE, wire: Wire]; InterpreterError: SIGNAL [cx: Context, expr, errorRope: ROPE]; <> IsResultExpression: PROC [expr: ROPE] RETURNS [BOOL]; EvaluateParameters: PUBLIC PROC [userData: REF, obj: Object, properties: CD.PropList] RETURNS [cx: Context, resultRope: ROPE]; <> ProcessGlobalNames: PROC [record: CellType, cx: Context]; <> <> <<>> END. <<>>