Interface AttributedGraphExporter

  • All Superinterfaces:
    ExtensionPoint

    public interface AttributedGraphExporter
    extends ExtensionPoint
    Interface for exporting AttributedGraphs
    • Method Detail

      • exportGraph

        void exportGraph​(AttributedGraph graph,
                         java.io.File file)
                  throws java.io.IOException
        Exports the given graph to the given writer
        Parameters:
        graph - the AttributedGraph to export
        file - the file to export to
        Throws:
        java.io.IOException - if there is an error exporting the graph
      • getFileExtension

        java.lang.String getFileExtension()
        Returns the suggested file extension to use for this exporter
        Returns:
        the suggested file extension to use for this exporter
      • getName

        java.lang.String getName()
        Returns the name of this exporter
        Returns:
        the name of this exporter
      • getDesciption

        java.lang.String getDesciption()
        Returns a description of the exporter
        Returns:
        a description of the exporter