Module io.hotmoka.verification

Package io.hotmoka.verification

Interface Summary

Interface	Description
Annotations	A utility to check the annotations of the methods in a given jar.
BcelToClass	A utility that transforms a BCEL type into its corresponding class tag.
Bootstraps	An object that provides utility methods about the lambda bootstraps contained in a class.
Pushers	A utility objects that allows one to determine the pushers of stack values on the stack.
Resolver	An utility that implements resolving algorithms for field and methods.
TakamakaClassLoader	A class loader used to access the definition of the classes of a Takamaka program.
ThrowIncompleteClasspathError.Computation<T>
ThrowIncompleteClasspathError.Task
VerifiedClass	A class that passed the static Takamaka verification tests.
VerifiedJar	A jar that has undergone static verification, before being installed into blockchain.

Class Summary

Class	Description
Dummy	This class is used only in the instrumentation of an entry method or constructor, as an extra type added at the end of its signature: m(formals) becomes m(formals, Contract, Dummy), where the io.takamaka.code.lang.Contract is the caller of the entry.
ThrowIncompleteClasspathError	Utilities for throwing an IncompleteClasspathError instead of a ClassNotFoundException.

Exception Summary

Exception	Description
VerificationException

Error Summary

Error	Description
IncompleteClasspathError	An error thrown if the classpath specified for a transaction misses some class of the Takamaka runtime or some dependency.
UnsupportedVerificationVersionError	An exception thrown when the verification version of the node is not supported by the verification module of the node.