public class MealyVisualizationHelper<S,I,T,O> extends AutomatonVisualizationHelper<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
VisualizationHelper.CommonAttrs, VisualizationHelper.CommonStyles, VisualizationHelper.EdgeAttrs, VisualizationHelper.EdgeStyles, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles
automaton
Constructor and Description |
---|
MealyVisualizationHelper(TransitionOutputAutomaton<S,I,T,O> 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.
|
initialNodes
getNodeProperties
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getGlobalEdgeProperties, getGlobalNodeProperties
public MealyVisualizationHelper(TransitionOutputAutomaton<S,I,T,O> automaton)
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 AutomatonVisualizationHelper<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
edge
- the edge to be renderedproperties
- the property mapCopyright © 2020. All rights reserved.