graphloaders

Class GraphLoader

java.lang.Object

graphloaders.GraphLoader

public class GraphLoader
extends java.lang.Object

Contains static methods for loading graphs from standard formats. The methods automatically try to find out the format

Constructor Summary

Constructors

Constructor and Description
GraphLoader()

Method Summary

Modifier and Type	Method and Description
static <VertexType,EdgeType> ExecutionError	readGraph(GraphLibrary<VertexType,EdgeType> targetGraph, java.io.File file, FileFormat format, Progress progress)
static <VertexType,EdgeType> ExecutionError	readGraph(GraphLibrary<VertexType,EdgeType> targetGraph, java.io.File file, Progress progress) Loads the given graph file and creates respective vertices and edges in the given target graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphLoader

public GraphLoader()

Method Detail

readGraph

public static <VertexType,EdgeType> ExecutionError readGraph(GraphLibrary<VertexType,EdgeType> targetGraph,
                                                             java.io.File file,
                                                             Progress progress)

Loads the given graph file and creates respective vertices and edges in the given target graph.

Parameters:

targetGraph - the graph to create vertices and edges according to the content of the file

file - the graph file.

progress - a callback to inform about the loading progress

Returns:

true, if and only if, loading was successful

readGraph

public static <VertexType,EdgeType> ExecutionError readGraph(GraphLibrary<VertexType,EdgeType> targetGraph,
                                                             java.io.File file,
                                                             FileFormat format,
                                                             Progress progress)