private Vec backtrace = new Vec();
private Object js = null;
public JSExn(Object js) { this.js = js; }
- public String toString() { return "JSExn: " + JS.toString(js); }
+ public String toString() { return "JSExn: " + js; }
public String getMessage() { return toString(); }
public Object getObject() { return js; }
public void addBacktrace(String sourceName, int lineNo) { backtrace.addElement(sourceName + ":" + lineNo); }