|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--dk.brics.jwig.analysis.summarygraph.Location
Pair of summary graph node and JDOM element.
Constructor Summary | |
Location(Node n,
Element e)
Constructs new Location . |
Method Summary | |
boolean |
equals(Object o)
Returns true is the given object denotes the same location as this. |
Element |
getElement()
Returns JDOM element of this Location . |
Node |
getNode()
Returns summary graph node of this Location . |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Location(Node n, Element e)
Location
.
Method Detail |
public boolean equals(Object o)
true
is the given object denotes the same location as this.
equals
in class Object
public Element getElement()
Location
.
public Node getNode()
Location
.
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |