|
|||||||
| 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 Objectpublic Element getElement()
Location.
public Node getNode()
Location.
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||