Class Option


  • class Option
    extends java.lang.Object
    • Field Detail

      • name

        protected java.lang.String name
      • rhs

        protected java.lang.String rhs
      • enclosingGrammar

        protected Grammar enclosingGrammar
    • Constructor Detail

      • Option

        public Option​(java.lang.String n,
                      java.lang.String rhs,
                      Grammar gr)
    • Method Detail

      • getEnclosingGrammar

        public Grammar getEnclosingGrammar()
      • getName

        public java.lang.String getName()
      • getRHS

        public java.lang.String getRHS()
      • setEnclosingGrammar

        public void setEnclosingGrammar​(Grammar g)
      • setName

        public void setName​(java.lang.String n)
      • setRHS

        public void setRHS​(java.lang.String rhs)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object