public interface Message
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
@NotNull Tree[] |
getCriticalPoints()
Return the critical points trees that caused the error represented by this
message.
|
@NotNull java.lang.String |
getErrorKind()
Return the kind of the error of this message.
|
@Nullable java.lang.Throwable |
getException()
Return the exception caused this message.
|
@NotNull java.lang.String |
getMessagePhrase()
Return the message phrase.
|
@NotNull java.lang.String |
getPriority()
Return the priority of this message.
|
@NotNull Tree[] |
getStackTrace()
Return the trace of the error.
|
boolean |
isFetal()
Return
true if this message represent a fetal (unrecoverable) error. |
@NotNull @Contract(value="->new", pure=true) @NotNull Tree[] getCriticalPoints()
@NotNull @Contract(pure=true) @NotNull java.lang.String getErrorKind()
@Nullable @Contract(pure=true) @Nullable java.lang.Throwable getException()
null
if none.@NotNull @Contract(pure=true) @NotNull java.lang.String getMessagePhrase()
@NotNull @Contract(pure=true) @NotNull java.lang.String getPriority()
@NotNull @Contract(value="->new", pure=true) @NotNull Tree[] getStackTrace()
@Contract(pure=true) boolean isFetal()
true
if this message represent a fetal (unrecoverable) error.