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