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.