This member is added by an implicit conversion from CheckerException to
any2stringadd[CheckerException] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from CheckerException to
StringFormat[CheckerException] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
defgetCause(): java.lang.Throwable
Definition Classes
Throwable
final defgetClass(): Class[_]
Definition Classes
AnyRef → Any
defgetLocalizedMessage(): String
Definition Classes
Throwable
defgetMessage(): String
Definition Classes
Throwable
defgetStackTrace(): Array[StackTraceElement]
Definition Classes
Throwable
final defgetSuppressed(): Array[java.lang.Throwable]