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
XMLElement.Terminal(ComplexSymbolFactory.Location l, String symbolname, ComplexSymbolFactory.Location r)
XMLElement.Terminal(ComplexSymbolFactory.Location l, String symbolname, Object i, ComplexSymbolFactory.Location r)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	dump(javax.xml.stream.XMLStreamWriter writer)
ComplexSymbolFactory.Location	left()
ComplexSymbolFactory.Location	right()
List<XMLElement>	selectById(String s)
String	toString()
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

XMLElement.Terminal

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

XMLElement.Terminal

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

Method Detail

selectById

public List<XMLElement> selectById(String s)

Specified by:

selectById in class XMLElement

value

public 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 String toString()

Overrides:

toString in class 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