/** The minimum set of functionality required for objects which are manipulated by JavaScript */
public class JS extends org.ibex.util.BalancedTree {
+ public static boolean checkAssertions = false;
+
public static final Object METHOD = new Object();
public final JS unclone() { return _unclone(); }
public Enumeration keys() throws JSExn { return entries == null ? emptyEnumeration : entries.keys(); }