Class NodeVisualizationHelper

    • Field Detail

      • resultTree

        protected final WitnessTree<?,​?> resultTree
    • Constructor Detail

      • NodeVisualizationHelper

        public NodeVisualizationHelper​(WitnessTree<?,​?> resultTree)
    • 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>>
        edge - the edge to be rendered
        properties - the property map
        Returns:
        whether this edge should be rendered