| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
filename |
| Constructor and Description |
|---|
FileLocation(java.lang.String filename,
int line) |
| Modifier and Type | Method and Description |
|---|---|
int |
compareTo(Location o) |
boolean |
equals(java.lang.Object o) |
java.lang.String |
getName()
Returns the name of the location, e.g., the signature of a CodeLocation, or the filename of a FileLocation
|
int |
hashCode() |
java.lang.String |
toString() |
public java.lang.String getName()
Locationpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic int compareTo(Location o)