public class GrammarRuleNode extends GrammarNode
children
Constructor and Description |
---|
GrammarRuleNode(java.lang.String head) |
Modifier and Type | Method and Description |
---|---|
void |
addChoice(GrammarNode choice)
Adds a choice to the children of this node.
|
GrammarNode |
getChoice(int index)
Returns a given choice.
|
int |
getNumChoices()
Returns the current number of choices to the node.
|
void |
merge(GrammarRuleNode other)
Adds to this node all the choices of another node.
|
java.lang.String |
toString()
A better toString() function -- khaled
|
equals, getHead, hashCode
public void addChoice(GrammarNode choice)
public int getNumChoices()
public GrammarNode getChoice(int index)
public void merge(GrammarRuleNode other)
public java.lang.String toString()
toString
in class GrammarNode