-- SaffronDependenciesImpl.mesa -- Copyright Ó 1987 by Xerox Corporation. All rights reserved. -- Generated by Rauen.pa at August 1, 1988 10:42:32 am PDT -- using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT DIRECTORY SaffronAG1aDef, SaffronAG1bDef, ThreeC4Support, SaffronBaseDef, SaffronATDef; SaffronDependenciesImpl: CEDAR PROGRAM IMPORTS ThreeC4Support, SaffronBaseDef EXPORTS SaffronAG1aDef, SaffronAG1bDef= BEGIN OPEN SaffronAG1aDef, SaffronAG1bDef, ThreeC4Support, SaffronBaseDef, SaffronATDef; ExpsumProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpsumProdData _ NARROW[tree.data]; BEGIN dg2: DependencyGraphNode; dg1: DependencyGraphNode; dg1 _ treeData.Expleft.procs.AddDependencies[treeData.Expleft, dg, dgn]; dg2 _ treeData.Expright.procs.AddDependencies[treeData.Expright, dg1, dgn]; temp0 _ dg2; END; END END; ExpunarysumProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpunarysumProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ treeData.Exp.procs.AddDependencies[treeData.Exp, dg, dgn]; temp0 _ dg1; END; END END; ExpproductProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpproductProdData _ NARROW[tree.data]; BEGIN dg2: DependencyGraphNode; dg1: DependencyGraphNode; dg1 _ treeData.Expleft.procs.AddDependencies[treeData.Expleft, dg, dgn]; dg2 _ treeData.Expright.procs.AddDependencies[treeData.Expright, dg1, dgn]; temp0 _ dg2; END; END END; ExporProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExporProdData _ NARROW[tree.data]; BEGIN dg2: DependencyGraphNode; dg1: DependencyGraphNode; dg1 _ treeData.Expleft.procs.AddDependencies[treeData.Expleft, dg, dgn]; dg2 _ treeData.Expright.procs.AddDependencies[treeData.Expright, dg1, dgn]; temp0 _ dg2; END; END END; ExpandProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpandProdData _ NARROW[tree.data]; BEGIN dg2: DependencyGraphNode; dg1: DependencyGraphNode; dg1 _ treeData.Expleft.procs.AddDependencies[treeData.Expleft, dg, dgn]; dg2 _ treeData.Expright.procs.AddDependencies[treeData.Expright, dg1, dgn]; temp0 _ dg2; END; END END; ExpnotProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpnotProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ treeData.Exp.procs.AddDependencies[treeData.Exp, dg, dgn]; temp0 _ dg1; END; END END; ExprelationProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExprelationProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ treeData.Exp.procs.AddDependencies[treeData.Exp, dg, dgn]; temp0 _ dg1; END; END END; ExpifthenelseProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpifthenelseProdData _ NARROW[tree.data]; BEGIN dg3: DependencyGraphNode; dg2: DependencyGraphNode; dg1: DependencyGraphNode; dg1 _ treeData.Expcond.procs.AddDependencies[treeData.Expcond, dg, dgn]; dg2 _ treeData.Expthenpart.procs.AddDependencies[treeData.Expthenpart, dg1, dgn]; dg3 _ treeData.Expelsepart.procs.AddDependencies[treeData.Expelsepart, dg2, dgn]; temp0 _ dg3; END; END END; ExpselectProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpselectProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.select"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpassignProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpassignProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ AddRuntimeDependency[dg, dgn]; temp0 _ dg1; END; END END; ExpmultiassignProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpmultiassignProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ AddRuntimeDependency[dg, dgn]; temp0 _ dg1; END; END END; ExpidProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpidProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ AddValueDependency[dg, dgn, treeData.Id]; temp0 _ dg1; END; END END; ExpnumProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpnumProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpstringProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpstringProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpflnumProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpflnumProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpcharProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpcharProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpatomProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpatomProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpnarrowProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpnarrowProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.narrow"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExploopholeProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExploopholeProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.loophole"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpapplyProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpapplyProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.apply"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpqualifierProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpqualifierProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.qualifier"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpexplistProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpexplistProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.explist"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpprefixopProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpprefixopProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.prefixop"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpvalProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpvalProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.val"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpallProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpallProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.all"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpnewProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpnewProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.new"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpconsProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpconsProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.cons"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExplistconsProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExplistconsProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.listcons"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpnilProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; BEGIN dg1: DependencyGraphNode; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExptypeopProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExptypeopProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.typeop"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpsizeProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpsizeProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.size"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; Expsize2ProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: Expsize2ProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.size2"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpbitsProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpbitsProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.bits"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; Expbits2ProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: Expbits2ProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.bits2"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpbytesProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpbytesProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.bytes"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; Expbytes2ProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: Expbytes2ProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.bytes2"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpunitsProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpunitsProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.units"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; Expunits2ProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: Expunits2ProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.units2"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpwordsProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpwordsProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.words"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; Expwords2ProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: Expwords2ProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.words2"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpistypeProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpistypeProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.istype"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpaddressProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpaddressProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.address"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExpdescriptorProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExpdescriptorProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.descriptor"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExperrorProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.error"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; ExptransferProdAddDependencies: PUBLIC PROC[ref: REF ANY, dg: DependencyGraphNode, dgn: DependencyGraphNodeNode] RETURNS[temp0: DependencyGraphNode] = BEGIN tree: ExpNode_ NARROW[ref]; BEGIN ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length]; treeData: ExptransferProdData _ NARROW[tree.data]; BEGIN dg1: DependencyGraphNode; err: BOOLEAN; err _ Error["Dependency analysis not implemented for Exp.transfer"]; dg1 _ FakeDamageDependencyGraph[dg]; temp0 _ dg1; END; END END; END..