net.automatalib.serialization.dot

Interface DOTVisualizationHelper<N,E>

Type Parameters:

N - node type

E - edge type

All Superinterfaces:

VisualizationHelper<N,E>

All Known Implementing Classes:

AggregateDOTVisualizationHelper, DefaultDOTVisualizationHelper

public interface DOTVisualizationHelper<N,E>
extends VisualizationHelper<N,E>

Extension to the VisualizationHelper interface for DOT specific methods.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.visualization.VisualizationHelper

VisualizationHelper.CommonAttrs, VisualizationHelper.CommonStyles, VisualizationHelper.EdgeAttrs, VisualizationHelper.EdgeStyles, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles

Method Summary

Modifier and Type	Method and Description
void	writePostamble(Appendable a) Called after the node and edge data are written, but before the closing brace.
void	writePreamble(Appendable a) Called before the node and edge data are written, but after the opening "digraph {" statement.

Methods inherited from interface net.automatalib.visualization.VisualizationHelper

getEdgeProperties, getGlobalEdgeProperties, getGlobalNodeProperties, getNodeProperties

Method Detail

writePreamble

void writePreamble(Appendable a)
            throws IOException

Called before the node and edge data are written, but after the opening "digraph {" statement.

Parameters:

a - the Appendable to write to

Throws:

IOException - if writing to a throws.

writePostamble

void writePostamble(Appendable a)
             throws IOException

Called after the node and edge data are written, but before the closing brace.

Parameters:

a - the Appendable to write to

Throws:

IOException - if writing to a throws.