Module io.hotmoka.verification

Package io.hotmoka.verification

Class IncompleteClasspathError

java.lang.Object

java.lang.Throwable

java.lang.Error

io.hotmoka.verification.IncompleteClasspathError

All Implemented Interfaces:

Serializable

public class IncompleteClasspathError
extends Error

An error thrown if the classpath specified for a transaction misses some class of the Takamaka runtime or some dependency.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
IncompleteClasspathError(ClassNotFoundException e)

Method Summary

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

IncompleteClasspathError

public IncompleteClasspathError(ClassNotFoundException e)