VerificationException (io-hotmoka-verification 1.0.3 API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - java.lang.RuntimeException
    - - io.hotmoka.verification.VerificationException

All Implemented Interfaces:

Serializable
```
public class VerificationException
extends RuntimeException
```
See Also:

Serialized Form

- Constructor Summary
  
  Constructors
  Constructor Description
  
  VerificationException()
  
  VerificationException(Error error)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Error getError()
  Yields the verification error that caused the exception.
  - Methods inherited from class java.lang.Throwable
    addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - VerificationException
```
public VerificationException()
```
  - VerificationException
```
public VerificationException(Error error)
```
- Method Detail
  - getError
```
public Error getError()
```
    Yields the verification error that caused the exception.
    
    Returns:
    
    the error