/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
super.setInstanceIdValue( id, value) ; }return;
return; } super.setInstanceIdValue ( id, value ) ;
return; case Id_prettyIndent: options.setPrettyIndent(ScriptRuntime.toInt32(value)); return; case Id_prettyPrinting: options.setPrettyPrinting(ScriptRuntime.toBoolean(value)); <extra_id_0> } private static final int Id_defaultSettings = 1, Id_settings = 2, Id_setSettings = 3, MAX_FUNCTION_ID = 3; @Override