@uml
Indicates that the set of configurations is read-only. Do not
allow any code to manipulate the set; DFA states will point at
the sets and they must not change. This does not protect the other
fields; in particular, conflictingAlts is set after
we've made this readonly.
@read
@uml Indicates that the set of configurations is read-only. Do not allow any code to manipulate the set; DFA states will point at the sets and they must not change. This does not protect the other fields; in particular, conflictingAlts is set after we've made this readonly. @read