<> <> <> <> <> <> <> DIRECTORY AMModel USING [Context], CD USING [Design, Object], Core USING [CellType, ROPE, Wire, Wires], 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; Object: TYPE = CD.Object; ROPE: TYPE = Core.ROPE; <> expressionsProp: ATOM; <> designRope: ROPE; <> cellIconRope: ROPE; <> wireIconRope: ROPE; <> wireRope: ROPE; <> nameRope: ROPE; <> globalNamesRope: ROPE; <> corePropsRope: ROPE; <> coreInstPropsRope: ROPE; <> cdObjRope: ROPE; <> iconicProp: ATOM; <> iconicCell: ATOM; <> iconicWire: ATOM; <> parmNamesProp: ATOM; < any variable is potentially a parameter; a list with a rope="0" as its first element => 0 parameters. >> cachedResultProp: ATOM; <> defaultGlobalNames: LIST OF ROPE; sisyphMode: Sinix.Mode; <> ES, ExtractSchematicByName: PROC [name: ROPE, cx: Context] RETURNS [CellType]; IsResultExpression: PROC [expr: ROPE] RETURNS [BOOL]; <> Create: PUBLIC PROC [design: CD.Design, globalNames: LIST OF ROPE _ defaultGlobalNames] RETURNS [cx: Context]; Copy: PUBLIC PROC [cx: Context] RETURNS [newCx: Context]; <> Store: PUBLIC PROC [cx: Context, var: ROPE, value: REF _ NIL]; <> Eval: PUBLIC PROC [cx: Context, expr: ROPE, cedarCx: AMModel.Context _ NIL]; <.>> <<>> END. <<>>