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)
