net.automatalib.visualization.helper

Class PrettyVisualizationHelper<N,E>

java.lang.Object

net.automatalib.visualization.helper.PrettyVisualizationHelper<N,E>

All Implemented Interfaces:

VisualizationHelper<N,E>

public class PrettyVisualizationHelper<N,E>
extends Object
implements VisualizationHelper<N,E>

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

Constructor Summary

Constructors

Constructor and Description
PrettyVisualizationHelper()

Method Summary

Modifier and Type	Method and Description
boolean	getEdgeProperties(N src, E edge, N tgt, Map<String,String> properties) Retrieves the properties for rendering a single edge.
void	getGlobalEdgeProperties(Map<String,String> properties)
void	getGlobalNodeProperties(Map<String,String> properties)
boolean	getNodeProperties(N node, Map<String,String> properties) Retrieves the properties for rendering a single node.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrettyVisualizationHelper

public PrettyVisualizationHelper()

Method Detail

getGlobalNodeProperties

public void getGlobalNodeProperties(Map<String,String> properties)

Specified by:

getGlobalNodeProperties in interface VisualizationHelper<N,E>

getGlobalEdgeProperties

public void getGlobalEdgeProperties(Map<String,String> properties)

Specified by:

getGlobalEdgeProperties in interface VisualizationHelper<N,E>

getNodeProperties

public boolean getNodeProperties(N 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 or not 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<N,E>

Parameters:

node - the node to be rendered

properties - the property map

Returns:

whether or not this node should be rendered

getEdgeProperties

public boolean getEdgeProperties(N src,
                                 E edge,
                                 N 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<N,E>

edge - the edge to be rendered

properties - the property map

Returns:

whether or not this edge should be rendered