Class Option

(package private) class Option

extends Object

Constructor Summary
`Option(String n, String rhs, Grammar gr)`

Method Summary
`Grammar`	`getEnclosingGrammar()`
`String`	`getName()`
`String`	`getRHS()`
`void`	`setEnclosingGrammar(Grammar g)`
`void`	`setName(String n)`
`void`	`setRHS(String rhs)`
`String`	`toString()`

protected Grammar enclosingGrammar

protected String name

protected String rhs

public Option(String n,
              String rhs,
              Grammar gr)

public Grammar getEnclosingGrammar()

public String getName()

public String getRHS()

public void setEnclosingGrammar(Grammar g)

public void setName(String n)

public void setRHS(String rhs)

public String toString()

Overview Package Class Use Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Field Summary