Package net.automatalib.incremental.dfa
Class AbstractVisualizationHelper<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>
-
- net.automatalib.incremental.dfa.AbstractVisualizationHelper<S,I,T,A>
-
- Type Parameters:
S
- state typeI
- input symbol typeT
- transition typeA
- automaton tyep
- All Implemented Interfaces:
VisualizationHelper<S,TransitionEdge<I,T>>
public abstract class AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> extends AutomatonVisualizationHelper<S,I,T,A>
Abstract visualization helper forIncrementalDFABuilder
s.
-
-
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
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
automaton
-
-
Constructor Summary
Constructors Constructor Description AbstractVisualizationHelper(A automaton)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract Acceptance
getAcceptance(S s)
boolean
getNodeProperties(S node, Map<String,String> properties)
Retrieves the properties for rendering a single node.-
Methods inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
getEdgeProperties, initialNodes
-
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
-
AbstractVisualizationHelper
public AbstractVisualizationHelper(A automaton)
-
-
Method Detail
-
getNodeProperties
public boolean getNodeProperties(S node, Map<String,String> properties)
Description copied from interface:VisualizationHelper
Retrieves the properties for rendering a single node. Additionally, the return value allows to control whether to omit this node from rendering. Iffalse
is returned, the node 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.getNodeProperties(node, properties);
at the beginning of the method.- Specified by:
getNodeProperties
in interfaceVisualizationHelper<S,I>
- Overrides:
getNodeProperties
in classDefaultVisualizationHelper<S,TransitionEdge<I,T>>
- Parameters:
node
- the node to be renderedproperties
- the property map- Returns:
- whether this node should be rendered
-
getAcceptance
protected abstract Acceptance getAcceptance(S s)
-
-