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