java_cup.runtime

Class XMLElement.Terminal

java.lang.Object

java_cup.runtime.XMLElement

java_cup.runtime.XMLElement.Terminal

Enclosing class:

XMLElement

public static class XMLElement.Terminal
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 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)

Method Summary

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()

Methods inherited from class java_cup.runtime.XMLElement

dump, dump

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Terminal

public Terminal(ComplexSymbolFactory.Location l,
                java.lang.String symbolname,
                ComplexSymbolFactory.Location r)

Terminal

public Terminal(ComplexSymbolFactory.Location l,
                java.lang.String symbolname,
                java.lang.Object i,
                ComplexSymbolFactory.Location r)

Method Detail

selectById

public java.util.List<XMLElement> selectById(java.lang.String s)

Specified by:

selectById in class XMLElement

value

public java.lang.Object value()

left

public ComplexSymbolFactory.Location left()

Specified by:

left in class XMLElement

right

public ComplexSymbolFactory.Location right()

Specified by:

right in class XMLElement

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

dump

protected void dump(javax.xml.stream.XMLStreamWriter writer)
             throws javax.xml.stream.XMLStreamException

Specified by:

dump in class XMLElement

Throws:

javax.xml.stream.XMLStreamException