net.automatalib.automata.visualization

Class AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>

java.lang.Object

net.automatalib.visualization.DefaultVisualizationHelper<S,TransitionEdge<I,T>>

net.automatalib.automata.visualization.AutomatonVisualizationHelper<S,I,T,A>

All Implemented Interfaces:

VisualizationHelper<S,TransitionEdge<I,T>>

Direct Known Subclasses:

FSAVisualizationHelper, MealyVisualizationHelper

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.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles

Field Summary

Fields

Modifier and Type	Field and Description
protected A	automaton

Constructor Summary

Constructors

Constructor and Description
AutomatonVisualizationHelper(A automaton)

Method Summary

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()

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

Field Detail

automaton

protected final A extends Automaton<S,I,T> automaton

Constructor Detail

AutomatonVisualizationHelper

public AutomatonVisualizationHelper(A automaton)

Method Detail

initialNodes

protected Collection<S> initialNodes()

Overrides:

initialNodes in class DefaultVisualizationHelper<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 or not to omit this edge from rendering. If 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.

Specified by:

getEdgeProperties in interface VisualizationHelper<S,TransitionEdge<I,T>>

Overrides:

getEdgeProperties in class DefaultVisualizationHelper<S,TransitionEdge<I,T>>

edge - the edge to be rendered

properties - the property map

Returns:

whether or not this edge should be rendered