public abstract static class PlayException.ExceptionSource extends PlayException
PlayException.ExceptionAttachment, PlayException.ExceptionSource, PlayException.InterestingLines, PlayException.RichDescriptioncause, description, id, title| Constructor and Description |
|---|
ExceptionSource(java.lang.String title,
java.lang.String description) |
ExceptionSource(java.lang.String title,
java.lang.String description,
java.lang.Throwable cause) |
| Modifier and Type | Method and Description |
|---|---|
abstract java.lang.String |
input() |
PlayException.InterestingLines |
interestingLines(int border)
Extracts interesting lines to be displayed to the user.
|
abstract java.lang.Integer |
line()
Error line number, if defined.
|
abstract java.lang.Integer |
position()
Column position, if defined.
|
abstract java.lang.String |
sourceName()
The source file name if defined.
|
java.lang.String |
toString() |
public ExceptionSource(java.lang.String title,
java.lang.String description,
java.lang.Throwable cause)
public ExceptionSource(java.lang.String title,
java.lang.String description)
public abstract java.lang.Integer line()
public abstract java.lang.Integer position()
public abstract java.lang.String input()
public abstract java.lang.String sourceName()
public PlayException.InterestingLines interestingLines(int border)
border - number of lines to use as a borderpublic java.lang.String toString()
toString in class UsefulException