net.automatalib.serialization.dot

Class DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>

java.lang.Object

net.automatalib.serialization.dot.DOTGraphParser<NP,EP,G>

Type Parameters:

NP - the node property type

EP - the edge property type

G - the graph type

All Implemented Interfaces:

ModelDeserializer<G>

public class DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>
extends Object
implements ModelDeserializer<G>

General-purpose DOT parser for MutableGraphs.

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
DOTGraphParser(Supplier<G> creator, Function<Map<String,Object>,NP> nodeParser, Function<Map<String,Object>,EP> edgeParser) Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.

Method Summary

Modifier and Type	Method and Description
G	readModel(InputStream is) Reads the contents from the given input stream and de-serializes it into a model instance.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Constructor Detail

DOTGraphParser

public DOTGraphParser(Supplier<G> creator,
                      Function<Map<String,Object>,NP> nodeParser,
                      Function<Map<String,Object>,EP> edgeParser)

Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.

Parameters:

creator - a creator that is used to instantiate the returned graph

nodeParser - a node parser that extracts from a property map of a node the node property

edgeParser - an edge parser that extracts from a property map of an edge the edge property

Method Detail

readModel

public G readModel(InputStream is)

Description copied from interface: ModelDeserializer

Reads the contents from the given input stream and de-serializes it into a model instance.

Specified by:

readModel in interface ModelDeserializer<G extends MutableGraph<?,?,NP,EP>>

Parameters:

is - the input stream to read data from

Returns:

the de-serialized model