Package net.automatalib.serialization.dot

Class DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>

java.lang.Object

net.automatalib.serialization.dot.DOTMutableAutomatonParser<S,I,SP,TP,A>

Type Parameters:

S - automaton state type

I - input symbol type

SP - state property type

TP - transition property type

A - automaton type

All Implemented Interfaces:

DOTInputModelDeserializer<S,I,A>, InputModelDeserializer<I,A>, ModelDeserializer<InputModelData<I,A>>

public class DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>
extends Object
implements DOTInputModelDeserializer<S,I,A>

General-purpose DOT parser for MutableAutomatons.

Constructor Summary

Constructors

Constructor	Description
DOTMutableAutomatonParser(AutomatonCreator<A,I> creator, Function<Map<String,String>,SP> nodeParser, Function<Map<String,String>,Pair<I,TP>> edgeParser, Collection<String> initialNodeIds, boolean fakeInitialNodeIds)	Parser for arbitrary MutableAutomatons with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.

Method Summary

Modifier and Type	Method	Description
DOTInputModelData<S,I,A>	readModel(InputStream is)

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.dot.DOTInputModelDeserializer

readModel, readModel, readModel

Constructor Detail

DOTMutableAutomatonParser

public DOTMutableAutomatonParser(AutomatonCreator<A,I> creator,
                                 Function<Map<String,String>,SP> nodeParser,
                                 Function<Map<String,String>,Pair<I,TP>> edgeParser,
                                 Collection<String> initialNodeIds,
                                 boolean fakeInitialNodeIds)

Parser for arbitrary MutableAutomatons with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.

Parameters:

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

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

edgeParser - an edge parser that extracts from a property map of an edge the input symbol and transition property

initialNodeIds - the ids of the initial nodes

fakeInitialNodeIds - a flag indicating whether the initialNodeIds are artificial or not. If true, the nodes matching the initialNodeIds will not be added to the automaton. Instead, their direct successors will be initial states instead. This may be useful for instances where there are artificial nodes used to display in incoming arrow for the actual initial states. If false, the nodes matching the initialNodeIds will be used as initial nodes.

Method Detail

readModel

public DOTInputModelData<S,I,A> readModel(InputStream is)
                                               throws IOException

Specified by:

readModel in interface DOTInputModelDeserializer<S,I,SP>

Specified by:

readModel in interface ModelDeserializer<S>

Throws:

IOException