Class AggregateVisualizationHelper<N,E>
- java.lang.Object
-
- net.automatalib.visualization.helper.AggregateVisualizationHelper<N,E>
-
- All Implemented Interfaces:
VisualizationHelper<N,E>
- Direct Known Subclasses:
AggregateDOTVisualizationHelper
public class AggregateVisualizationHelper<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.MTSEdgeAttrs, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles
-
-
Constructor Summary
Constructors Constructor Description AggregateVisualizationHelper(List<? extends VisualizationHelper<N,? super E>> helpers)
AggregateVisualizationHelper(VisualizationHelper<N,? super E> rootVisualizer, List<? extends VisualizationHelper<N,? super E>> helpers)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Constructor Detail
-
AggregateVisualizationHelper
public AggregateVisualizationHelper(VisualizationHelper<N,? super E> rootVisualizer, List<? extends VisualizationHelper<N,? super E>> helpers)
-
AggregateVisualizationHelper
public AggregateVisualizationHelper(List<? extends VisualizationHelper<N,? super E>> helpers)
-
-
Method Detail
-
getGlobalNodeProperties
public void getGlobalNodeProperties(Map<String,String> properties)
- Specified by:
getGlobalNodeProperties
in interfaceVisualizationHelper<N,E>
-
getGlobalEdgeProperties
public void getGlobalEdgeProperties(Map<String,String> properties)
- Specified by:
getGlobalEdgeProperties
in interfaceVisualizationHelper<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 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<N,E>
- Parameters:
node
- the node to be renderedproperties
- the property map- Returns:
- whether 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 to omit this edge from rendering. Iffalse
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 callsuper.getEdgeProperties(node, properties);
at the beginning of the method.- Specified by:
getEdgeProperties
in interfaceVisualizationHelper<N,E>
edge
- the edge to be renderedproperties
- the property map- Returns:
- whether this edge should be rendered
-
-