Class Choice


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

      • choices

        private final java.util.List<Expansion> choices
        The list of choices of this expansion unit. Each List component will narrow to ExpansionUnit.
    • Constructor Detail

      • Choice

        public Choice()
      • Choice

        public Choice​(Token token)
      • Choice

        public Choice​(Expansion expansion)
    • Method Detail

      • getChoices

        public final java.util.List<Expansion> getChoices()
        Returns:
        the choices
      • dump

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