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);
}