Summary:
Detail:
protected Grammar
enclosingGrammar
protected String
name
rhs
Option(String n, String rhs, Grammar gr)
Grammar
getEnclosingGrammar()
String
getName()
getRHS()
void
setEnclosingGrammar(Grammar g)
setName(String n)
setRHS(String rhs)
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
toString
Object