X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2Fjs%2FInterpreter.java;h=ae8dc1f5de4fa4ca416014ca8cc2eb1e4480d356;hb=9c2602143956cd39ecf5ef4c9eb31f5f56b5bd66;hp=c049088e591bcc59bd236c170717c39de3fd21e9;hpb=e8762b25b82d2113ce27869e7f2f096eca10239e;p=org.ibex.core.git diff --git a/src/org/xwt/js/Interpreter.java b/src/org/xwt/js/Interpreter.java index c049088..ae8dc1f 100644 --- a/src/org/xwt/js/Interpreter.java +++ b/src/org/xwt/js/Interpreter.java @@ -32,7 +32,7 @@ class Interpreter implements ByteCodes, Tokens { } /** this is the only synchronization point we need in order to be threadsafe */ - synchronized Object resume() { + synchronized Object resume() throws JSExn { Thread t = Thread.currentThread(); Interpreter old = (Interpreter)threadToInterpreter.get(t); threadToInterpreter.put(t, this); @@ -60,6 +60,7 @@ class Interpreter implements ByteCodes, Tokens { if(op == FINALLY_DONE) { FinallyData fd = (FinallyData) stack.pop(); if(fd == null) continue OUTER; // NOP + if(fd.exn != null) throw fd.exn; op = fd.op; arg = fd.arg; } @@ -83,7 +84,7 @@ class Interpreter implements ByteCodes, Tokens { case DUP: stack.push(stack.peek()); break; case NEWSCOPE: scope = new JSScope(scope); break; case OLDSCOPE: scope = scope.getParentScope(); break; - case ASSERT: if (!JS.toBoolean(stack.pop())) throw je("assertion failed"); break; + case ASSERT: if (!JS.toBoolean(stack.pop())) throw je("xwt.assertion.failed" /*FEATURE: line number*/); break; case BITNOT: stack.push(JS.N(~JS.toLong(stack.pop()))); break; case BANG: stack.push(JS.B(!JS.toBoolean(stack.pop()))); break; case NEWFUNCTION: stack.push(((JSFunction)arg).cloneWithNewParentScope(scope)); break; @@ -144,7 +145,7 @@ class Interpreter implements ByteCodes, Tokens { int[] jmps = (int[]) arg; // jmps[0] is how far away the catch block is, jmps[1] is how far away the finally block is // each can be < 0 if the specified block does not exist - stack.push(new TryMarker(jmps[0] < 0 ? -1 : pc + jmps[0], jmps[1] < 0 ? -1 : pc + jmps[1], scope)); + stack.push(new TryMarker(jmps[0] < 0 ? -1 : pc + jmps[0], jmps[1] < 0 ? -1 : pc + jmps[1], this)); break; } @@ -160,14 +161,15 @@ class Interpreter implements ByteCodes, Tokens { pc = ((TryMarker)o).finallyLoc - 1; continue OUTER; } else if (o instanceof CallMarker) { - if (scope instanceof Trap.TrapScope) { + if (scope instanceof Trap.TrapScope) { // handles return component of a read trap Trap.TrapScope ts = (Trap.TrapScope)scope; + if (retval != null) ts.cascadeHappened = true; if (!ts.cascadeHappened) { ts.cascadeHappened = true; Trap t = ts.t.next; while (t != null && t.f.numFormalArgs == 0) t = t.next; if (t == null) { - ((JS)ts.t.trapee).put(t.name, ts.val); + ((JS)ts.t.trapee).put(ts.t.name, ts.val); if (pausecount > initialPauseCount) { pc++; return null; } // we were paused } else { stack.push(o); @@ -177,12 +179,12 @@ class Interpreter implements ByteCodes, Tokens { f = t.f; scope = new Trap.TrapScope(f.parentScope, t, ts.val); pc = -1; - break; + continue OUTER; } } } scope = ((CallMarker)o).scope; - pc = ((CallMarker)o).pc; + pc = ((CallMarker)o).pc - 1; f = (JSFunction)((CallMarker)o).f; stack.push(retval); continue OUTER; @@ -201,22 +203,36 @@ class Interpreter implements ByteCodes, Tokens { throw je("tried to put a value to the " + key + " property on a " + target.getClass().getName()); if (key == null) throw je("tried to assign \"" + (val==null?"(null)":val.toString()) + "\" to the null key"); + Trap t = null; - if (target instanceof JS) { - t = ((JS)target).getTrap(val); - while (t != null && t.f.numFormalArgs == 0) t = t.next; - } else if (target instanceof Trap.TrapScope && key.equals("cascade")) { + if (target instanceof Trap.TrapScope && key.equals("cascade")) { Trap.TrapScope ts = (Trap.TrapScope)target; t = ts.t.next; ts.cascadeHappened = true; while (t != null && t.f.numFormalArgs == 0) t = t.next; - if (t == null) target = ts.t.trapee; + if (t == null) { target = ts.t.trapee; key = ts.t.name; } + + } else if (target instanceof Trap.TrapScope && key.equals(((Trap.TrapScope)target).t.name)) { + throw je("tried to put to " + key + " inside a trap it owns; use cascade instead"); + + } else if (target instanceof JS) { + if (target instanceof JSScope) { + JSScope p = (JSScope)target; // search the scope-path for the trap + t = p.getTrap(key); + while (t == null && p.getParentScope() != null) { p = p.getParentScope(); t = p.getTrap(key); } + } else { + t = ((JS)target).getTrap(key); + } + + while (t != null && t.f.numFormalArgs == 0) t = t.next; // find the first write trap + if (t != null) { + stack.push(new CallMarker(this)); + JSArray args = new JSArray(); + args.addElement(val); + stack.push(args); + } } if (t != null) { - stack.push(new CallMarker(this)); - JSArray args = new JSArray(); - args.addElement(val); - stack.push(args); f = t.f; scope = new Trap.TrapScope(f.parentScope, t, val); pc = -1; @@ -241,25 +257,35 @@ class Interpreter implements ByteCodes, Tokens { } Object ret = null; if (v == null) throw je("tried to get the null key from " + o); - if (o == null) throw je("tried to get property \"" + v + "\" from the null value @" + pc + "\n" + f.dump()); + if (o == null) throw je("tried to get property \"" + v + "\" from the null object"); if (o instanceof String || o instanceof Number || o instanceof Boolean) { ret = getFromPrimitive(o,v); stack.push(ret); break; } else if (o instanceof JS) { Trap t = null; - if (o instanceof JS) { - t = ((JS)o).getTrap(v); - while (t != null && t.f.numFormalArgs != 0) t = t.next; - } else if (o instanceof Trap.TrapScope && v.equals("cascade")) { + if (o instanceof Trap.TrapScope && v.equals("cascade")) { t = ((Trap.TrapScope)o).t.next; while (t != null && t.f.numFormalArgs != 0) t = t.next; - if (t == null) o = ((Trap.TrapScope)o).t.trapee; + if (t == null) { v = ((Trap.TrapScope)o).t.name; o = ((Trap.TrapScope)o).t.trapee; } + + } else if (o instanceof JS) { + if (o instanceof JSScope) { + JSScope p = (JSScope)o; // search the scope-path for the trap + t = p.getTrap(v); + while (t == null && p.getParentScope() != null) { p = p.getParentScope(); t = p.getTrap(v); } + } else { + t = ((JS)o).getTrap(v); + } + + while (t != null && t.f.numFormalArgs != 0) t = t.next; // get first read trap + if (t != null) { + stack.push(new CallMarker(this)); + JSArray args = new JSArray(); + stack.push(args); + } } if (t != null) { - stack.push(new CallMarker(this)); - JSArray args = new JSArray(); - stack.push(args); f = t.f; scope = new Trap.TrapScope(f.parentScope, t, null); ((Trap.TrapScope)scope).cascadeHappened = true; @@ -285,12 +311,15 @@ class Interpreter implements ByteCodes, Tokens { if (object == JS.METHOD) { method = stack.pop(); object = stack.pop(); + } else if (object == null) { + Object name = stack.pop(); + stack.pop(); + throw new JSExn("function '"+name+"' not found"); } else { stack.pop(); stack.pop(); } } - Object[] rest = numArgs > 3 ? new Object[numArgs - 3] : null; for(int i=numArgs - 1; i>2; i--) rest[i-3] = stack.pop(); Object a2 = numArgs <= 2 ? null : stack.pop(); @@ -324,33 +353,27 @@ class Interpreter implements ByteCodes, Tokens { break; } - case THROW: { - Object o = stack.pop(); - if(o instanceof JSExn) throw (JSExn)o; - throw new JSExn(o); - } + case THROW: + throw new JSExn(stack.pop()); case ASSIGN_SUB: case ASSIGN_ADD: { Object val = stack.pop(); - Object old = stack.pop(); Object key = stack.pop(); Object obj = stack.peek(); - if (val instanceof JSFunction && obj instanceof JSScope) { - JSScope parent = (JSScope)obj; - while(parent.getParentScope() != null) parent = parent.getParentScope(); - if (parent instanceof JS) { - JS b = (JS)parent; - if (op == ASSIGN_ADD) b.addTrap(key, (JSFunction)val); - else b.delTrap(key, (JSFunction)val); - // skip over the "normal" implementation of +=/-= - pc += ((Integer)arg).intValue() - 1; - break; - } + if (val instanceof JSFunction && obj instanceof JS) { + // A trap addition/removal + JS js = obj instanceof JSScope ? ((JSScope)obj).top() : (JS) obj; + if(op == ASSIGN_ADD) js.addTrap(key, (JSFunction)val); + else js.delTrap(key, (JSFunction)val); + pc += ((Integer)arg).intValue() - 1; + } else { + // The following setup is VERY important. The generated bytecode depends on the stack + // being setup like this (top to bottom) KEY, OBJ, VAL, KEY, OBJ + stack.push(key); + stack.push(val); + stack.push(obj); + stack.push(key); } - // use the "normal" implementation - stack.push(key); - stack.push(old); - stack.push(val); break; } @@ -448,6 +471,7 @@ class Interpreter implements ByteCodes, Tokens { } } catch(JSExn e) { + if(f.op[pc] != FINALLY_DONE) e.addBacktrace(f.sourceName,f.line[pc]); while(stack.size() > 0) { Object o = stack.pop(); if (o instanceof CatchMarker || o instanceof TryMarker) { @@ -461,19 +485,24 @@ class Interpreter implements ByteCodes, Tokens { stack.push(o); stack.push(catchMarker); stack.push(e.getObject()); + f = ((TryMarker)o).f; scope = ((TryMarker)o).scope; pc = ((TryMarker)o).catchLoc - 1; continue OUTER; } else { - stack.push(e); - stack.push(new FinallyData(THROW)); + stack.push(new FinallyData(e)); + f = ((TryMarker)o).f; scope = ((TryMarker)o).scope; pc = ((TryMarker)o).finallyLoc - 1; continue OUTER; } + } else if(o instanceof CallMarker) { + CallMarker cm = (CallMarker) o; + if(cm.f == null) + e.addBacktrace("",0); // This might not even be worth mentioning + else + e.addBacktrace(cm.f.sourceName,cm.f.line[cm.pc-1]); } - // no handler found within this func - if(o instanceof CallMarker) throw e; } throw e; } // end try/catch @@ -508,23 +537,30 @@ class Interpreter implements ByteCodes, Tokens { public int catchLoc; public int finallyLoc; public JSScope scope; - public TryMarker(int catchLoc, int finallyLoc, JSScope scope) { + public JSFunction f; + public TryMarker(int catchLoc, int finallyLoc, Interpreter cx) { this.catchLoc = catchLoc; this.finallyLoc = finallyLoc; - this.scope = scope; + this.scope = cx.scope; + this.f = cx.f; } } public static class FinallyData { public int op; public Object arg; - public FinallyData(int op, Object arg) { this.op = op; this.arg = arg; } + public JSExn exn; public FinallyData(int op) { this(op,null); } + public FinallyData(int op, Object arg) { this.op = op; this.arg = arg; } + public FinallyData(JSExn exn) { this.exn = exn; } // Just throw this exn } // Operations on Primitives ////////////////////////////////////////////////////////////////////// - static Object callMethodOnPrimitive(Object o, Object method, Object arg0, Object arg1, Object arg2, Object[] rest, int alength) { + static Object callMethodOnPrimitive(Object o, Object method, Object arg0, Object arg1, Object arg2, Object[] rest, int alength) throws JSExn { + if (method == null || !(method instanceof String) || "".equals(method)) + throw new JSExn("attempt to call a non-existant method on a primitive"); + if (o instanceof Number) { //#switch(method) case "toFixed": throw new JSExn("toFixed() not implemented"); @@ -591,7 +627,7 @@ class Interpreter implements ByteCodes, Tokens { return JS.N(s.lastIndexOf(search,start)); } case "match": return JSRegexp.stringMatch(s,arg0); - case "replace": return JSRegexp.stringReplace(s,(String)arg0,arg1); + case "replace": return JSRegexp.stringReplace(s,arg0,arg1); case "search": return JSRegexp.stringSearch(s,arg0); case "split": return JSRegexp.stringSplit(s,arg0,arg1,alength); case "toLowerCase": return s.toLowerCase(); @@ -613,7 +649,7 @@ class Interpreter implements ByteCodes, Tokens { throw new JSExn("Attempted to call non-existent method: " + method); } - static Object getFromPrimitive(Object o, Object key) { + static Object getFromPrimitive(Object o, Object key) throws JSExn { boolean returnJS = false; if (o instanceof Boolean) { throw new JSExn("cannot call methods on Booleans"); @@ -644,14 +680,14 @@ class Interpreter implements ByteCodes, Tokens { case "toLowerCase": returnJS = true; break; case "toUpperCase": returnJS = true; break; case "toString": returnJS = true; break; - case "substr": returnJS = true; break; - //#end + case "substr": returnJS = true; break; + //#end } if (returnJS) { final Object target = o; final String method = key.toString(); return new JS() { - public Object call(Object a0, Object a1, Object a2, Object[] rest, int nargs) { + public Object call(Object a0, Object a1, Object a2, Object[] rest, int nargs) throws JSExn { if (nargs > 2) throw new JSExn("cannot call that method with that many arguments"); return callMethodOnPrimitive(target, method, a0, a1, a2, rest, nargs); } @@ -664,7 +700,7 @@ class Interpreter implements ByteCodes, Tokens { private Object method; JS obj; public Stub(JS obj, Object method) { this.obj = obj; this.method = method; } - public Object call(Object a0, Object a1, Object a2, Object[] rest, int nargs) { + public Object call(Object a0, Object a1, Object a2, Object[] rest, int nargs) throws JSExn { return ((JS)obj).callMethod(method, a0, a1, a2, rest, nargs); } }