public static class XMLElement.Terminal extends XMLElement
XMLElement.Error, XMLElement.NonTerminal, XMLElement.Terminal
tagname
Constructor and Description |
---|
Terminal(ComplexSymbolFactory.Location l,
java.lang.String symbolname,
ComplexSymbolFactory.Location r) |
Terminal(ComplexSymbolFactory.Location l,
java.lang.String symbolname,
java.lang.Object i,
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() |
java.lang.Object |
value() |
dump, dump
public Terminal(ComplexSymbolFactory.Location l, java.lang.String symbolname, ComplexSymbolFactory.Location r)
public Terminal(ComplexSymbolFactory.Location l, java.lang.String symbolname, java.lang.Object i, ComplexSymbolFactory.Location r)
public java.util.List<XMLElement> selectById(java.lang.String s)
selectById
in class XMLElement
public java.lang.Object value()
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