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 and Description
NonTerminal(java.lang.String tagname, int variant, XMLElement... l)

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

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

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 class XMLElement

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