|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Object | +--dk.brics.jwig.analysis.summarygraph.TemplateEdge
Edge (associated with template plugs).
| Constructor Summary | |
TemplateEdge(Node to,
String gap,
Collection origins)
Constructs template edge. |
|
TemplateEdge(Node to,
String gap,
Object origin)
Constructs template edge. |
|
| Method Summary | |
Object |
clone()
Clones this edge. |
boolean |
equals(Object obj)
Compares this edge with another. |
Node |
getDestination()
Returns edge destination node. |
String |
getGap()
Returns gap name. |
Collection |
getOrigins()
Returns collection of origin objects. |
int |
hashCode()
Computes a hashcode for this object. |
| Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public TemplateEdge(Node to,
String gap,
Collection origins)
to - destination nodegap - gap nameorigins - objects describing the edge
public TemplateEdge(Node to,
String gap,
Object origin)
to - destination nodegap - gap nameorigin - object describing the edge| Method Detail |
public Object clone()
clone in class Objectpublic boolean equals(Object obj)
equals in class Objectpublic Node getDestination()
public String getGap()
public Collection getOrigins()
public int hashCode()
hashCode in class Object
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||