+ // FEATURE: This is ugly
+ private static class JS extends org.ibex.js.JS.Obj {
+ public void put(String key, Object value) throws JSExn {
+ if(value instanceof String) put(JSU.S(key),JSU.S((String)value));
+ else if(value instanceof Number) put(JSU.S(key), JSU.N((Number)value));
+ else if(value == null) put(JSU.S(key), (JS)null);
+ else throw new Error("FIXME");
+ }
+ public Object _get(String key) throws JSExn {
+ org.ibex.js.JS js = get(JSU.S(key));
+ if(JSU.isInt(js)) return new Integer(JSU.toInt(js));
+ return JSU.toString(js);
+ }
+ }
+