Class DOTImporter<V,​E>

    • Field Detail

      • DEFAULT_GRAPH_ID_KEY

        public static final java.lang.String DEFAULT_GRAPH_ID_KEY
        Deprecated.
        Default key used in the graph updater (if provided) for the graph ID.
        See Also:
        Constant Field Values
      • vertexProvider

        protected VertexProvider<V> vertexProvider
        Deprecated.
        Constructs new vertices
      • edgeProvider

        protected EdgeProvider<V,​E> edgeProvider
        Deprecated.
        Constructs new edges
      • vertexUpdater

        protected ComponentUpdater<V> vertexUpdater
        Deprecated.
        Updates already constructed vertices
      • graphUpdater

        protected ComponentUpdater<org.jgrapht.Graph<V,​E>> graphUpdater
        Deprecated.
        Updates graph properties
    • Constructor Detail

      • DOTImporter

        public DOTImporter​(VertexProvider<V> vertexProvider,
                           EdgeProvider<V,​E> edgeProvider)
        Deprecated.
        Constructs a new importer.
        Parameters:
        vertexProvider - used to create vertices
        edgeProvider - used to create edges
      • DOTImporter

        public DOTImporter​(VertexProvider<V> vertexProvider,
                           EdgeProvider<V,​E> edgeProvider,
                           ComponentUpdater<V> vertexUpdater)
        Deprecated.
        Constructs a new importer.
        Parameters:
        vertexProvider - used to create vertices
        edgeProvider - used to create edges
        vertexUpdater - used to further update vertices
      • DOTImporter

        public DOTImporter​(VertexProvider<V> vertexProvider,
                           EdgeProvider<V,​E> edgeProvider,
                           ComponentUpdater<V> vertexUpdater,
                           ComponentUpdater<org.jgrapht.Graph<V,​E>> graphUpdater)
        Deprecated.
        Constructs a new importer.
        Parameters:
        vertexProvider - used to create vertices
        edgeProvider - used to create edges
        vertexUpdater - used to further update vertices
        graphUpdater - used to update graph attributes, like the graph identifier
    • Method Detail

      • importGraph

        public void importGraph​(org.jgrapht.Graph<V,​E> g,
                                java.io.Reader in)
                         throws ImportException
        Deprecated.
        Import a graph
        Specified by:
        importGraph in interface GraphImporter<V,​E>
        Parameters:
        g - the graph
        in - the input reader
        Throws:
        ImportException - in case any error occurs, such as I/O or parse error
      • getVertexProvider

        public VertexProvider<V> getVertexProvider()
        Deprecated.
        Get the vertex provider
        Returns:
        the vertex provider
      • setVertexProvider

        public void setVertexProvider​(VertexProvider<V> vertexProvider)
        Deprecated.
        Set the vertex provider
        Parameters:
        vertexProvider - the new vertex provider. Must not be null.
      • getEdgeProvider

        public EdgeProvider<V,​E> getEdgeProvider()
        Deprecated.
        Get the edge provider
        Returns:
        The edge provider
      • setEdgeProvider

        public void setEdgeProvider​(EdgeProvider<V,​E> edgeProvider)
        Deprecated.
        Set the edge provider.
        Parameters:
        edgeProvider - the new edge provider. Must not be null.
      • getVertexUpdater

        public ComponentUpdater<V> getVertexUpdater()
        Deprecated.
        Get the vertex updater
        Returns:
        the vertex updater
      • setVertexUpdater

        public void setVertexUpdater​(ComponentUpdater<V> vertexUpdater)
        Deprecated.
        Set the vertex updater.
        Parameters:
        vertexUpdater - the new vertex updater. Must not be null.
      • getGraphUpdater

        public ComponentUpdater<org.jgrapht.Graph<V,​E>> getGraphUpdater()
        Deprecated.
        Get the graph updater.
        Returns:
        the graph updater
      • setGraphUpdater

        public void setGraphUpdater​(ComponentUpdater<org.jgrapht.Graph<V,​E>> graphUpdater)
        Deprecated.
        Set the graph updater.
        Parameters:
        graphUpdater - the new graph updater. Must not be null.