public class SourceException extends java.lang.RuntimeException implements FromSourceLocation
SourceLocation.| Constructor and Description |
|---|
SourceException(java.lang.String message,
FromSourceLocation sourceLocation) |
SourceException(java.lang.String message,
FromSourceLocation sourceLocation,
java.lang.Throwable cause) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getMessageWithoutLocation()
Retrieves the message for this exception without the appended source
location.
|
SourceLocation |
getSourceLocation()
Gets the source location of a value.
|
public SourceException(java.lang.String message,
FromSourceLocation sourceLocation,
java.lang.Throwable cause)
public SourceException(java.lang.String message,
FromSourceLocation sourceLocation)
public SourceLocation getSourceLocation()
FromSourceLocationgetSourceLocation in interface FromSourceLocationpublic java.lang.String getMessageWithoutLocation()