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)becomesm(formals, Contract, Dummy), where theio.takamaka.code.lang.Contractis the caller of the entry.ThrowIncompleteClasspathError Utilities for throwing anIncompleteClasspathErrorinstead of aClassNotFoundException. -
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.