Alternative.this

Creates an unmodifiable alternative.

@param lhs the nonterminal occurrence for the left-hand side @param rhs the list of occurrences of symbols or operators for the right-hand side @param position the position for the alternative

@precondition the symbol for the left-hand side is a nonterminal