|
|||||||
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 edgepublic TemplateEdge(Node to, String gap, Object origin)
to
- destination nodegap
- gap nameorigin
- object describing the edgeMethod Detail |
public Object clone()
clone
in class Object
public boolean equals(Object obj)
equals
in class Object
public 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 |