-- 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. J'