-- ThreeC4ModItemAbGram.ThreeC4
-- Sturgis, May 6, 1986 3:57:17 pm PDT

Include[ThreeC4BaseDecl, ThreeC4RecFcnDecl, ThreeC4BasicAbTypes];

ThreeC4ModItemAbGram: Module =
Begin

-- ModuleItem is declared in BasicAbTypes
    -- module items come in several flavors

    ModuleItem.cedarItems: AbstractProduction[CedarItems];
    ModuleItem.baseItems: AbstractProduction[BaseItems];
    ModuleItem.abGramItems: AbstractProduction[AbGramItems];
    ModuleItem.cGramItems: AbstractProduction[CGramItems];
    
    -- generic tokens are not in any of the above flavors, because they have a combined action 
    -- requiring functions that apply to several of the flavors 
    
    ModuleItem.genTkn: AbstractProduction[Identifier, Rope.tknName];



-- some of the flavors follow, others are in other files


-- CedarItems is declared in BasicAbTypes
        -- CedarItems have the property that they generate no def file code

    CedarItems.cedarTypes: AbstractProduction[IdList];
    CedarItems.cedarTypesFrom: AbstractProduction[IdList, Identifier];
    CedarItems.cedarEnumTypeFrom:
            AbstractProduction[Identifier.typeName, IdList.values, Identifier.fileName];
    CedarItems.cedarFunctionFrom: 
            AbstractProduction[Identifier.funName, ModIdList.args, ModIdList.results, Identifier.fileName, DamageShareAssertions];



-- CGramItems is declared in BasicAbTypes
    -- (CGramItems = concrete grammar items)

    CGramItems.simpleTokens: AbstractProduction[RopeList];
    CGramItems.nonTerminal: AbstractProduction[Identifier.name, Identifier.builds];
    CGramItems.concreteProduction: AbstractProduction[ConcreteProduction]
    

End.