SDF_ProductionList SDF_getModuleContextFreeProductions(SDF_Module module) { SDF_ProductionList cfProds = SDF_makeProductionListEmpty(); SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_cf_prods, (void *)&cfProds); return cfProds; }
SDF_ProductionList SDF_getModuleVariableProductions(SDF_Module module) { SDF_ProductionList varProds = SDF_makeProductionListEmpty(); SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_var_prods, (void *)&varProds); return varProds; }
SDF_ProductionList SDF_getModuleLexicalProductions(SDF_Module module) { SDF_ProductionList lexProds = SDF_makeProductionListEmpty(); SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_lex_prods, (void *)&lexProds); return lexProds; }
SDF_ProductionList SDF_getModuleProductions(SDF_Module module) { SDF_ProductionList prods = SDF_makeProductionListEmpty(); SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_all_prods, (void *)&prods); return prods; }
ATermList SDFgetGrammars(SDF_Module module) { ATermList grammars = ATempty; SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_grammars, &grammars); return grammars; }
SDF_SymbolList SDF_getModuleSorts(SDF_Module module) { SDF_SymbolList sorts = SDF_makeSymbolListEmpty(); SDFforeachGrammarInModule(module, (SDFGrammarFunc)collect_sorts, (void *)&sorts); return sorts; }