* This function must never return a null object. */
public String[] getFormalArgs();
- /** Returns true if the specific key is found in this object. */
- public boolean hasKey(JS key);
-
/** Put a value to the given key, calling any write traps that have
* been placed on the key.
*
public InputStream getInputStream() throws IOException, JSExn { throw new JSExn(
"object has not associated stream, class ["+ getClass().getName() +"]"); }
- public boolean hasKey(JS key) { return false; }
-
public Object run(Object o) throws Exception { throw new JSExn(
"object cannot be called, class ["+ getClass().getName() +"]"); }
public void pause() { throw new NotPausableException(); }
public JS call(JS[] a) throws JSExn { return clonee.call(a); }
public String[] getFormalArgs() { return clonee.getFormalArgs(); }
- public boolean hasKey(JS k) { return clonee.hasKey(k); }
-
public JS putAndTriggerTraps(JS k, JS v) throws JSExn {
return clonee.putAndTriggerTraps(k, v); }
public JS getAndTriggerTraps(JS k) throws JSExn {
if (val == null) entries[dest + 1] = holder;
else entries[dest + 1] = val; }
- public boolean hasKey(JS key) { return indexOf(key) >= 0; }
/*public boolean hasValue(JS key, JS value) {
int i = indexOf(key); return i >= 0 && entries[i + 1] != null; }
public boolean hasTrap(JS key, JS trap) {