Package java_cup.runtime
Class XMLElement.Terminal
java.lang.Object
java_cup.runtime.XMLElement
java_cup.runtime.XMLElement.Terminal
- Enclosing class:
XMLElement
-
Nested Class Summary
Nested classes/interfaces inherited from class java_cup.runtime.XMLElement
XMLElement.Error, XMLElement.NonTerminal, XMLElement.Terminal -
Field Summary
Fields inherited from class java_cup.runtime.XMLElement
tagname -
Constructor Summary
ConstructorsConstructorDescriptionTerminal(ComplexSymbolFactory.Location l, String symbolname, ComplexSymbolFactory.Location r) Terminal(ComplexSymbolFactory.Location l, String symbolname, Object i, ComplexSymbolFactory.Location r) -
Method Summary
Modifier and TypeMethodDescriptionprotected voiddump(XMLStreamWriter writer) left()right()selectById(String s) toString()value()Methods inherited from class java_cup.runtime.XMLElement
dump, dump
-
Constructor Details
-
Terminal
public Terminal(ComplexSymbolFactory.Location l, String symbolname, ComplexSymbolFactory.Location r) -
Terminal
public Terminal(ComplexSymbolFactory.Location l, String symbolname, Object i, ComplexSymbolFactory.Location r)
-
-
Method Details
-
selectById
- Specified by:
selectByIdin classXMLElement
-
value
-
left
- Specified by:
leftin classXMLElement
-
right
- Specified by:
rightin classXMLElement
-
toString
-
dump
- Specified by:
dumpin classXMLElement- Throws:
XMLStreamException
-