// FIXME: HACK!
if (key.equals("cascade")) return org.xwt.Trap.cascadeFunction;
if (key.equals("trapee")) return org.xwt.Trap.currentTrapee();
+ if (key.equals("trapname")) return org.xwt.Trap.currentTrapname();
if (key.equals("length")) return new Long(vec.size());
if (key.equals("push")) return new JS.Callable() {
public Object call(JS.Array args) {
public String getSourceName() { return sourceName; }
public Object get(Object key) throws JS.Exn {
if (key.equals("trapee")) return org.xwt.Trap.currentTrapee();
+ else if (key.equals("trapname")) return org.xwt.Trap.currentTrapname();
else if (key.equals("cascade")) return org.xwt.Trap.cascadeFunction;
return super.get(key);
}