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()
FromSourceLocationgetSourceLocation in interface FromSourceLocationpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Object