3import java.util.HashSet;
15 protected HashSet<GraphvizDecorable>
marked_nodes =
new HashSet<GraphvizDecorable>();
16 protected HashSet<GraphvizDecorable>
marked_edges =
new HashSet<GraphvizDecorable>();
Interface for simple decorator with preset properties.
Example for a simple decorator.
HashSet< GraphvizDecorable > marked_nodes
void highlightEdge(GraphvizDecorable object)
Set highlighted edge.
void unmarkAllNodes()
unmark all nodes
String getNodeDecoration(GraphvizDecorable object)
get node decoration
GraphvizDecorable hilit_edge
void markEdge(GraphvizDecorable object)
void unmarkAllEdges()
unmark all edges
void unmarkEdge(GraphvizDecorable object)
unmark edge object
GraphvizDecorable hilit_node
String getEdgeDecoration(GraphvizDecorable object)
get node decoration
HashSet< GraphvizDecorable > marked_edges
void markNode(GraphvizDecorable object)
void unmarkNode(GraphvizDecorable object)
unmark node object
void highlightNode(GraphvizDecorable object)
Set highlighted node.
Interface for decorating items of Graphvizable objects.