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