public static enum DOMOutputOptions.ErrorOutputOptions extends Enum<DOMOutputOptions.ErrorOutputOptions>
InputErrors in the resulting
DOM.| Enum Constant and Description |
|---|
NO_OUTPUT
No error information is appended to the DOM.
|
XHTML
Each error is marked up as an XHTML
div element associated to the error
CSS class. |
XML_FULL
Full error information is appended to the DOM as a text XML element containing the error
code (as an attribute) plus full textual information of the error's location.
|
XML_SHORT
Basic error information is appended to the DOM as an empty XML element containing just the
error code.
|
| Modifier and Type | Method and Description |
|---|---|
static DOMOutputOptions.ErrorOutputOptions |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static DOMOutputOptions.ErrorOutputOptions[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DOMOutputOptions.ErrorOutputOptions NO_OUTPUT
SnuggleSession.getErrors().)public static final DOMOutputOptions.ErrorOutputOptions XML_SHORT
public static final DOMOutputOptions.ErrorOutputOptions XML_FULL
public static final DOMOutputOptions.ErrorOutputOptions XHTML
div element associated to the error
CSS class.
Errors occurring inside MathML expressions will be represented by a merror
placeholder, with a full XHTML element appended immediately after the MathML.
public static DOMOutputOptions.ErrorOutputOptions[] values()
for (DOMOutputOptions.ErrorOutputOptions c : DOMOutputOptions.ErrorOutputOptions.values()) System.out.println(c);
public static DOMOutputOptions.ErrorOutputOptions valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullCopyright © 2008–2026 The University of Edinburgh. All rights reserved.