public class Choice extends Expansion
eol, inMinimumSize, myGeneration, nextGenerationIndex, parent
Constructor and Description |
---|
Choice() |
Choice(Expansion expansion) |
Choice(Token token) |
Modifier and Type | Method and Description |
---|---|
java.lang.StringBuffer |
dump(int indent,
java.util.Set alreadyDumped) |
java.util.List |
getChoices() |
void |
setChoices(java.util.List choices) |
dumpPrefix, hashCode, reInit, toString