Class Grammar

    • Constructor Summary

      Constructors 
      Constructor Description
      Grammar()  
      Grammar​(java.lang.String start)  
      Grammar​(java.lang.String start, java.util.Set<java.lang.String> variables, java.util.Set<java.lang.String> terminals, java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> productionRules)  
    • Constructor Detail

      • Grammar

        public Grammar()
      • Grammar

        public Grammar​(java.lang.String start,
                       java.util.Set<java.lang.String> variables,
                       java.util.Set<java.lang.String> terminals,
                       java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> productionRules)
      • Grammar

        public Grammar​(java.lang.String start)
    • Method Detail

      • loadFromFile

        public static Grammar loadFromFile​(java.lang.String fileName)
                                    throws java.lang.Exception
        Throws:
        java.lang.Exception
      • loadFromStream

        public static Grammar loadFromStream​(java.io.InputStream stream)
                                      throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getVariables

        public java.util.Set<java.lang.String> getVariables()
      • setVariables

        public void setVariables​(java.util.Set<java.lang.String> variables)
      • getTerminals

        public java.util.Set<java.lang.String> getTerminals()
      • setTerminals

        public void setTerminals​(java.util.Set<java.lang.String> terminals)
      • getProductionRules

        public java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> getProductionRules()
      • setProductionRules

        public void setProductionRules​(java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> productionRules)
      • getStart

        public java.lang.String getStart()
      • toXml

        public org.w3c.dom.Element toXml​(org.w3c.dom.Document doc)
                                  throws java.lang.Exception
        Overrides:
        toXml in class XmlMarshallable
        Throws:
        java.lang.Exception
      • writeToStream

        public void writeToStream​(java.lang.String fileName)
                           throws java.lang.Exception
        Throws:
        java.lang.Exception
      • writeToStream

        public void writeToStream​(javax.xml.transform.stream.StreamResult stream)
                           throws java.lang.Exception
        Throws:
        java.lang.Exception