public Object get(Object name_, boolean ignoretraps) {
if (name_ instanceof Number) return get(((Number)name_).intValue());
+ if (!(name_ instanceof String)) return null;
String name = (String)name_;
if (name.equals("")) return null;
public Object get(Object name) { return box.get(name); }
public void put(Object name, Object value) { box.put(name, value, false, this); }
public Object[] keys() { return box.keys(); }
+ public Object callMethod(Object method, JS.Array args, boolean justChecking) {
+ return box.callMethod(method,args,justChecking);
+ }
}
return this;
}
+ // This is the name returned by typeof() by JS
+ public String typeName() {
+ return "box";
+ }
+
}