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