<> <> <> DIRECTORY IPBasic USING [Any, Identifier, Integer, Number, Operator, SaveType, State, Vector]; IPExec: CEDAR DEFINITIONS = BEGIN OPEN IPBasic; <<2.4.4 Frame operators>> FGet: PROC[self: State, n: Integer] RETURNS[Any]; <> <> FSet: PROC[self: State, x: Any, n: Integer]; <> <> <<2.4.5 Operator operators>> MakeCO: PROC[self: State, f: Vector] RETURNS[Operator]; <> <> <> <> MakeSimpleCO: PROC[self: State] RETURNS[Operator]; <> <> <> Do: PROC[self: State, o: Operator, sv: SaveType _ nil]; DoBody: PROC[self: State, f: Vector, sv: SaveType _ nil]; DoSimpleBody: PROC[self: State, sv: SaveType _ nil]; <<2.4.7 Control operators>> If: PROC[self: State, b: BOOL]; CopyNumberAndName: PROC[self: State] RETURNS[copyNumber: Number, copyName: Identifier]; IfCopy: PROC[self: State, testCopy: Operator]; <<>> END.