def __test_pi_aut(self, file_name, state, text):
source_h = open(file_name)
source = source_h.read()
source_h.close()
pi_ast = self.parser.parse(source, semantics=Impiler())
(trace, step, out, dt) = run(pi_ast, color=False)
self.assertTrue(text in str(trace[state]))
def __test_pi_aut(self, file_name, outR):
source_h = open(file_name)
source = source_h.read()
source_h.close()
pi_ast = self.parser.parse(source, semantics=Impiler())
(trace, step, out, dt) = run(pi_ast, color=False)
self.assertEqual(str(out), outR)
def __test_run(self, file_name, s, locs, env, sto, val, cnt):
source_h = open(file_name)
source = source_h.read()
source_h.close()
pi_ast = self.parser.parse(source, semantics=Impiler())
(tr, ns, dt) = run(pi_ast, color=False)
state_str = tr[s]
loc_str = "locs : " + locs
env_str = "env : " + env
sto_str = "sto : " + sto
val_str = "val : " + val
cnt_str = "cnt : " + cnt
self.assertTrue(loc_str in state_str)
self.assertTrue(env_str in state_str)
self.assertTrue(sto_str in state_str)
self.assertTrue(val_str in state_str)
self.assertTrue(cnt_str in state_str)
def __test_parse(self, file_name, ast):
source_h = open(file_name)
source = source_h.read()
source_h.close()
pi_ast = self.parser.parse(source, semantics=Impiler())
self.assertEqual(str(pi_ast), ast)
def main(argv):
source = ''
print_ast = False
print_parse_trace = False
print_trace_debug = False
print_pilib_ast = False
print_source = False
print_trace = False
print_backtrace = False
print_stats = False
print_state = False
print_last = False
color = True
print_llvm = False
run_llvm_jit = False
terminate = False
display_state = 0
last_n_state = 0
rec = False
try:
opts, args = getopt.getopt(argv, "f:saptb", [
'at', 'pt', 'td', 'llvm', 'llvm_jit', 'stats', 'state=', 'last=',
'rec', 'no-color'
])
except getopt.GetoptError:
print_help()
sys.exit(2)
for opt, arg in opts:
if opt == '-f':
source = open(arg).read()
elif opt == '-s':
print_source = True
elif opt == '-a':
print_ast = True
elif opt == '-d':
print_parse_trace = True
elif opt == '-p':
print_pilib_ast = True
elif opt == '-t':
print_trace = True
elif opt == '-b':
print_backtrace = True
elif opt == '--at':
print_ast = True
terminate = True
elif opt == '--pt':
print_pilib_ast = True
terminate = True
elif opt == '--td':
print_trace_debug = True
elif opt == '--stats':
print_stats = True
elif opt == '--state':
print_state = True
display_state = int(arg)
elif opt == '--last':
print_last = True
last_n_state = int(arg)
elif opt == '--rec':
rec = True
elif opt == '--no-color':
color = False
elif opt == '--llvm':
print_llvm = True
elif opt == '--llvm_jit':
run_llvm_jit = True
if color:
pi_symb = 'Π'
else:
pi_symb = 'Π'
if not source:
print_help()
exit(2)
if print_source:
print('Imπ source code: ')
print(source)
imp_grammar = open('imp2.ebnf').read()
if print_parse_trace:
parser = tatsu.compile(imp_grammar, trace=True, colorize=True)
else:
parser = tatsu.compile(imp_grammar)
if print_ast:
try:
ast = parser.parse(source)
print(ast)
print('Concrete syntax tree: ')
pprint.pprint(ast, indent=2, width=20)
if terminate:
exit(1)
print()
except Exception as e:
print('Parse error: ' + str(e))
exit(2)
try:
pi_ast = parser.parse(source, semantics=Impiler())
if print_pilib_ast:
print(pi_symb + ' IR syntax tree:')
pprint.pprint(pi_ast, indent=2, width=20)
print()
if terminate:
exit(1)
except Exception as e:
exc_type, exc_value, exc_traceback = sys.exc_info()
print('Imπ compilation error: ')
tbl = traceback.format_exception(exc_type, exc_value, exc_traceback)
imp_tb = [e for e in tbl if 'PiFramework' in e]
for ex in imp_tb:
print(ex)
print(exc_value)
exit(2)
try:
(tr, ns, dt) = run(pi_ast, rec=rec, color=color)
except EvaluationError as e:
exc_type, exc_value, exc_traceback = sys.exc_info()
if color:
msg = str(exc_value.args[0])
else:
msg = str(exc_value.args[0])
print('Imπ evaluation error: ' + msg)
if print_trace_debug:
print(pi_symb + " automaton backtrace so far:")
state_number = len(e.trace) - 1
for state in reversed(e.trace):
if color:
csn = '#' + str(state_number)
else:
csn = '#' + str(state_number)
print('State ' + csn + ' of the ' + pi_symb + ' automaton:')
print(state)
state_number = state_number - 1
print('Python ' + pi_symb + ' automaton call trace:')
tbl = traceback.format_exception(exc_type, exc_value, exc_traceback)
imp_tb = [e for e in tbl if 'PiFramework' in e]
for ex in imp_tb:
print(ex)
exit(2)
if print_llvm or run_llvm_jit:
module = pi_llvm(pi_ast)
if print_llvm:
print(module)
if run_llvm_jit:
pi_llvm_jit(module)
else:
if print_state:
print('State #' + str(display_state) + ' of the ' + pi_symb +
' automaton:')
print(tr[display_state])
exit(1)
if print_trace:
for state_number in range(len(tr)):
if color:
print('State ' + '#' + str(state_number) + ' of the ' +
pi_symb + ' automaton:')
else:
print('State ' + '#' + str(state_number) + ' of the ' +
pi_symb + ' automaton:')
print(tr[state_number])
else:
if print_backtrace:
state_number = len(tr) - 1
for state in reversed(tr):
if color:
csn = '#' + str(state_number)
else:
csn = '#' + str(state_number)
print('State ' + csn + ' of the ' + pi_symb +
' automaton:')
print(state)
state_number = state_number - 1
else:
if print_last:
display_state = len(tr) - (last_n_state + 1)
else:
display_state = len(tr) - 1
if color:
print('State ' + '#' + str(display_state) + ' of the ' +
pi_symb + ' automaton:')
else:
print('State ' + '#' + str(display_state) + ' of the ' +
pi_symb + ' automaton:')
print(tr[display_state])
if print_stats:
print('Number of evaluation steps:', ns)
print('Evaluation time:', dt)
def main(argv):
source = ''
print_ast = False
print_pilib_ast = False
print_source = False
print_trace = False
print_stats = False
print_state = False
print_last = False
print_llvm = False
run_llvm_jit = False
terminate = False
display_state = 0
last_n_state = 0
try:
opts, args = getopt.getopt(
argv, "f:sapte",
['at', 'pt', 'llvm', 'llvm_jit', 'stats', 'state=', 'last='])
except getopt.GetoptError:
print_help()
sys.exit(2)
for opt, arg in opts:
if opt == '-f':
source = open(arg).read()
elif opt == '-s':
print_source = True
elif opt == '-a':
print_ast = True
elif opt == '-p':
print_pilib_ast = True
elif opt == '-t':
print_trace = True
elif opt == '--at':
print_ast = True
terminate = True
elif opt == '--pt':
print_pilib_ast = True
terminate = True
elif opt == '--stats':
print_stats = True
elif opt == '--state':
print_state = True
display_state = int(arg)
elif opt == '--last':
print_last = True
last_n_state = int(arg)
elif opt == '--llvm':
print_llvm = True
elif opt == '--llvm_jit':
run_llvm_jit = True
if not source:
print_help()
exit(2)
if print_source:
print('Imπ source code: ')
print(source)
print()
imp_grammar = open('imp.ebnf').read()
parser = tatsu.compile(imp_grammar)
if print_ast:
try:
ast = parser.parse(source)
print('竜 Tatsu ST: ', ast)
if terminate:
exit(1)
print()
except Exception as e:
print('Parser error: ' + str(e))
exit(2)
try:
pi_ast = parser.parse(source, semantics=Impiler())
if print_pilib_ast:
print('π lib AST:', pi_ast)
if terminate:
exit(1)
print()
except Exception as e:
exc_type, exc_value, exc_traceback = sys.exc_info()
print('Imπ compilation error: ')
tbl = traceback.format_exception(exc_type, exc_value, exc_traceback)
imp_tb = [e for e in tbl if 'PiFramework' in e]
for ex in imp_tb:
print(ex)
print(exc_value)
exit(2)
try:
(tr, ns, dt) = run(pi_ast)
except Exception as e:
exc_type, exc_value, exc_traceback = sys.exc_info()
print('Imπ evaluation error: ')
tbl = traceback.format_exception(exc_type, exc_value, exc_traceback)
imp_tb = [e for e in tbl if 'PiFramework' in e]
for ex in imp_tb:
print(ex)
print(exc_value)
exit(2)
if print_llvm or run_llvm_jit:
module = pi_llvm(pi_ast)
if print_llvm:
print(module)
if run_llvm_jit:
pi_llvm_jit(module)
else:
if print_trace:
for state_number in range(len(tr)):
print('State #' + str(state_number) + ' of the π automaton:')
print(tr[state_number])
else:
if print_last:
display_state = len(tr) - (last_n_state + 1)
else:
display_state = len(tr) - 1
print('State #' + str(display_state) + ' of the π automaton:')
print(tr[display_state])
if print_stats:
print('Number of evaluation steps:', ns)
print('Evaluation time:', dt)