Class GrammarFile


  • public class GrammarFile
    extends Object
    Stores header action, grammar preamble, file options, and list of grammars in the file
    • Constructor Detail

      • GrammarFile

        public GrammarFile​(Tool tool,
                           String f)
    • Method Detail

      • addGrammar

        public void addGrammar​(Grammar g)
      • getName

        public String getName()
      • nameForExpandedGrammarFile

        public String nameForExpandedGrammarFile​(String f)
      • setExpanded

        public void setExpanded​(boolean exp)
      • addHeaderAction

        public void addHeaderAction​(String a)