/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
return ScriptRuntime.wrapInt ( options.getPrettyIndent ( ) ) ;
return ScriptRuntime.wrapBoolean(options.isIgnoreComments()); case Id_ignoreProcessingInstructions: return ScriptRuntime.wrapBoolean(options.isIgnoreProcessingInstructions()); case Id_ignoreWhitespace: return ScriptRuntime.wrapBoolean(options.isIgnoreWhitespace()); case Id_prettyIndent: <extra_id_0> case Id_prettyPrinting: return ScriptRuntime.wrapBoolean(options.isPrettyPrinting()); } return super.getInstanceIdValue(id); } @Override