public class SourceRef
extends java.lang.Object
Constructor and Description |
---|
SourceRef(java.lang.String spec) |
SourceRef(java.lang.String f,
int l) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
boolean |
equals(java.lang.String filePos) |
boolean |
equals(java.lang.String f,
int l) |
java.lang.String |
getFileName() |
java.lang.String |
getLineString() |
java.lang.String |
getLocationString() |
int |
hashCode() |
void |
set(SourceRef sr) |
java.lang.String |
toString() |
public SourceRef(java.lang.String f, int l)
public SourceRef(java.lang.String spec)
public java.lang.String getLocationString()
public java.lang.String getLineString()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equals(java.lang.String f, int l)
public boolean equals(java.lang.String filePos)
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String getFileName()
public void set(SourceRef sr)
public java.lang.String toString()
toString
in class java.lang.Object