Class Choice


  • public class Choice
    extends Expansion
    Describes expansions where one of many choices is taken (c1|c2|...).
    • Constructor Detail

      • Choice

        public Choice()
      • Choice

        public Choice​(Token token)
      • Choice

        public Choice​(Expansion expansion)
    • Method Detail

      • setChoices

        public void setChoices​(java.util.List<? super java.lang.Object> choices)
        Parameters:
        choices - the choices to set
      • getChoices

        public java.util.List<? super java.lang.Object> getChoices()
        Returns:
        the choices
      • dump

        public java.lang.StringBuffer dump​(int indent,
                                           java.util.Set<? super Expansion> alreadyDumped)
        Overrides:
        dump in class Expansion