public final class SourceLocation extends java.lang.Object implements FromSourceLocation
Modifier and Type | Field and Description |
---|---|
static SourceLocation |
NONE |
Constructor and Description |
---|
SourceLocation(java.lang.String filename) |
SourceLocation(java.lang.String filename,
int line,
int column) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
int |
getColumn() |
java.lang.String |
getFilename() |
int |
getLine() |
SourceLocation |
getSourceLocation()
Gets the source location of a value.
|
int |
hashCode() |
static SourceLocation |
none()
Creates an empty source location.
|
java.lang.String |
toString() |
public static final SourceLocation NONE
public SourceLocation(java.lang.String filename, int line, int column)
public SourceLocation(java.lang.String filename)
public static SourceLocation none()
public java.lang.String getFilename()
public int getLine()
public int getColumn()
public SourceLocation getSourceLocation()
FromSourceLocation
getSourceLocation
in interface FromSourceLocation
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object