net.automatalib.serialization.dot

Class DOTParsers

java.lang.Object

net.automatalib.serialization.dot.DOTParsers

public final class DOTParsers
extends Object

An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.

Author:

frohme

Field Summary

Fields

Modifier and Type	Field and Description
static Function<Map<String,Object>,String>	DEFAULT_EDGE_PARSER Edge input parser that parses an edges's "label" attribute and returns its string representation.
static Function<Map<String,Object>,Boolean>	DEFAULT_FSA_NODE_PARSER Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle".
static Function<Map<String,Object>,Pair<String,String>>	DEFAULT_MEALY_EDGE_PARSER Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>.
static Function<Map<String,Object>,String>	DEFAULT_MOORE_NODE_PARSER Node property parser that expects a node's "label" attribute to be of the form <id>/<property>.
static Function<Map<String,Object>,String>	DEFAULT_NODE_PARSER Node property parser that parses a node's "label" attribute and returns its string representation.

Method Summary

Modifier and Type	Method and Description
static InputModelDeserializer<String,CompactDFA<String>>	dfa() Default parser for DFAs serialized by AutomataLib.
static <I> InputModelDeserializer<I,CompactDFA<I>>	dfa(Function<Map<String,Object>,Boolean> nodeParser, Function<Map<String,Object>,I> edgeParser) Parser for DFAs with custom node and edge attributes.
static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A>	fsa(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Boolean> nodeParser, Function<Map<String,Object>,I> edgeParser) Parser for FiniteStateAcceptors with a custom automaton instance and custom node and edge attributes.
static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A>	fsa(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Boolean> nodeParser, Function<Map<String,Object>,I> edgeParser, Collection<String> initialNodeIds) Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A>	fsa(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Boolean> nodeParser, Function<Map<String,Object>,I> edgeParser, Collection<String> initialNodeIds, boolean fakeInitialNodeIds) Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes, custom labels for initial nodes and a flag whether or not the initial nodes are artificial.
static ModelDeserializer<CompactGraph<String,String>>	graph() Default parser for (directed) Graphs serialized by AutomataLib.
static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>>	graph(Function<Map<String,Object>,NP> nodeParser, Function<Map<String,Object>,EP> edgeParser) Parser for (directed) Graphs with custom node and edge attributes.
static <NP,EP,G extends MutableGraph<?,?,NP,EP>> ModelDeserializer<G>	graph(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.
static InputModelDeserializer<String,CompactMealy<String,String>>	mealy() Default parser for MealyMachines serialized by AutomataLib.
static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A>	mealy(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Pair<I,O>> edgeParser) Parser for MealyMachines with a custom automaton instance and custom edge attributes.
static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A>	mealy(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Pair<I,O>> edgeParser, String initialNodeId) Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node.
static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A>	mealy(AutomatonCreator<A,I> creator, Function<Map<String,Object>,Pair<I,O>> edgeParser, String initialNodeId, boolean fakeInitialNodeId) Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node and a flag whether or not the initial nodes are artificial.
static <I,O> InputModelDeserializer<I,CompactMealy<I,O>>	mealy(Function<Map<String,Object>,Pair<I,O>> edgeParser) Parser for MealyMachines with custom edge attributes.
static InputModelDeserializer<String,CompactMoore<String,String>>	moore() Default parser for MooreMachines serialized by AutomataLib.
static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A>	moore(AutomatonCreator<A,I> creator, Function<Map<String,Object>,O> nodeParser, Function<Map<String,Object>,I> edgeParser) Parser for MooreMachines with a custom automaton instance and custom node and edge attributes.
static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A>	moore(AutomatonCreator<A,I> creator, Function<Map<String,Object>,O> nodeParser, Function<Map<String,Object>,I> edgeParser, String initialNodeId) Parser for MooreMachines with a custom automaton instance, custom node and edge attributes and a custom label for the initial node.
static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A>	moore(AutomatonCreator<A,I> creator, Function<Map<String,Object>,O> nodeParser, Function<Map<String,Object>,I> edgeParser, String initialNodeId, boolean fakeInitialNodeId) Parser for MooreMachines with a custom automaton instance, custom node and edge attributes, a custom label for the initial node and a flag whether or not the initial node is artificial.
static <I,O> InputModelDeserializer<I,CompactMoore<I,O>>	moore(Function<Map<String,Object>,O> nodeParser, Function<Map<String,Object>,I> edgeParser) Parser for MooreMachines with custom node and edge attributes.
static InputModelDeserializer<String,CompactNFA<String>>	nfa() Default parser for NFAs serialized by AutomataLib.
static <I> InputModelDeserializer<I,CompactNFA<I>>	nfa(Function<Map<String,Object>,Boolean> nodeParser, Function<Map<String,Object>,I> edgeParser) Parser for NFAs with custom node and edge attributes.

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_NODE_PARSER

public static final Function<Map<String,Object>,String> DEFAULT_NODE_PARSER

Node property parser that parses a node's "label" attribute and returns its string representation. Returns null if the attribute is not specified.

DEFAULT_FSA_NODE_PARSER

public static final Function<Map<String,Object>,Boolean> DEFAULT_FSA_NODE_PARSER

Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle". Returns false otherwise.

DEFAULT_MOORE_NODE_PARSER

public static final Function<Map<String,Object>,String> DEFAULT_MOORE_NODE_PARSER

Node property parser that expects a node's "label" attribute to be of the form <id>/<property>. Returns the string representation of <property> as-is. Returns null if the attribute does not exist or does not match the expected format.

DEFAULT_EDGE_PARSER

public static final Function<Map<String,Object>,String> DEFAULT_EDGE_PARSER

Edge input parser that parses an edges's "label" attribute and returns its string representation. Returns null if the attribute is not specified.

DEFAULT_MEALY_EDGE_PARSER

public static final Function<Map<String,Object>,Pair<String,String>> DEFAULT_MEALY_EDGE_PARSER

Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>. Returns a Pair object containing the string representation of both components as-is. Returns null if the attribute does not exist or does not match the expected format.

Method Detail

dfa

public static InputModelDeserializer<String,CompactDFA<String>> dfa()

Default parser for DFAs serialized by AutomataLib.

Invokes dfa(Function, Function) with DEFAULT_FSA_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOT InputModelDeserializer for CompactDFAs.

dfa

public static <I> InputModelDeserializer<I,CompactDFA<I>> dfa(Function<Map<String,Object>,Boolean> nodeParser,
                                                              Function<Map<String,Object>,I> edgeParser)

Parser for DFAs with custom node and edge attributes.

Invokes fsa(AutomatonCreator, Function, Function) with CompactDFA.Creator as creator.

Type Parameters:

I - the input symbol type

Parameters:

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

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

Returns:

a DOT InputModelDeserializer for CompactDFAs.

nfa

public static InputModelDeserializer<String,CompactNFA<String>> nfa()

Default parser for NFAs serialized by AutomataLib.

Invokes nfa(Function, Function) with DEFAULT_FSA_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOT InputModelDeserializer for CompactNFAs.

nfa

public static <I> InputModelDeserializer<I,CompactNFA<I>> nfa(Function<Map<String,Object>,Boolean> nodeParser,
                                                              Function<Map<String,Object>,I> edgeParser)

Parser for NFAs with custom node and edge attributes.

Invokes fsa(AutomatonCreator, Function, Function) with CompactNFA.Creator as creator.

Type Parameters:

I - the input symbol type

Parameters:

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

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

Returns:

a DOT InputModelDeserializer for CompactNFAs.

fsa

public static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A> fsa(AutomatonCreator<A,I> creator,
                                                                            Function<Map<String,Object>,Boolean> nodeParser,
                                                                            Function<Map<String,Object>,I> edgeParser)

Parser for FiniteStateAcceptors with a custom automaton instance and custom node and edge attributes.

Invokes fsa(AutomatonCreator, Function, Function, Collection) with AutomataLib's default initial state label "__start0" as initialNodeLabels.

Type Parameters:

I - the input symbol type

A - the type of the returned automaton

Parameters:

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

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

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

Returns:

a DOT InputModelDeserializer for As.

fsa

public static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A> fsa(AutomatonCreator<A,I> creator,
                                                                            Function<Map<String,Object>,Boolean> nodeParser,
                                                                            Function<Map<String,Object>,I> edgeParser,
                                                                            Collection<String> initialNodeIds)

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

Invokes fsa(AutomatonCreator, Function, Function, Collection, boolean) with true as fakeInitialNodeLabels.

Type Parameters:

I - the input symbol type

A - the type of the returned automaton

Parameters:

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

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

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

initialNodeIds - the ids of the initial nodes

Returns:

a DOT InputModelDeserializer for As.

fsa

public static <I,A extends MutableFSA<?,I>> InputModelDeserializer<I,A> fsa(AutomatonCreator<A,I> creator,
                                                                            Function<Map<String,Object>,Boolean> nodeParser,
                                                                            Function<Map<String,Object>,I> edgeParser,
                                                                            Collection<String> initialNodeIds,
                                                                            boolean fakeInitialNodeIds)

Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes, custom labels for initial nodes and a flag whether or not the initial nodes are artificial.

Type Parameters:

I - the input symbol type

A - the type of the returned automaton

Parameters:

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

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

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

initialNodeIds - the ids of the initial nodes

fakeInitialNodeIds - a flag indicating whether or not 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.

Returns:

a DOT InputModelDeserializer for As.

mealy

public static InputModelDeserializer<String,CompactMealy<String,String>> mealy()

Default parser for MealyMachines serialized by AutomataLib.

Invokes mealy(Function) with DEFAULT_MEALY_EDGE_PARSER as edgeParser.

Returns:

a DOT InputModelDeserializer for CompactMealys.

mealy

public static <I,O> InputModelDeserializer<I,CompactMealy<I,O>> mealy(Function<Map<String,Object>,Pair<I,O>> edgeParser)

Parser for MealyMachines with custom edge attributes.

Invokes mealy(AutomatonCreator, Function) with CompactMealy.Creator as creator.

Type Parameters:

I - the input symbol type

O - the output symbol type

Parameters:

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

Returns:

a DOT InputModelDeserializer for CompactMealys.

mealy

public static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A> mealy(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,Pair<I,O>> edgeParser)

Parser for MealyMachines with a custom automaton instance and custom edge attributes.

Invokes mealy(AutomatonCreator, Function, String) with AutomataLib's default initial state label "__start0" as initialNodeLabel.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

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

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

Returns:

a DOT InputModelDeserializer for As.

mealy

public static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A> mealy(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,Pair<I,O>> edgeParser,
                                                                                             String initialNodeId)

Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node.

Invokes fsa(AutomatonCreator, Function, Function, Collection, boolean) with true as fakeInitialNodeLabels.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

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

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

initialNodeId - the id of the initial node

Returns:

a DOT InputModelDeserializer for As.

mealy

public static <I,O,A extends MutableMealyMachine<?,I,?,O>> InputModelDeserializer<I,A> mealy(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,Pair<I,O>> edgeParser,
                                                                                             String initialNodeId,
                                                                                             boolean fakeInitialNodeId)

Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node and a flag whether or not the initial nodes are artificial.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

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

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

initialNodeId - the id of the initial node

fakeInitialNodeId - a flag indicating whether or not the initialNodeId are artificial or not. If true, the nodes matching the initialNodeId 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 initialNodeId will be used as initial nodes.

Returns:

a DOT InputModelDeserializer for As.

moore

public static InputModelDeserializer<String,CompactMoore<String,String>> moore()

Default parser for MooreMachines serialized by AutomataLib.

Invokes moore(Function, Function) with DEFAULT_MOORE_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOT InputModelDeserializer for CompactMoores.

moore

public static <I,O> InputModelDeserializer<I,CompactMoore<I,O>> moore(Function<Map<String,Object>,O> nodeParser,
                                                                      Function<Map<String,Object>,I> edgeParser)

Parser for MooreMachines with custom node and edge attributes.

Invokes moore(AutomatonCreator, Function, Function) with CompactMoore.Creator as creator.

Type Parameters:

I - the input symbol type

O - the output symbol type

Parameters:

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

Returns:

a DOT InputModelDeserializer for CompactMoores.

moore

public static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A> moore(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,O> nodeParser,
                                                                                             Function<Map<String,Object>,I> edgeParser)

Parser for MooreMachines with a custom automaton instance and custom node and edge attributes.

Invokes moore(AutomatonCreator, Function, Function, String) with AutomataLib's default initial state label "__start0" as initialNodeLabel.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

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

Returns:

a DOT InputModelDeserializer for As.

moore

public static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A> moore(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,O> nodeParser,
                                                                                             Function<Map<String,Object>,I> edgeParser,
                                                                                             String initialNodeId)

Parser for MooreMachines with a custom automaton instance, custom node and edge attributes and a custom label for the initial node.

Invokes moore(AutomatonCreator, Function, Function, String, boolean) with true as fakeInitialNodeLabel.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

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

initialNodeId - the id of the initial node

Returns:

a DOT InputModelDeserializer for As.

moore

public static <I,O,A extends MutableMooreMachine<?,I,?,O>> InputModelDeserializer<I,A> moore(AutomatonCreator<A,I> creator,
                                                                                             Function<Map<String,Object>,O> nodeParser,
                                                                                             Function<Map<String,Object>,I> edgeParser,
                                                                                             String initialNodeId,
                                                                                             boolean fakeInitialNodeId)

Parser for MooreMachines with a custom automaton instance, custom node and edge attributes, a custom label for the initial node and a flag whether or not the initial node is artificial.

Type Parameters:

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

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

initialNodeId - the id of the initial node

fakeInitialNodeId - a flag indicating whether or not the initialNodeId are artificial or not. If true, the nodes matching the initialNodeId 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 initialNodeId will be used as initial nodes.

Returns:

a DOT InputModelDeserializer for As.

graph

public static ModelDeserializer<CompactGraph<String,String>> graph()

Default parser for (directed) Graphs serialized by AutomataLib.

Invokes graph(Function, Function) with DEFAULT_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOT ModelDeserializer for CompactGraphs.

graph

public static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>> graph(Function<Map<String,Object>,NP> nodeParser,
                                                                   Function<Map<String,Object>,EP> edgeParser)

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

Invokes graph(Supplier, Function, Function) with CompactGraph.CompactGraph() as creator.

Type Parameters:

NP - the node property type

EP - the edge property type

Parameters:

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

Returns:

a DOT ModelDeserializer for CompactGraphs.

graph

public static <NP,EP,G extends MutableGraph<?,?,NP,EP>> ModelDeserializer<G> graph(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.

Type Parameters:

NP - the node property type

EP - the edge property type

G - the graph type

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

Returns:

a DOT ModelDeserializer for Gs.