Class Choice


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

    • Choice

      public Choice()
      Standard constructor
    • Choice

      public Choice(Token token)
      Parameters:
      token - - the Token
    • Choice

      public Choice(Expansion_ expansion)
      Parameters:
      expansion - - the Expansion_
  • Method Details

    • setChoices

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

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

      public StringBuilder dump(int indent, Set<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