<> <> <> <> <<>> <> <<>> DIRECTORY Rope USING [ROPE], SaffronTargetArchitecture USING [TargetIntNode, TargetRealNode, TargetBooleanNode, TargetRopeNode]; SaffronPGPrivateTypes: CEDAR DEFINITIONS ~ BEGIN ProgramGraphNode: TYPE ~ REF ProgramGraphNodeBody; ProgramGraphNodeBody: TYPE ~ RECORD [ operation: INT _ 0, ifNull: REF ProgramGraphNode, ifTrue: REF ProgramGraphNode, ifFalse: REF ProgramGraphNode ]; <> <> <> < [value: INT],>> < [value: REAL],>> < [value: BOOLEAN],>> < [value: Rope.ROPE],>> < [code: ProgramGraphNode],>> <> <<];>> <<>> <> <> <> <> <> < [value: REF ANY],>> < [code: ProgramGraphNode],>> < [foo: BOOLEAN],>> <> <<];>> <<>> <> <> <> < int,>> < real,>> < boolean,>> < rope,>> < error,>> <> <<]]];>> <> <<>> <<>> <> <> <> END. <<>> <<>>