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 interp(mylist, w_arg): bytecode = assemble(mylist) return tla.run(bytecode, w_arg)