|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectxtc.tree.Node
xtc.parser.Element
xtc.parser.NonTerminal
public class NonTerminal
A nonterminal.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from class xtc.parser.Element |
|---|
Element.Tag |
| Field Summary | |
|---|---|
java.lang.String |
name
The name. |
| Constructor Summary | |
|---|---|
NonTerminal(NonTerminal nt)
Create a new nonterminal that is a copy of the specified nonterminal. |
|
NonTerminal(java.lang.String name)
Create a new nonterminal with the specified name. |
|
| Method Summary | |
|---|---|
boolean |
equals(java.lang.Object o)
|
java.lang.String |
getQualifier()
Get this nonterminal's qualifier. |
int |
hashCode()
|
boolean |
isQualified()
Determine whether this nonterminal is qualified. |
NonTerminal |
qualify(java.lang.String module)
Qualify this nonterminal. |
NonTerminal |
rename(ModuleMap renaming)
Rename this nonterminal. |
Element.Tag |
tag()
Get this element's tag. |
java.lang.String |
toIdentifier()
Convert this nonterminal to the corresponding Java identifier. |
java.lang.String |
toString()
Return a human readable representation of this node. |
NonTerminal |
unqualify()
Unqualify this nonterminal. |
void |
write(java.lang.Appendable out)
Write a human readable representation to the specified appendable. |
| Methods inherited from class xtc.tree.Node |
|---|
add, add, addAll, addAll, addAll, addAll, addAllTo, addNode, contains, get, getBoolean, getBooleanProperty, getGeneric, getList, getLocation, getName, getNode, getProperty, getString, getStringProperty, getTokenText, hasLocation, hasName, hasProperty, hasTraversal, hasVariable, indexOf, isAnnotation, isEmpty, isGeneric, isList, isToken, iterator, lastIndexOf, properties, remove, removeProperty, set, setLocation, setLocation, setProperty, size, strip, toAnnotation, toList, toToken |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public final java.lang.String name
| Constructor Detail |
|---|
public NonTerminal(java.lang.String name)
name - The name.public NonTerminal(NonTerminal nt)
nt - The nonterminal.| Method Detail |
|---|
public Element.Tag tag()
Element
tag in class Elementpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic boolean isQualified()
true if this nonterminal is qualified.public java.lang.String getQualifier()
null.
public NonTerminal qualify(java.lang.String module)
module - The module name.
public NonTerminal unqualify()
public NonTerminal rename(ModuleMap renaming)
original property is set to be this nonterminal's original name
(i.e., this nonterminal's original property if it has that
property or this nonterminal if it does not). Otherwise, this
method returns this nonterminal.
renaming - The module map.
public java.lang.String toIdentifier()
public void write(java.lang.Appendable out)
throws java.io.IOException
NodeObject.toString().
write in class Nodeout - The appendable.
java.io.IOException - Signals an I/O error.public java.lang.String toString()
NodeNode.write(Appendable).
toString in class Node
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||