graphloaders

Class antlrDotLoader

java.lang.Object

graphloaders.antlrDotLoader

public class antlrDotLoader
extends java.lang.Object

Created by Clemens Hoffmann on 8/8/16.

Constructor Summary

Constructors

Constructor and Description
antlrDotLoader()

Method Summary

Modifier and Type	Method and Description
static <VertexType,EdgeType> boolean	createFromDot(GraphLibrary<VertexType,EdgeType> targetGraph, java.io.File dotFile, Progress progress)

Methods inherited from class java.lang.Object

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

Constructor Detail

antlrDotLoader

public antlrDotLoader()

Method Detail

createFromDot

public static <VertexType,EdgeType> boolean createFromDot(GraphLibrary<VertexType,EdgeType> targetGraph,
                                                          java.io.File dotFile,
                                                          Progress progress)
                                                   throws org.antlr.v4.runtime.misc.ParseCancellationException,
                                                          org.antlr.v4.runtime.RecognitionException,
                                                          java.io.IOException

Throws:

org.antlr.v4.runtime.misc.ParseCancellationException

org.antlr.v4.runtime.RecognitionException

java.io.IOException