Interface GraphExporter<V,​E>

    • Method Detail

      • exportGraph

        default void exportGraph​(Graph<V,​E> g,
                                 java.io.OutputStream out)
        Export a graph to the given OutputStream.

        It is the callers responsibility to ensure the OutputStream is closed after this method returned.

        Parameters:
        g - the graph to export
        out - the output stream
        Throws:
        ExportException - in case any error occurs
      • exportGraph

        void exportGraph​(Graph<V,​E> g,
                         java.io.Writer writer)
        Export a graph using the given Writer.

        It is the callers responsibility to ensure the Writer is closed after this method returned.

        Parameters:
        g - the graph to export
        writer - the output writer
        Throws:
        ExportException - in case any error occurs
      • exportGraph

        default void exportGraph​(Graph<V,​E> g,
                                 java.io.File file)
        Export a graph to the given File.
        Parameters:
        g - the graph to export
        file - the file to write to
        Throws:
        ExportException - in case any error occurs