import java.util.*;
import java.lang.reflect.*;
+// FIXME: Update for new API
/** Automatic JS-ification via Reflection (not for use in the core) */
public class JSReflection extends JS {
- public static Object wrap(Object o) throws JSExn {
+ /*public static Object wrap(Object o) throws JSExn {
if (o == null) return null;
if (o instanceof String) return o;
if (o instanceof Boolean) return o;
throw new JSExn("unhandled reflected exception: " + ite.toString());
} catch (SecurityException nfe) { }
throw new JSExn("called a reflection method with the wrong number of arguments");
- }
+ }*/
}