Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.visualization

Class HTMLVisualizationHelper

java.lang.Object

net.automatalib.visualization.DefaultVisualizationHelper<Integer,CompactEdge<String>>

net.automatalib.modelchecker.m3c.visualization.HTMLVisualizationHelper

All Implemented Interfaces:

VisualizationHelper<Integer,CompactEdge<String>>

public class HTMLVisualizationHelper
extends DefaultVisualizationHelper<Integer,CompactEdge<String>>

A VisualizationHelper for WitnessTrees that renders the node labels as an HTML-based table. Note that the syntax is specific to a DOT-based visualization.

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

Modifier and Type	Field	Description
protected WitnessTree<?,?>	resultTree

Constructor Summary

Constructors

Constructor	Description
HTMLVisualizationHelper(WitnessTree<?,?> resultTree)
HTMLVisualizationHelper(WitnessTree<?,?> resultTree, boolean shortDisplay)

Method Summary

Modifier and Type	Method	Description
boolean	getEdgeProperties(Integer src, CompactEdge<String> edge, Integer tgt, Map<String,String> properties)	Retrieves the properties for rendering a single edge.
boolean	getNodeProperties(Integer node, Map<String,String> properties)	Retrieves the properties for rendering a single node.

Methods inherited from class net.automatalib.visualization.DefaultVisualizationHelper

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

Field Detail

resultTree

protected final WitnessTree<?,?> resultTree

Constructor Detail

HTMLVisualizationHelper

public HTMLVisualizationHelper(WitnessTree<?,?> resultTree)

HTMLVisualizationHelper

public HTMLVisualizationHelper(WitnessTree<?,?> resultTree,
                               boolean shortDisplay)

Method Detail

getNodeProperties

public boolean getNodeProperties(Integer 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<Integer,CompactEdge<String>>

Parameters:

node - the node to be rendered

properties - the property map

Returns:

whether this node should be rendered

getEdgeProperties

public boolean getEdgeProperties(Integer src,
                                 CompactEdge<String> edge,
                                 Integer 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. 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<Integer,CompactEdge<String>>

Overrides:

getEdgeProperties in class DefaultVisualizationHelper<Integer,CompactEdge<String>>

Parameters:

src - the source node of the edge

edge - the edge to be rendered

tgt - the target node of the edge

properties - the property map

Returns:

whether this edge should be rendered