diff --git a/ltg/src/fj_scratch/test.py b/ltg/src/fj_scratch/test.py index 612d747..06ad8b2 100644 --- a/ltg/src/fj_scratch/test.py +++ b/ltg/src/fj_scratch/test.py @@ -9,12 +9,21 @@ #res = eval_sequence(seq, debug = True) #pprint(res) -from terms import parse_lambda, binarize_term, term_to_sequence +#from terms import parse_lambda, binarize_term, term_to_sequence +# +#l = r'(\x.(attack x))' +#t = parse_lambda(l) +#print t +#t = binarize_term(t) +#print t +#s = term_to_sequence(t) +#print s + +import play +import replay_to_html +import shlex +import webbrowser -l = r'(\x.(attack x))' -t = parse_lambda(l) -print t -t = binarize_term(t) -print t -s = term_to_sequence(t) -print s \ No newline at end of file +#play.main(*shlex.split('--replay battery.rpl the_battery_bot() IdleBot()')) +#replay_to_html.main('battery.rpl') +webbrowser.open('battery.html') diff --git a/ltg/src/replay_to_html.py b/ltg/src/replay_to_html.py index 4c2dca8..8061589 100644 --- a/ltg/src/replay_to_html.py +++ b/ltg/src/replay_to_html.py @@ -8,12 +8,7 @@ HEAD = 3300 # how many head and tail moves we show TAIL = 20 -if __name__ == '__main__': - if len(sys.argv) != 2: - print 'usage: replay_to_html hz.rpl' - exit(1) - - replay_name = sys.argv[1] +def main(replay_name): with open(replay_name) as fin: replay = list(fin) @@ -99,3 +94,9 @@ print>>html, '' html.close() sys.stdout = original_stdout + +if __name__ == '__main__': + if len(sys.argv) != 2: + print 'usage: replay_to_html hz.rpl' + exit(1) + main(sys.argv[1])