public class DefaultDOTHelperAutomaton<S,I,T,A extends Automaton<S,I,T>> extends DefaultDOTHelper<S,TransitionEdge<I,T>>
GraphDOTHelper.CommonAttrs, GraphDOTHelper.CommonStyles, GraphDOTHelper.EdgeAttrs, GraphDOTHelper.NodeAttrs, GraphDOTHelper.NodeShapes, GraphDOTHelper.NodeStyles
Modifier and Type | Field and Description |
---|---|
protected A |
automaton |
START_PREFIX
Constructor and Description |
---|
DefaultDOTHelperAutomaton(A automaton) |
Modifier and Type | Method and Description |
---|---|
boolean |
getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties)
Retrieves the GraphVIZ properties for rendering a single edge.
|
protected Collection<? extends S> |
initialNodes() |
getNodeProperties, writePostamble, writePreamble
getGlobalEdgeProperties, getGlobalNodeProperties
public DefaultDOTHelperAutomaton(A automaton)
protected Collection<? extends S> initialNodes()
initialNodes
in class DefaultDOTHelper<S,TransitionEdge<I,T>>
public boolean getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
GraphDOTHelper
Map
argument. Note that if an implementation
of a base class is overridden, it is probably a good idea to call
super.getEdgeProperties(node, properties); at the beginning of
the method.getEdgeProperties
in interface GraphDOTHelper<S,TransitionEdge<I,T>>
getEdgeProperties
in class DefaultDOTHelper<S,TransitionEdge<I,T>>
edge
- the edge to be renderedproperties
- the property mapCopyright © 2015. All rights reserved.