public static class UnpauseCallback {
Interpreter i;
UnpauseCallback(Interpreter i) { this.i = i; }
- public void unpause(Object o) throws PausedException, JSExn {
+ public void unpause(Object o) throws JSExn {
+ // FIXME: if o instanceof JSExn, throw it into the JSworld
i.stack.push(o);
i.resume();
}