Class NonTerminal


  • public class NonTerminal
    extends Expansion_
    Describes non terminals.
    • Constructor Detail

      • NonTerminal

        public NonTerminal()
    • 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
      • setLhsTokens

        public final void setLhsTokens​(java.util.List<Token> lt)
        Parameters:
        lt - - the lhsTokens to set
      • getLhsTokens

        public final java.util.List<Token> getLhsTokens()
        Returns:
        the lhsTokens
      • setName

        public final void setName​(java.lang.String nm)
        Parameters:
        nm - - the name to set
      • getName

        public final java.lang.String getName()
        Returns:
        the name
      • setArgumentTokens

        public final void setArgumentTokens​(java.util.List<Token> tk)
        Parameters:
        tk - - the argument_tokens to set
      • getArgumentTokens

        public final java.util.List<Token> getArgumentTokens()
        Returns:
        the argument_tokens
      • setProd

        public final void setProd​(NormalProduction pr)
        Parameters:
        pr - - the prod to set