def RegisterExpansionSet(lang, dtc, type): expSet = resfile.MakeStdExpansionSet('ip', lang, type) if dtc == 'dtcon': expSet = resfile.AppendToExpandsionSet(expSet, 'dtcon',['dtcoff']) else: expSet = resfile.AppendToExpandsionSet(expSet, 'dtcoff',['dtcon']) resfile.RegisterExpansionSet(expSet)
def RegisterExpansionSet(lang, type, posdef): expansionSet = resfile.MakeStdExpansionSet('tc', lang, type) if posdef == 'pos': expansionSet = resfile.AppendToExpandsionSet(expansionSet, 'pos', ['def']) else: expansionSet = resfile.AppendToExpandsionSet(expansionSet, 'def', ['pos']) resfile.RegisterExpansionSet(expansionSet)
def RegisterExpansionSet(lang, dtc, type): expSet = resfile.MakeStdExpansionSet('pog', lang, type) expSet = resfile.AppendToExpandsionSet(expSet, 'pog', []) expSet = resfile.AppendToExpandsionSet(expSet, 'pos', ['def']) # if dtc == 'dtcon': # expSet = resfile.AppendToExpandsionSet(expSet, 'dtcon',['dtcoff']) # else: # expSet = resfile.AppendToExpandsionSet(expSet, 'dtcoff',['dtcon']) resfile.RegisterExpansionSet(expSet)
def execute(lang, type): global packageMap packageMap = {} expSet = resfile.MakeStdExpansionSet('java', lang, 'impl') expSet = resfile.AppendToExpandsionSet(expSet, '', ['dtcoff', 'dtcon']) resfile.RegisterExpansionSet(expSet) util.SetProfileBaseName("gmon-cpp-" + lang + "-" + type + "-" + cmdline.StartDate()) if (type == 'spec'): executeSpec(lang) else: executeImpl(lang)
def execute(lang, type): global srcext, objext, binext expSet = resfile.MakeStdExpansionSet('cpp', lang, 'impl') expSet = resfile.AppendToExpandsionSet(expSet,'',['dtcoff','dtcon']) resfile.RegisterExpansionSet(expSet) util.SetProfileBaseName("gmon-cpp-"+lang+"-"+type+"-"+cmdline.StartDate()) if util.UsesVisualStudio(): srcext = "cpp" objext = "obj" binext = ".exe" else: srcext = 'cc' if (type == 'spec'): executeSpec(lang) else: executeImpl(lang)
def execute(lang, type): global vdmde, speccompare, backend, javac, java, vppde global parserOnly, runJavacBeforeParser, staticSemanticsOnly expSet = resfile.MakeStdExpansionSet('java2vdm', lang, 'impl') expSet = resfile.AppendToExpandsionSet(expSet, '', ['dtcoff', 'dtcon']) resfile.RegisterExpansionSet(expSet) javac = cmdline.LookUpWildCard('java', lang, 'spec', 'compiler') java = cmdline.LookUpWildCard('java', lang, 'spec', 'interpreter') vppde = cmdline.LookUpWildCard('java', 'pp', 'impl', 'code-generator') vdmde = cmdline.LookUpWildCard('java', 'sl', 'impl', 'code-generator') speccompare = vdmde backend = cmdline.LookUp('java2vdm-backend') staticSemanticsOnly = cmdline.LookUp('java2vdm-static-semantics-only') runJavacBeforeParser = cmdline.LookUp('java2vdm-javac-before-parser') parserOnly = cmdline.LookUp('java2vdm-java-parser-only') if (type == 'spec'): executeSpec(lang) else: executeImpl(lang)
def RegisterExpansionSet(lang, dtc, type): expSet = resfile.MakeStdExpansionSet('pog', lang, type) expSet = resfile.AppendToExpandsionSet(expSet, 'pog',[]) expSet = resfile.AppendToExpandsionSet(expSet, 'pos',['def']) resfile.RegisterExpansionSet(expSet)