Class Option

    • Field Detail

      • enclosingGrammar

        protected Grammar enclosingGrammar
    • Method Detail

      • getEnclosingGrammar

        public Grammar getEnclosingGrammar()
      • getName

        public String getName()
      • getRHS

        public String getRHS()
      • setEnclosingGrammar

        public void setEnclosingGrammar​(Grammar g)
      • setName

        public void setName​(String n)
      • setRHS

        public void setRHS​(String rhs)