Module net.automatalib.serialization.dot

Package net.automatalib.serialization.dot

Class AggregateDOTVisualizationHelper<N,E>

java.lang.Object

net.automatalib.visualization.AggregateVisualizationHelper<N,E>

net.automatalib.serialization.dot.AggregateDOTVisualizationHelper<N,E>

All Implemented Interfaces:

DOTVisualizationHelper<N,E>, VisualizationHelper<N,E>

public class AggregateDOTVisualizationHelper<N,E>
extends AggregateVisualizationHelper<N,E>
implements DOTVisualizationHelper<N,E>

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N,? super E>> visualizationHelpers)

Method Summary

Modifier and Type	Method	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 class net.automatalib.visualization.AggregateVisualizationHelper

getEdgeProperties, getGlobalEdgeProperties, getGlobalNodeProperties, getNodeProperties

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.visualization.VisualizationHelper

getEdgeProperties, getGlobalEdgeProperties, getGlobalNodeProperties, getNodeProperties

Constructor Detail

AggregateDOTVisualizationHelper

public AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N,? super E>> visualizationHelpers)

Method Detail

writePreamble

public void writePreamble(Appendable a)
                   throws IOException

Description copied from interface: DOTVisualizationHelper

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

Specified by:

writePreamble in interface DOTVisualizationHelper<N,E>

Parameters:

a - the Appendable to write to

Throws:

IOException - if writing to a throws.

writePostamble

public void writePostamble(Appendable a)
                    throws IOException

Description copied from interface: DOTVisualizationHelper

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

Specified by:

writePostamble in interface DOTVisualizationHelper<N,E>

Parameters:

a - the Appendable to write to

Throws:

IOException - if writing to a throws.