Class Choice


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

      • Choice

        public Choice()
        Standard constructor
      • Choice

        public Choice​(Token token)
        Parameters:
        token - - the Token
    • Method Detail

      • setChoices

        public final void setChoices​(java.util.List<Expansion_> ch)
        Parameters:
        ch - - the choices to set
      • getChoices

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

        public java.lang.StringBuilder dump​(int indent,
                                            java.util.Set<java.lang.Object> alreadyDumped)
        Overrides:
        dump in class Expansion_
        Parameters:
        indent - - the number of spaces for indenting
        alreadyDumped - - a Set of objects already dumped (unused)
        Returns:
        the formatted string dumping the class