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 theVisualizationHelperinterface 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 voidwritePostamble(Appendable a)Called after the node and edge data are written, but before the closing brace.voidwritePreamble(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- theAppendableto write to- Throws:
IOException- if writing toathrows.
-
writePostamble
void writePostamble(Appendable a) throws IOException
Called after the node and edge data are written, but before the closing brace.- Parameters:
a- theAppendableto write to- Throws:
IOException- if writing toathrows.
-
-