Class OneOrMore


  • public class OneOrMore
    extends Expansion_
    Describes one-or-more expansions (e.g., foo+).
    • Field Detail

      • expansion

        public Expansion_ expansion
        The expansion which is repeated one or more times.
    • Constructor Detail

      • OneOrMore

        public OneOrMore()
        Standard constructor
      • OneOrMore

        public OneOrMore​(Token t,
                         Expansion_ e)
        Constructor with parameters.
        Parameters:
        t - - the token
        e - - the node
    • Method Detail

      • 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