public static class XMLElement.Error extends XMLElement
XMLElement.Error, XMLElement.NonTerminal, XMLElement.Terminal
tagname
Constructor and Description |
---|
Error(ComplexSymbolFactory.Location l,
ComplexSymbolFactory.Location r) |
Modifier and Type | Method and Description |
---|---|
protected void |
dump(javax.xml.stream.XMLStreamWriter writer) |
ComplexSymbolFactory.Location |
left() |
ComplexSymbolFactory.Location |
right() |
java.util.List<XMLElement> |
selectById(java.lang.String s) |
java.lang.String |
toString() |
dump, dump
public Error(ComplexSymbolFactory.Location l, ComplexSymbolFactory.Location r)
public java.util.List<XMLElement> selectById(java.lang.String s)
selectById
in class XMLElement
public ComplexSymbolFactory.Location left()
left
in class XMLElement
public ComplexSymbolFactory.Location right()
right
in class XMLElement
public java.lang.String toString()
toString
in class java.lang.Object
protected void dump(javax.xml.stream.XMLStreamWriter writer) throws javax.xml.stream.XMLStreamException
dump
in class XMLElement
javax.xml.stream.XMLStreamException