<> <> <> <> DIRECTORY SaffronAG3Def, ThreeC4Support, SaffronATDef; NoopMethods3Impl: CEDAR PROGRAM IMPORTS ThreeC4Support EXPORTS SaffronAG3Def= BEGIN OPEN SaffronAG3Def, ThreeC4Support, SaffronATDef; NewplainProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: NewNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; NewzonedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: NewNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: NewzonedProdData _ NARROW[tree.data]; temp0 _ 0; END END; ConsplainProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ConsNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; ConszonedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ConsNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ConszonedProdData _ NARROW[tree.data]; temp0 _ 0; END END; ListConsplainProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ListConsNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; ListConszonedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ListConsNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ListConszonedProdData _ NARROW[tree.data]; temp0 _ 0; END END; DescListexplicitlengthProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: DescListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: DescListexplicitlengthProdData _ NARROW[tree.data]; temp0 _ 0; END END; DescListdefaultlengthProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: DescListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: DescListdefaultlengthProdData _ NARROW[tree.data]; temp0 _ 0; END END; InitializationemptyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitializationNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; InitializationbindingProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitializationNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: InitializationbindingProdData _ NARROW[tree.data]; temp0 _ 0; END END; InitializationassignmentProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitializationNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: InitializationassignmentProdData _ NARROW[tree.data]; temp0 _ 0; END END; InitialValuetrashProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitialValueNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; InitialValuecodeProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitialValueNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; InitialValueexpProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitialValueNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: InitialValueexpProdData _ NARROW[tree.data]; temp0 _ 0; END END; InitialValueblockProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitialValueNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: InitialValueblockProdData _ NARROW[tree.data]; temp0 _ 0; END END; InitialValuemachinecodeProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InitialValueNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: InitialValuemachinecodeProdData _ NARROW[tree.data]; temp0 _ 0; END END; CheckedemptyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CheckedNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; CheckedcheckedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CheckedNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; CheckedtrustedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CheckedNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; CheckeduncheckedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CheckedNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; InlineyesProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InlineNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; InlinenoProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: InlineNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; CodeListoneProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CodeListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: CodeListoneProdData _ NARROW[tree.data]; temp0 _ 0; END END; CodeListmoreProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: CodeListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: CodeListmoreProdData _ NARROW[tree.data]; temp0 _ 0; END END; TransferOpsignalProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TransferOperrorProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TransferOpstartProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TransferOpjoinProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TransferOpnewProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TransferOpforkProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TransferOpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; END..