- if(JS.isString(key)) {
- //#switch(JS.toString(key))
- case "trapee": return t.target;
- case "callee": return t.f;
- case "trapname": return t.key;
- //#end
- }
+ //#jswitch(key)
+ case "trapee": return t.target;
+ case "callee": return t.f;
+ case "trapname": return t.key;
+ //#end