/** a trivial private class to serve as the box.indexof function object */
private class IndexOf extends JS.Function {
- public IndexOf() { this.setSeal(true); }
+ public IndexOf() { super(-1, "java", null, null); this.setSeal(true); }
public Object _call(JS.Array args) throws JS.Exn {
if (args.length() != 1 || args.elementAt(0) == null || !(args.elementAt(0) instanceof Box)) return new Integer(-1);
Box b = (Box)args.elementAt(0);
if (ret != -1) bytesDownloaded += ret;
if (clear && callback != null) {
clear = false;
- ThreadMessage.newthread(new JS.Function() {
+ ThreadMessage.newthread(new JS.Function(-1, "java", null, null) {
public Object _call(JS.Array args_) throws JS.Exn {
try {
JS.Array args = new JS.Array();
if (name.charAt(0) == '_') {
if (value != null && !(value instanceof Function)) {
- if (Log.on) Log.log(this, "attempt to put a non-function value to " + name + " at " + JS.getFileAndLine());
+ if (Log.on) Log.log(this, "attempt to put a non-function value (" + value + ") to " +
+ name + " at " + JS.getFileAndLine());
} else if (name.charAt(1) == '_') {
name = name.substring(2).intern();
Trap t = Trap.getTrap(this, name);