Package java_cup.runtime
Class XMLElement.NonTerminal
java.lang.Object
java_cup.runtime.XMLElement
java_cup.runtime.XMLElement.NonTerminal
- 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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected void
dump
(XMLStreamWriter writer) left()
right()
selectById
(String s) toString()
Methods inherited from class java_cup.runtime.XMLElement
dump, dump
-
Constructor Details
-
NonTerminal
-
-
Method Details
-
selectById
- Specified by:
selectById
in classXMLElement
-
left
- Specified by:
left
in classXMLElement
-
right
- Specified by:
right
in classXMLElement
-
toString
-
dump
- Specified by:
dump
in classXMLElement
- Throws:
XMLStreamException
-