
public final class VerificationFailureType.ExceptionFailure
extends VerificationFailureType

Fields
Modifier and Type	Field	Description
`private final String`	`description`
`private final Throwable`	`e`

Constructors
Constructor	Description
`VerificationFailureType.ExceptionFailure(String description, Throwable e)`

Modifier and Type	Method	Description
`final String`	`getDescription()`
`final Throwable`	`getE()`
`String`	`description()`
`String`	`formatForDisplay(TermColors t)`
`Boolean`	`hasException()`
`Throwable`	`getException()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

VerificationFailureType.ExceptionFailure(String description, Throwable e)

Class VerificationFailureType.ExceptionFailure