else return current.trapee;
}
+ /** called by Rhino's arguments.trapname hack */
+ public static String currentTrapname() {
+ Trap current = TrapContext.get().currentTrap;
+ if (current == null) return null;
+ else return current.name;
+ }
+
/** removes all traps whose function's ultimate parent scope is <tt>b</tt>. Used for retheming */
public static void removeAllTrapsByBox(Box b) {
Enumeration e = allTraps.keys();