easik.sketch.edge
Class GuideEdge

java.lang.Object
  extended by org.jgrapht.graph.DefaultEdge
      extended by easik.sketch.edge.GuideEdge
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable

public class GuideEdge
extends org.jgrapht.graph.DefaultEdge

The GuideEdge is a directed edge which is used only as a visual aid to the graph drawer. It is rendered differently than the traditional edge, and allows constraints to show which entities it applies to. Technically it should point to arrows, not nodes, but that might be a bit tricky.

Version:
2006-07-06 Kevin Green
Author:
Rob Fletcher 2005, Kevin Green 2006
See Also:
Serialized Form

Field Summary
private  boolean _isHighlighted
          Stores whether this edge is highlighted
 
Constructor Summary
GuideEdge(boolean isHighlighted)
          Creates an edge between the two objects
 
Method Summary
 java.lang.Object clone()
           
 boolean IsHighlighted()
          Gets whether the guide edge is highlighted or not
 void setHighlighted(boolean isHighlighted)
          Sets the edge as highlighted or not
 
Methods inherited from class org.jgrapht.graph.DefaultEdge
toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_isHighlighted

private boolean _isHighlighted
Stores whether this edge is highlighted

Constructor Detail

GuideEdge

public GuideEdge(boolean isHighlighted)
Creates an edge between the two objects

Parameters:
isHighlighted - True if the edge is highlighted, false otherwise
Method Detail

IsHighlighted

public boolean IsHighlighted()
Gets whether the guide edge is highlighted or not

Returns:
true if the edge is highlighted, false otherwise

setHighlighted

public void setHighlighted(boolean isHighlighted)
Sets the edge as highlighted or not

Parameters:
isHighlighted - true if the edge is highlighted, false if not.

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object