Package net.automatalib.serialization.dot

Class GraphDOT

java.lang.Object

net.automatalib.serialization.dot.GraphDOT

public final class GraphDOT
extends Object

Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.

Method Summary

Modifier and Type	Method	Description
static String	initialLabel(int n)
static String	initialLabel(String idPrefix, int n)
static <N,E> DOTVisualizationHelper<N,E>	toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers)
static <N,E> DOTVisualizationHelper<N,E>	toDOTVisualizationHelper(VisualizationHelper<N,E> helper)
static void	write(List<Graph<?,?>> graphs, Appendable a)	Renders a list of Graphs as clusters (subgraphs) in the GraphVIZ DOT format.
static <S,I,T> void	write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a)	Renders an Automaton in the GraphVIZ DOT format.
static <S,I,T> void	write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers)	Renders an Automaton in the GraphVIZ DOT format.
static <S,I,T> void	write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)	Renders an Automaton in the GraphVIZ DOT format.
static void	write(GraphViewable gv, Appendable a)
static <N,E> void	write(Graph<N,E> graph, Appendable a)	Renders a Graph in the GraphVIZ DOT format.
static <N,E> void	write(Graph<N,E> graph, Appendable a, List<VisualizationHelper<N,? super E>> additionalHelpers)	Renders a Graph in the GraphVIZ DOT format.
static <N,E> void	write(Graph<N,E> graph, Appendable a, VisualizationHelper<N,? super E>... additionalHelpers)	Renders a Graph in the GraphVIZ DOT format.

Methods inherited from class java.lang.Object

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

Method Detail

write

public static void write(GraphViewable gv,
                         Appendable a)
                  throws IOException

Throws:

IOException

write

public static <S,I,T> void write(Automaton<S,I,T> automaton,
                                             Collection<? extends I> inputAlphabet,
                                             Appendable a)
                                      throws IOException

Renders an Automaton in the GraphVIZ DOT format.

Parameters:

automaton - the automaton to render.

inputAlphabet - the input alphabet to consider

a - the appendable to write to

Throws:

IOException - if writing to a fails

write

@SafeVarargs
public static <S,I,T> void write(Automaton<S,I,T> automaton,
                                             Collection<? extends I> inputAlphabet,
                                             Appendable a,
                                             VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
                                      throws IOException

Renders an Automaton in the GraphVIZ DOT format.

Parameters:

automaton - the automaton to render.

inputAlphabet - the input alphabet to consider

a - the appendable to write to

additionalHelpers - additional helpers for providing visualization properties.

Throws:

IOException - if writing to a fails

write

public static <S,I,T> void write(Automaton<S,I,T> automaton,
                                             Collection<? extends I> inputAlphabet,
                                             Appendable a,
                                             List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers)
                                      throws IOException

Renders an Automaton in the GraphVIZ DOT format.

Parameters:

automaton - the automaton to render.

inputAlphabet - the input alphabet to consider

a - the appendable to write to

additionalHelpers - additional helpers for providing visualization properties.

Throws:

IOException - if writing to a fails

write

public static <N,E> void write(Graph<N,E> graph,
                                     Appendable a)
                              throws IOException

Renders a Graph in the GraphVIZ DOT format.

Parameters:

graph - the graph to render

a - the appendable to write to.

Throws:

IOException - if writing to a fails.

write

@SafeVarargs
public static <N,E> void write(Graph<N,E> graph,
                                     Appendable a,
                                     VisualizationHelper<N,? super E>... additionalHelpers)
                              throws IOException

Renders a Graph in the GraphVIZ DOT format.

Parameters:

graph - the graph to render

a - the appendable to write to.

additionalHelpers - additional helpers for providing visualization properties.

Throws:

IOException - if writing to a fails.

write

public static <N,E> void write(Graph<N,E> graph,
                                     Appendable a,
                                     List<VisualizationHelper<N,? super E>> additionalHelpers)
                              throws IOException

Renders a Graph in the GraphVIZ DOT format.

Parameters:

graph - the graph to render

a - the appendable to write to.

additionalHelpers - additional helpers for providing visualization properties.

Throws:

IOException - if writing to a fails.

write

public static void write(List<Graph<?,?>> graphs,
                         Appendable a)
                  throws IOException

Renders a list of Graphs as clusters (subgraphs) in the GraphVIZ DOT format. Note that any markup information for each cluster must be provided by the respective graph's visualization helper.

Parameters:

graphs - the graphs to render

a - the appendable to write to.

Throws:

IOException - if writing to a fails.

initialLabel

public static String initialLabel(int n)

initialLabel

public static String initialLabel(String idPrefix,
                                  int n)

toDOTVisualizationHelper

public static <N,E> DOTVisualizationHelper<N,E> toDOTVisualizationHelper(VisualizationHelper<N,E> helper)

toDOTVisualizationHelper

public static <N,E> DOTVisualizationHelper<N,E> toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers)