def entry_point(args): """Main entry point of the stand-alone executable: takes a list of strings and returns the exit code. """ if len(args) < 3: print "Usage: %s filename x" % (args[0], ) return 2 filename = args[1] x = int(args[2]) w_x = tla.W_IntObject(x) bytecode = load_bytecode(filename) w_res = tla.run(bytecode, w_x) print w_res.getrepr() return 0
def entry_point(args): """Main entry point of the stand-alone executable: takes a list of strings and returns the exit code. """ if len(args) < 3: print "Usage: %s filename x" % (args[0],) return 2 filename = args[1] x = int(args[2]) w_x = tla.W_IntObject(x) bytecode = load_bytecode(filename) w_res = tla.run(bytecode, w_x) print w_res.getrepr() return 0
def entry_point(args): for i in range(len(argv)): if argv[i] == "--jit": if len(argv) == i + 1: print "missing argument after --jit" return 2 jitarg = argv[i + 1] del argv[i:i + 2] jit.set_user_param(jitdriver, jitarg) break if len(args) < 3: print "Usage: %s filename x" % (args[0], ) return 2 filename = args[1] x = int(args[2]) w_x = tla.W_IntObject(x) bytecode = load_bytecode(filename) w_res = tla.run(bytecode, w_x) print w_res.getrepr() return 0
def entry_point(args): for i in range(len(argv)): if argv[i] == "--jit": if len(argv) == i + 1: print "missing argument after --jit" return 2 jitarg = argv[i + 1] del argv[i:i+2] jit.set_user_param(jitdriver, jitarg) break if len(args) < 3: print "Usage: %s filename x" % (args[0],) return 2 filename = args[1] x = int(args[2]) w_x = tla.W_IntObject(x) bytecode = load_bytecode(filename) w_res = tla.run(bytecode, w_x) print w_res.getrepr() return 0
def interp(mylist, w_arg): bytecode = assemble(mylist) return tla.run(bytecode, w_arg)