public abstract class AbstractGraphReader
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.Map<java.lang.String,java.lang.Class<? extends AbstractGraphReader>> |
extension_readerClass |
Constructor and Description |
---|
AbstractGraphReader() |
Modifier and Type | Method and Description |
---|---|
static AbstractGraphReader |
findReader(java.lang.String extension) |
protected static int |
parseNumber(java.lang.String s,
int lineNumber) |
Grph |
readGraph(byte[] bytes) |
abstract Grph |
readGraph(java.io.InputStream is) |
Grph |
readGraph(toools.io.file.RegularFile inFile) |
Grph |
readGraph(java.lang.String text) |
public static java.util.Map<java.lang.String,java.lang.Class<? extends AbstractGraphReader>> extension_readerClass
public abstract Grph readGraph(java.io.InputStream is) throws ParseException, java.io.IOException, GraphBuildException
ParseException
java.io.IOException
GraphBuildException
public final Grph readGraph(toools.io.file.RegularFile inFile) throws java.io.IOException, ParseException, GraphBuildException
java.io.IOException
ParseException
GraphBuildException
public final Grph readGraph(java.lang.String text) throws ParseException, GraphBuildException
ParseException
GraphBuildException
public final Grph readGraph(byte[] bytes) throws ParseException, GraphBuildException
ParseException
GraphBuildException
public static AbstractGraphReader findReader(java.lang.String extension)
protected static int parseNumber(java.lang.String s, int lineNumber) throws ParseException
ParseException