1 # the platform name (PyV8, smjs, Mozilla, IE6, Opera, Safari etc.) |
1 # the platform name (PyV8, smjs, Mozilla, IE6, Opera, Safari etc.) |
2 platform = '' # to be updated by app, on compile |
2 platform = '' # to be updated by app, on compile |
3 |
3 |
4 # a dictionary of module override names (platform-specific) |
4 # a dictionary of module override names (platform-specific) |
5 overrides = None # to be updated by app, on compile |
5 overrides = None # to be updated by app, on compile |
6 |
6 |
7 # the remote path for loading modules |
7 # the remote path for loading modules |
8 loadpath = None |
8 loadpath = None |
9 |
9 |
10 stacktrace = None |
10 stacktrace = None |
11 |
11 |
12 appname = None |
12 appname = None |
|
13 |
13 |
14 |
14 def setloadpath(lp): |
15 def setloadpath(lp): |
15 global loadpath |
16 global loadpath |
16 loadpath = lp |
17 loadpath = lp |
17 |
18 |
|
19 |
18 def setappname(an): |
20 def setappname(an): |
19 global appname |
21 global appname |
20 appname = an |
22 appname = an |
|
23 |
21 |
24 |
22 def getloadpath(): |
25 def getloadpath(): |
23 global loadpath |
26 global loadpath |
24 return loadpath |
27 return loadpath |
25 |
28 |
|
29 |
26 def addoverride(module_name, path): |
30 def addoverride(module_name, path): |
27 global overrides |
31 global overrides |
28 overrides[module_name] = path |
32 overrides[module_name] = path |
|
33 |
29 |
34 |
30 def addstack(linedebug): |
35 def addstack(linedebug): |
31 JS(""" |
36 JS(""" |
32 if (pyjslib.bool((sys.stacktrace === null))) { |
37 if (pyjslib.bool((sys.stacktrace === null))) { |
33 sys.stacktrace = new pyjslib.List([]); |
38 sys.stacktrace = new pyjslib.List([]); |
34 } |
39 } |
35 sys.stacktrace.append(linedebug); |
40 sys.stacktrace.append(linedebug); |
36 """) |
41 """) |
|
42 |
|
43 |
37 def popstack(): |
44 def popstack(): |
38 JS(""" |
45 JS(""" |
39 sys.stacktrace.pop() |
46 sys.stacktrace.pop() |
40 """) |
47 """) |
|
48 |
41 |
49 |
42 def printstack(): |
50 def printstack(): |
43 JS(""" |
51 JS(""" |
44 var res = ''; |
52 var res = ''; |
45 |
53 |