Class GrammarExporter


  • public class GrammarExporter
    extends java.lang.Object
    The grammar exporter exports a parser grammar in an essentially opaque format.

    The advantage of exported grammars is that they load very fast, no matter how complex the original grammar.

    • Constructor Summary

      Constructors 
      Constructor Description
      GrammarExporter​(ParserGrammar grammar, java.io.OutputStream output)
      Create a grammar exporter.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void export()
      Perform the export.
      void export​(java.lang.String code)
      Export a code.
      void export​(java.lang.String code, java.lang.String data)
      Export a code and data.
      void export​(java.lang.String code, java.lang.String data1, java.lang.String data2)
      Export a code and two data items.
      void export​(java.lang.String code, java.util.List<java.lang.String> data)
      Export a code and a list of items.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • GrammarExporter

        public GrammarExporter​(ParserGrammar grammar,
                               java.io.OutputStream output)
        Create a grammar exporter.

        Exported grammars are written to the output stream in an essentially opaque format.

        Parameters:
        grammar - The grammar to export.
        output - An output stream.
    • Method Detail

      • export

        public void export()
        Perform the export.
      • export

        public void export​(java.lang.String code)
        Export a code.
        Parameters:
        code - the code.
      • export

        public void export​(java.lang.String code,
                           java.lang.String data)
        Export a code and data.

        The export is ignored if data is null.

        Parameters:
        code - the code.
        data - the data.
      • export

        public void export​(java.lang.String code,
                           java.lang.String data1,
                           java.lang.String data2)
        Export a code and two data items.

        The export is ignored if either data item is null.

        Parameters:
        code - the code.
        data1 - The first data item.
        data2 - The second data item.
      • export

        public void export​(java.lang.String code,
                           java.util.List<java.lang.String> data)
        Export a code and a list of items.
        Parameters:
        code - The code.
        data - The items.