<> <> <> <> DIRECTORY SaffronAG6Def, ThreeC4Support, SaffronATDef; NoopMethods6Impl: CEDAR PROGRAM IMPORTS ThreeC4Support EXPORTS SaffronAG6Def= BEGIN OPEN SaffronAG6Def, ThreeC4Support, SaffronATDef; TypeExptypeidProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExptypeidProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpsubrangeProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpsubrangeProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpenumProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpenumProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExprecordProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExprecordProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExppointerProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExppointerProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpvarProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpvarProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExprefProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExprefProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExprefanyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExprefanyProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExprefunspecifiedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; TypeExplistProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExplistProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExparrayProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExparrayProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpdescriptorProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpdescriptorProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExptransferProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExptransferProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExprelativeProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExprelativeProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpzoneProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpzoneProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExplongProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExplongProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpframeProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpframeProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExppaintedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExppaintedProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExptypeapplyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExptypeapplyProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpunionProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpunionProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeExpsequenceProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeExpsequenceProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeIdidProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeIdNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeIdidProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeIdqualifierProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeIdNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeIdqualifierProdData _ NARROW[tree.data]; temp0 _ 0; END END; SubrangenamedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: SubrangeNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: SubrangenamedProdData _ NARROW[tree.data]; temp0 _ 0; END END; SubrangeunnamedProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: SubrangeNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: SubrangeunnamedProdData _ NARROW[tree.data]; temp0 _ 0; END END; IntervalccProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: IntervalNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: IntervalccProdData _ NARROW[tree.data]; temp0 _ 0; END END; IntervalcoProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: IntervalNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: IntervalcoProdData _ NARROW[tree.data]; temp0 _ 0; END END; IntervalocProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: IntervalNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: IntervalocProdData _ NARROW[tree.data]; temp0 _ 0; END END; IntervalooProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: IntervalNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: IntervalooProdData _ NARROW[tree.data]; temp0 _ 0; END END; BoundsProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: BoundsNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: BoundsProdData _ NARROW[tree.data]; temp0 _ 0; END END; BoundProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: BoundNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: BoundProdData _ NARROW[tree.data]; temp0 _ 0; END END; MachineDependentyesProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: MachineDependentNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; MachineDependentnoProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: MachineDependentNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; MonitoredyesProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: MonitoredNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; MonitorednoProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: MonitoredNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; ElementListemptyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ElementListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; ElementListmoreProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ElementListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ElementListmoreProdData _ NARROW[tree.data]; temp0 _ 0; END END; ElementidProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ElementNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ElementidProdData _ NARROW[tree.data]; temp0 _ 0; END END; ElementidwithrepProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ElementNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ElementidwithrepProdData _ NARROW[tree.data]; temp0 _ 0; END END; ElementanonymousrepProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: ElementNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ElementanonymousrepProdData _ NARROW[tree.data]; temp0 _ 0; END END; RecListemptyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: RecListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; temp0 _ 0; END END; RecListpairlistProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: RecListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: RecListpairlistProdData _ NARROW[tree.data]; temp0 _ 0; END END; RecListtypelistProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: RecListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: RecListtypelistProdData _ NARROW[tree.data]; temp0 _ 0; END END; PairListoneProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: PairListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: PairListoneProdData _ NARROW[tree.data]; temp0 _ 0; END END; PairListmanyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: PairListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: PairListmanyProdData _ NARROW[tree.data]; temp0 _ 0; END END; PairItemProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: PairItemNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: PairItemProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeListoneProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeListoneProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeListmanyProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeListNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeListmanyProdData _ NARROW[tree.data]; temp0 _ 0; END END; TypeItemProdfoo: PUBLIC PROC[ref: REF ANY] RETURNS[temp0: INT] = BEGIN tree: TypeItemNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: TypeItemProdData _ NARROW[tree.data]; temp0 _ 0; END END; END..