-- ThreeC4FlowGraphImpl.ThreeC4
-- Sturgis, May 7, 1986 5:19:15 pm PDT

Include[ThreeC4BaseDecl, ThreeC4RecFcnDecl, ThreeC4BasicAbTypes, ThreeC4FlowGraphAbGram];

ThreeC4FlowGraphImpl: Module =
Begin

for DamageShareAssertions.empty: AbstractProduction[]
 let FormRecordOfDamageShareAssertion[tree, FcnDefGraph] ←
   FakeCopyFcnBaseGraph[FcnDefGraph];

for DamageShareAssertions.many:
  AbstractProduction[DamageShareAssertions, DamageShareAssertion]
 let FormRecordOfDamageShareAssertion[tree, FcnDefGraph] ←
   FormRecordOfDamageShareAssertion[DamageShareAssertion,
    FormRecordOfDamageShareAssertion[DamageShareAssertions, FcnDefGraph]];
    

for DamageShareAssertion.damagedReps: AbstractProduction[ModIdList]
 let FormRecordOfDamageShareAssertion[tree, FcnDefGraph] ←
   RecordDamageList[FcnDefGraph, FormNameList[ModIdList]];

for DamageShareAssertion.sharedReps: AbstractProduction[ModIdList]
 let FormRecordOfDamageShareAssertion[tree, FcnDefGraph] ←
   RecordShareList[FcnDefGraph, FormNameList[ModIdList]]

End.