class Option extends Object
| Modifier and Type | Field and Description |
|---|---|
protected Grammar |
enclosingGrammar |
protected String |
name |
protected String |
rhs |
| Constructor and Description |
|---|
Option(String n,
String rhs,
Grammar gr) |
protected String name
protected String rhs
protected Grammar enclosingGrammar