DIRECTORY ThreeC4BaseDecl1Def, ThreeC4BasicAbTypesDef, ThreeC4OtherModItemsAbGramDef; ThreeC4OtherModItemsAbGramImpl: CEDAR PROGRAM IMPORTS ThreeC4OtherModItemsAbGramDef EXPORTS ThreeC4OtherModItemsAbGramDef= BEGIN OPEN ThreeC4BaseDecl1Def, ThreeC4BasicAbTypesDef, ThreeC4OtherModItemsAbGramDef; -- BaseItemsbaseTypesProd BaseItemsbaseTypesProdProcs: PUBLIC BaseItemsNodeProcs _ NEW[BaseItemsNodeProcsBody _ [BaseItemsbaseTypesProdCollectModuleValueTypes, BaseItemsbaseTypesProdCollectModuleFunctionTypes, BaseItemsbaseTypesProdDefFileCode, BaseItemsbaseTypesProdImplFileCode]]; BuildBaseItemsbaseTypesProdNode: PUBLIC PROC[position: INT, length: INT, IdList: IdListNode] RETURNS[BaseItemsNode] = BEGIN data: BaseItemsbaseTypesProdData _ NEW[BaseItemsbaseTypesProdDataBody_[ IdList]]; RETURN[NEW[BaseItemsNodeBody_[position, length, BaseItemsbaseTypesProdProcs, data]]]; END; -- BaseItemsenumBaseTypeProd BaseItemsenumBaseTypeProdProcs: PUBLIC BaseItemsNodeProcs _ NEW[BaseItemsNodeProcsBody _ [BaseItemsenumBaseTypeProdCollectModuleValueTypes, BaseItemsenumBaseTypeProdCollectModuleFunctionTypes, BaseItemsenumBaseTypeProdDefFileCode, BaseItemsenumBaseTypeProdImplFileCode]]; BuildBaseItemsenumBaseTypeProdNode: PUBLIC PROC[position: INT, length: INT, Identifier: IdentifierNode, IdList: IdListNode] RETURNS[BaseItemsNode] = BEGIN data: BaseItemsenumBaseTypeProdData _ NEW[BaseItemsenumBaseTypeProdDataBody_[ Identifier, IdList]]; RETURN[NEW[BaseItemsNodeBody_[position, length, BaseItemsenumBaseTypeProdProcs, data]]]; END; -- BaseItemsbaseFcnProd BaseItemsbaseFcnProdProcs: PUBLIC BaseItemsNodeProcs _ NEW[BaseItemsNodeProcsBody _ [BaseItemsbaseFcnProdCollectModuleValueTypes, BaseItemsbaseFcnProdCollectModuleFunctionTypes, BaseItemsbaseFcnProdDefFileCode, BaseItemsbaseFcnProdImplFileCode]]; BuildBaseItemsbaseFcnProdNode: PUBLIC PROC[position: INT, length: INT, Identifier: IdentifierNode, ModIdListargs: ModIdListNode, ModIdListresults: ModIdListNode, DamageShareAssertions: DamageShareAssertionsNode] RETURNS[BaseItemsNode] = BEGIN data: BaseItemsbaseFcnProdData _ NEW[BaseItemsbaseFcnProdDataBody_[ Identifier, ModIdListargs, ModIdListresults, DamageShareAssertions]]; RETURN[NEW[BaseItemsNodeBody_[position, length, BaseItemsbaseFcnProdProcs, data]]]; END; -- BaseItemstreeRecFcnProd BaseItemstreeRecFcnProdProcs: PUBLIC BaseItemsNodeProcs _ NEW[BaseItemsNodeProcsBody _ [BaseItemstreeRecFcnProdCollectModuleValueTypes, BaseItemstreeRecFcnProdCollectModuleFunctionTypes, BaseItemstreeRecFcnProdDefFileCode, BaseItemstreeRecFcnProdImplFileCode]]; BuildBaseItemstreeRecFcnProdNode: PUBLIC PROC[position: INT, length: INT, Identifier: IdentifierNode, ModIdListargs: ModIdListNode, ModIdListresults: ModIdListNode, DamageShareAssertions: DamageShareAssertionsNode] RETURNS[BaseItemsNode] = BEGIN data: BaseItemstreeRecFcnProdData _ NEW[BaseItemstreeRecFcnProdDataBody_[ Identifier, ModIdListargs, ModIdListresults, DamageShareAssertions]]; RETURN[NEW[BaseItemsNodeBody_[position, length, BaseItemstreeRecFcnProdProcs, data]]]; END; -- AbGramItemsabTypeProd AbGramItemsabTypeProdProcs: PUBLIC AbGramItemsNodeProcs _ NEW[AbGramItemsNodeProcsBody _ [AbGramItemsabTypeProdCollectModuleValueTypes, AbGramItemsabTypeProdCollectModuleFunctionTypes, AbGramItemsabTypeProdDefFileCode, AbGramItemsabTypeProdImplFileCode]]; BuildAbGramItemsabTypeProdNode: PUBLIC PROC[position: INT, length: INT, Identifier: IdentifierNode, IdList: IdListNode] RETURNS[AbGramItemsNode] = BEGIN data: AbGramItemsabTypeProdData _ NEW[AbGramItemsabTypeProdDataBody_[ Identifier, IdList]]; RETURN[NEW[AbGramItemsNodeBody_[position, length, AbGramItemsabTypeProdProcs, data]]]; END; -- AbGramItemsabProdProd AbGramItemsabProdProdProcs: PUBLIC AbGramItemsNodeProcs _ NEW[AbGramItemsNodeProcsBody _ [AbGramItemsabProdProdCollectModuleValueTypes, AbGramItemsabProdProdCollectModuleFunctionTypes, AbGramItemsabProdProdDefFileCode, AbGramItemsabProdProdImplFileCode]]; BuildAbGramItemsabProdProdNode: PUBLIC PROC[position: INT, length: INT, ModId: ModIdNode, ModIdList: ModIdListNode] RETURNS[AbGramItemsNode] = BEGIN data: AbGramItemsabProdProdData _ NEW[AbGramItemsabProdProdDataBody_[ ModId, ModIdList]]; RETURN[NEW[AbGramItemsNodeBody_[position, length, AbGramItemsabProdProdProcs, data]]]; END; -- AbGramItemsabProdFcnImplProd AbGramItemsabProdFcnImplProdProcs: PUBLIC AbGramItemsNodeProcs _ NEW[AbGramItemsNodeProcsBody _ [AbGramItemsabProdFcnImplProdCollectModuleValueTypes, AbGramItemsabProdFcnImplProdCollectModuleFunctionTypes, AbGramItemsabProdFcnImplProdDefFileCode, AbGramItemsabProdFcnImplProdImplFileCode]]; BuildAbGramItemsabProdFcnImplProdNode: PUBLIC PROC[position: INT, length: INT, AbProductionFcnImpl: AbProductionFcnImplNode] RETURNS[AbGramItemsNode] = BEGIN data: AbGramItemsabProdFcnImplProdData _ NEW[AbGramItemsabProdFcnImplProdDataBody_[ AbProductionFcnImpl]]; RETURN[NEW[AbGramItemsNodeBody_[position, length, AbGramItemsabProdFcnImplProdProcs, data]]]; END; END..