1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
import py
py.path.local(__file__)
from rpython.jit.tl.tla import tla
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 load_bytecode(filename):
from rpython.rlib.streamio import open_file_as_stream
f = open_file_as_stream(filename)
bytecode = f.readall()
f.close()
return bytecode
def target(driver, args):
return entry_point, None
# ____________________________________________________________
if __name__ == '__main__':
import sys
sys.exit(entry_point(sys.argv))
|
