net.automatalib.util.graphs.dot

Class GraphDOT

java.lang.Object

net.automatalib.util.graphs.dot.GraphDOT

public abstract class GraphDOT
extends Object

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

This class does not take care of actually processing the generated DOT data. For this, please take a look at the automata-commons-dotutil artifact.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
GraphDOT()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,I,T> void	write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, GraphDOTHelper<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, GraphDOTHelper<S,? super TransitionEdge<I,T>> helper, Collection<? extends I> inputAlphabet, Appendable a, GraphDOTHelper<S,? super TransitionEdge<I,T>>... additionalHelpers) Renders an Automaton in the GraphVIZ DOT format.
static <S,I,T> void	write(DOTPlottableAutomaton<S,I,T> automaton, Appendable a, GraphDOTHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <N,E> void	write(DOTPlottableGraph<N,E> graph, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers) Renders a DOTPlottableGraph in the GraphVIZ DOT format.
static <N,E> void	write(Graph<N,E> graph, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers) Renders a Graph in the GraphVIZ DOT format.
static <N,E> void	write(Graph<N,E> graph, Appendable a, List<GraphDOTHelper<N,? super E>> helpers)
static <N,E> void	write(Graph<N,E> graph, GraphDOTHelper<N,? super E> dotHelper, Appendable a) Renders a Graph in the GraphVIZ DOT format.
static <N,E> void	write(Graph<N,E> graph, GraphDOTHelper<N,? super E> helper, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers)
static <N,E> void	writeToFile(Graph<N,E> graph, GraphDOTHelper<N,E> dotHelper, File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphDOT

public GraphDOT()

Method Detail

write

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

Renders a DOTPlottableGraph 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 <S,I,T> void write(Automaton<S,I,T> automaton,
                             GraphDOTHelper<S,? super TransitionEdge<I,T>> helper,
                             Collection<? extends I> inputAlphabet,
                             Appendable a,
                             GraphDOTHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
                  throws IOException

Renders an Automaton in the GraphVIZ DOT format.

Parameters:

automaton - the automaton to render.

helper - the helper to use for rendering

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,
                             GraphDOTHelper<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

Throws:

IOException - if writing to a fails

write

@SafeVarargs
public static <S,I,T> void write(DOTPlottableAutomaton<S,I,T> automaton,
                             Appendable a,
                             GraphDOTHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
                  throws IOException

Throws:

IOException

write

@SafeVarargs
public static <N,E> void write(Graph<N,E> graph,
                           Appendable a,
                           GraphDOTHelper<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

Throws:

IOException - if writing to a fails

write

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

Throws:

IOException

write

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

Throws:

IOException

write

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

Renders a Graph in the GraphVIZ DOT format.

Parameters:

graph - the graph to render

dotHelper - the helper to use for rendering

a - the appendable to write to

Throws:

IOException - if writing to a fails

writeToFile

public static <N,E> void writeToFile(Graph<N,E> graph,
                     GraphDOTHelper<N,E> dotHelper,
                     File file)
                        throws IOException

Throws:

IOException