-- ThreeC4FlowGraphAbGram.ThreeC4
-- Sturgis, May 7, 1986 5:19:04 pm PDT

Include[ThreeC4BaseDecl, ThreeC4RecFcnDecl, ThreeC4BasicAbTypes];

ThreeC4FlowGraphAbGram: Module =
Begin

-- this and related modules will contain all of the implementations for flow analysis

-- first, some basic types and functions used only here

Slot: BaseType;



-- here is the abstract grammar for DamageShareAssertions

-- the abstract type is defined in BasicAbTypes.ThreeC4

 DamageShareAssertions.empty: AbstractProduction[];
 DamageShareAssertions.many:
  AbstractProduction[DamageShareAssertions, DamageShareAssertion];
  
DamageShareAssertion: AbstractType[FormRecordOfDamageShareAssertion];
 DamageShareAssertion.damagedReps: AbstractProduction[ModIdList];
 DamageShareAssertion.sharedReps: AbstractProduction[ModIdList]
 

End.