public class AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> extends DefaultVisualizationHelper<S,TransitionEdge<I,T>>
VisualizationHelper.CommonAttrs, VisualizationHelper.CommonStyles, VisualizationHelper.EdgeAttrs, VisualizationHelper.EdgeStyles, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles
Constructor and Description |
---|
AutomatonVisualizationHelper(A automaton) |
Modifier and Type | Method and Description |
---|---|
boolean |
getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties)
Retrieves the properties for rendering a single edge.
|
protected Collection<S> |
initialNodes() |
getNodeProperties
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getGlobalEdgeProperties, getGlobalNodeProperties
public AutomatonVisualizationHelper(A automaton)
protected Collection<S> initialNodes()
initialNodes
in class DefaultVisualizationHelper<S,TransitionEdge<I,T>>
public boolean getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
VisualizationHelper
false
is returned, the edge will not be rendered. Consequently,
any modifications to the properties map will have no effect.
The properties are stored in the 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 VisualizationHelper<S,TransitionEdge<I,T>>
getEdgeProperties
in class DefaultVisualizationHelper<S,TransitionEdge<I,T>>
edge
- the edge to be renderedproperties
- the property mapCopyright © 2020. All rights reserved.