Package java_cup.runtime
Class XMLElement.NonTerminal
- java.lang.Object
-
- java_cup.runtime.XMLElement
-
- java_cup.runtime.XMLElement.NonTerminal
-
- Enclosing class:
- XMLElement
public static class XMLElement.NonTerminal extends 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 Constructor Description NonTerminal(java.lang.String tagname, int variant, XMLElement... l)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
Methods inherited from class java_cup.runtime.XMLElement
dump, dump
-
-
-
-
Constructor Detail
-
NonTerminal
public NonTerminal(java.lang.String tagname, int variant, XMLElement... l)
-
-
Method Detail
-
selectById
public java.util.List<XMLElement> selectById(java.lang.String s)
- Specified by:
selectById
in classXMLElement
-
left
public ComplexSymbolFactory.Location left()
- Specified by:
left
in classXMLElement
-
right
public ComplexSymbolFactory.Location right()
- Specified by:
right
in classXMLElement
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
dump
protected void dump(javax.xml.stream.XMLStreamWriter writer) throws javax.xml.stream.XMLStreamException
- Specified by:
dump
in classXMLElement
- Throws:
javax.xml.stream.XMLStreamException
-
-