public class SourceLocation extends java.lang.Object implements DeepImmutable, java.io.Serializable
Modifier and Type | Class and Description |
---|---|
static class |
SourceLocation.Comparator |
static class |
SourceLocation.CustomStaticLocationMaker
As
SourceLocation.StaticLocationMaker , but with a custom name. |
static class |
SourceLocation.DynamicLocationMaker
Creates SourceLocations that are created dynamically, through `eval` and related functions.
|
static class |
SourceLocation.Kind |
static class |
SourceLocation.SourceLocationMaker
Abstract factory for creating SourceLocations
|
static class |
SourceLocation.StaticLocationMaker
Creates SourceLocations that exist in static source files.
|
static class |
SourceLocation.SyntheticLocationMaker
Creates SourceLocations for synthetic locations.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
getColumnNumber()
Returns the source column number.
|
int |
getEndColumnNumber() |
int |
getEndLineNumber() |
SourceLocation.Kind |
getKind() |
int |
getLineNumber()
Returns the source line number.
|
SourceLocation |
getLoaderLocation() |
java.net.URL |
getLocation() |
int |
hashCode() |
java.lang.String |
toString()
Returns a string description of the source location.
|
java.lang.String |
toUserFriendlyString(boolean showPosition)
User friendly representation of this source location.
|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int getColumnNumber()
public int getEndColumnNumber()
public int getEndLineNumber()
public SourceLocation.Kind getKind()
public int getLineNumber()
public SourceLocation getLoaderLocation()
public java.net.URL getLocation()
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toUserFriendlyString(boolean showPosition)
showPosition
- true if the position inside the source file should be included in the output.Copyright © 2009-2019 Aarhus University