net.automatalib.serialization.dot

Class DefaultDOTVisualizationHelper<N,E>

java.lang.Object

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

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

All Implemented Interfaces:

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

public class DefaultDOTVisualizationHelper<N,E>
extends DefaultVisualizationHelper<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.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles

Constructor Summary

Constructors

Constructor and Description
DefaultDOTVisualizationHelper()
DefaultDOTVisualizationHelper(VisualizationHelper<N,? super E> delegate)

Method Summary

Modifier and Type	Method and Description
boolean	getEdgeProperties(N src, E edge, N tgt, Map<String,String> properties)
void	getGlobalEdgeProperties(Map<String,String> properties)
void	getGlobalNodeProperties(Map<String,String> properties)
boolean	getNodeProperties(N node, Map<String,String> properties)
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.DefaultVisualizationHelper

initialNodes

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultDOTVisualizationHelper

public DefaultDOTVisualizationHelper()

DefaultDOTVisualizationHelper

public DefaultDOTVisualizationHelper(VisualizationHelper<N,? super E> delegate)

Method Detail

getGlobalNodeProperties

public void getGlobalNodeProperties(Map<String,String> properties)

Specified by:

getGlobalNodeProperties in interface VisualizationHelper<N,E>

getGlobalEdgeProperties

public void getGlobalEdgeProperties(Map<String,String> properties)

Specified by:

getGlobalEdgeProperties in interface VisualizationHelper<N,E>

getNodeProperties

public boolean getNodeProperties(N node,
                                 Map<String,String> properties)

Specified by:

getNodeProperties in interface VisualizationHelper<N,E>

Overrides:

getNodeProperties in class DefaultVisualizationHelper<N,E>

getEdgeProperties

public boolean getEdgeProperties(N src,
                                 E edge,
                                 N tgt,
                                 Map<String,String> properties)

Specified by:

getEdgeProperties in interface VisualizationHelper<N,E>

Overrides:

getEdgeProperties in class DefaultVisualizationHelper<N,E>

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.