Class AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>
- java.lang.Object
-
- net.automatalib.visualization.DefaultVisualizationHelper<S,TransitionEdge<I,T>>
-
- net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,A>
-
- All Implemented Interfaces:
VisualizationHelper<S,TransitionEdge<I,T>>
- Direct Known Subclasses:
AbstractVisualizationHelper
,FSAVisualizationHelper
,MealyVisualizationHelper
,MooreVisualizationHelper
,MTSVisualizationHelper
,SSTVisualizationHelper
public class AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> extends DefaultVisualizationHelper<S,TransitionEdge<I,T>>
-
-
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
-
-
Constructor Summary
Constructors Constructor Description AutomatonVisualizationHelper(A automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
Methods inherited from class net.automatalib.visualization.DefaultVisualizationHelper
getNodeProperties
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.visualization.VisualizationHelper
getGlobalEdgeProperties, getGlobalNodeProperties
-
-
-
-
Constructor Detail
-
AutomatonVisualizationHelper
public AutomatonVisualizationHelper(A automaton)
-
-
Method Detail
-
initialNodes
protected Collection<S> initialNodes()
- Overrides:
initialNodes
in classDefaultVisualizationHelper<S,TransitionEdge<I,T>>
-
getEdgeProperties
public boolean getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
Description copied from interface:VisualizationHelper
Retrieves the properties for rendering a single edge. Additionally, the return value allows to control whether to omit this edge from rendering. Iffalse
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 callsuper.getEdgeProperties(node, properties);
at the beginning of the method.- Specified by:
getEdgeProperties
in interfaceVisualizationHelper<S,I>
- Overrides:
getEdgeProperties
in classDefaultVisualizationHelper<S,TransitionEdge<I,T>>
edge
- the edge to be renderedproperties
- the property map- Returns:
- whether this edge should be rendered
-
-