class Option
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected Grammar |
enclosingGrammar |
protected java.lang.String |
name |
protected java.lang.String |
rhs |
Constructor and Description |
---|
Option(java.lang.String n,
java.lang.String rhs,
Grammar gr) |
Modifier and Type | Method and Description |
---|---|
Grammar |
getEnclosingGrammar() |
java.lang.String |
getName() |
java.lang.String |
getRHS() |
void |
setEnclosingGrammar(Grammar g) |
void |
setName(java.lang.String n) |
void |
setRHS(java.lang.String rhs) |
java.lang.String |
toString() |
protected java.lang.String name
protected java.lang.String rhs
protected Grammar enclosingGrammar
public Option(java.lang.String n, java.lang.String rhs, Grammar gr)
public Grammar getEnclosingGrammar()
public java.lang.String getName()
public java.lang.String getRHS()
public void setEnclosingGrammar(Grammar g)
public void setName(java.lang.String n)
public void setRHS(java.lang.String rhs)
public java.lang.String toString()
toString
in class java.lang.Object