|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.jgrapht.graph.DefaultEdge
easik.sketch.edge.SketchEdge
public class SketchEdge
This is a class to represent an arrow between two nodes. It is a directed edge and has a boolean option to be injective. Every arrow has a unique identifier which is referred to by constraints when stored in XML.
| Field Summary | |
|---|---|
private boolean |
_isOneToOne
Stores whether this edge is injective |
private EntityNode |
_sourceObj
The entity node that acts as this edge's source |
private EntityNode |
_targetObj
The entity node that acts as this edge's target |
private java.lang.String |
_uniqueName
Stores the name of this edge |
| Constructor Summary | |
|---|---|
SketchEdge(EntityNode a,
EntityNode b,
java.lang.String unique,
boolean oneone)
Creates a new arrow and gives it a name indicative of its source and target. |
|
| Method Summary | |
|---|---|
java.lang.Object |
clone()
|
boolean |
getInjective()
Accessor for the injective quality |
java.lang.String |
getName()
Accessor for the unique ID |
java.lang.Object |
getSourceObj()
Getter method for the source of this sketch edge |
java.lang.Object |
getTargetObj()
Getter method for the target of this sketch edge |
void |
setName(java.lang.String inName)
Sets the name of this edge. |
java.lang.String |
toString()
toString method returns the common name. |
| Methods inherited from class java.lang.Object |
|---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
private boolean _isOneToOne
private java.lang.String _uniqueName
private EntityNode _sourceObj
private EntityNode _targetObj
| Constructor Detail |
|---|
public SketchEdge(EntityNode a,
EntityNode b,
java.lang.String unique,
boolean oneone)
a - The sourceb - The targetunique - The unique identifieroneone - Is it injective| Method Detail |
|---|
public java.lang.Object getSourceObj()
public java.lang.Object getTargetObj()
public java.lang.String toString()
toString in class org.jgrapht.graph.DefaultEdgepublic java.lang.String getName()
public void setName(java.lang.String inName)
inName - The unique name of the edge.public boolean getInjective()
public java.lang.Object clone()
clone in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||