public JS get(JS key) throws JSExn {
if(!JS.isString(key)) return null;
if("print".equals(JS.toString(key))) return METHOD;
+ if("clone".equals(JS.toString(key))) return METHOD;
if("bgget".equals(JS.toString(key))) {
action = "bgget";
try {
} catch(NotPauseableException e) {
throw new Error("should never happen");
}
- return;
- }
+ return;
+ }
+ if("exit".equals(JS.toString(key))) {
+ System.exit(JS.toInt(val));
+ return;
+ }
super.put(key,val);
}
System.out.println(JS.debugToString(a0));
return null;
}
+ if("clone".equals(JS.toString(method))) return a0 == null ? null : a0.jsclone();
return null;
}
}