Uses of Package
io.hotmoka.verification

Packages that use io.hotmoka.verification

Package	Description
io.hotmoka.verification

Classes in io.hotmoka.verification used by io.hotmoka.verification

Class	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.
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.
Pushers	A utility objects that allows one to determine the pushers of stack values on the stack.
TakamakaClassLoader	A class loader used to access the definition of the classes of a Takamaka program.
ThrowIncompleteClasspathError.Computation
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.