Interface DOTVisualizationHelper<N,E>
-
- Type Parameters:
N
- node typeE
- edge type
- All Superinterfaces:
VisualizationHelper<N,E>
- All Known Implementing Classes:
AggregateDOTVisualizationHelper
,DefaultDOTVisualizationHelper
public interface DOTVisualizationHelper<N,E> extends VisualizationHelper<N,E>
Extension to theVisualizationHelper
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.MTSEdgeAttrs, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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 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
- theAppendable
to write to- Throws:
IOException
- if writing toa
throws.
-
writePostamble
void writePostamble(Appendable a) throws IOException
Called after the node and edge data are written, but before the closing brace.- Parameters:
a
- theAppendable
to write to- Throws:
IOException
- if writing toa
throws.
-
-