All Classes
-
All Classes Interface Summary Class Summary Exception Summary Error Summary 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.CallerNotOnThisError CallerOutsideFromContractError 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.Error A blocking issue: if an error occurs during the processing of a Takamaka jar file, then its instrumentation cannot proceed and will be aborted.FromContractNotInStorageError IllegalAccessToNonWhiteListedFieldError IllegalBootstrapMethodError IllegalCallToFromContractError IllegalCallToFromContractOnThisError IllegalCallToNonWhiteListedConstructorError IllegalCallToNonWhiteListedMethodError IllegalCallToPayableConstructorOnThis IllegalCallToRedPayableConstructorOnThis IllegalFieldNameError IllegalFinalizerError IllegalFromContractArgumentError IllegalJsrInstructionError IllegalMethodNameError IllegalModificationOfAmountInConstructorChaining IllegalNativeMethodError IllegalPackageNameError IllegalPutstaticInstructionError IllegalRetInstructionError IllegalStaticInitializationError IllegalSynchronizationError IllegalTypeForStorageFieldError IllegalUpdateOfLocal0Error IncompleteClasspathError An error thrown if the classpath specified for a transaction misses some class of the Takamaka runtime or some dependency.InconsistentFromContractError InconsistentPayableError InconsistentRedPayableError InconsistentSelfChargedError InconsistentThrowsExceptionsError Issue An issue generated during the verification of the class files of a Takamaka program.PayableNotInContractError PayableWithoutAmountError PayableWithoutFromContractError PayableWithRedPayableError Pushers A utility objects that allows one to determine the pushers of stack values on the stack.RedPayableNotInContractError RedPayableWithoutAmountError RedPayableWithoutFromContractError Resolver An utility that implements resolving algorithms for field and methods.SelfChargedNotAllowedError TakamakaClassLoader A class loader used to access the definition of the classes of a Takamaka program.ThrowIncompleteClasspathError Utilities for throwing anIncompleteClasspathErrorinstead of aClassNotFoundException.ThrowIncompleteClasspathError.Computation<T> ThrowIncompleteClasspathError.Task ThrowsExceptionsOnNonPublicError UncheckedExceptionHandlerError UnsupportedVerificationVersionError An exception thrown when the verification version of the node is not supported by the verification module of the node.VerificationException VerifiedClass A class that passed the static Takamaka verification tests.VerifiedJar A jar that has undergone static verification, before being installed into blockchain.Warning A non-blocking issue: if a warning occurs during the processing of a Takamaka jar file, then its instrumentation does proceed and will not be aborted.