Package net.automatalib.incremental.mealy

Class VisualizationHelper<S,I,T,O>

java.lang.Object

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

net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,TransitionOutputAutomaton<S,I,T,O>>

net.automatalib.automaton.visualization.MealyVisualizationHelper<S,I,T,O>

net.automatalib.incremental.mealy.VisualizationHelper<S,I,T,O>

Type Parameters:

S - state type

I - input symbol type

T - transition type

O - output symbol type

All Implemented Interfaces:

VisualizationHelper<S,TransitionEdge<I,T>>

public class VisualizationHelper<S,I,T,O>
extends MealyVisualizationHelper<S,I,T,O>

A utility class for rendering IncrementalMealyBuilders.

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
VisualizationHelper(MealyMachine<S,I,T,O> mealy)

Method Summary

Modifier and Type	Method	Description
boolean	getNodeProperties(S node, Map<String,String> properties)	Retrieves the properties for rendering a single node.

Methods inherited from class net.automatalib.automaton.visualization.MealyVisualizationHelper

getEdgeProperties

Methods inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

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

VisualizationHelper

public VisualizationHelper(MealyMachine<S,I,T,O> mealy)

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. If false 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 call super.getNodeProperties(node, properties); at the beginning of the method.

Specified by:

getNodeProperties in interface VisualizationHelper<S,I>

Overrides:

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

Parameters:

node - the node to be rendered

properties - the property map

Returns:

whether this node should be rendered