A B C D E F G H I L M O P R S T U V W
All Classes All Packages

A

Annotations - Interface in io.hotmoka.verification

A utility to check the annotations of the methods in a given jar.

B

BcelToClass - Interface in io.hotmoka.verification

A utility that transforms a BCEL type into its corresponding class tag.

Bootstraps - Interface in io.hotmoka.verification

An object that provides utility methods about the lambda bootstraps contained in a class.

C

CallerNotOnThisError - Class in io.hotmoka.verification.issues

CallerNotOnThisError(String, String, int) - Constructor for class io.hotmoka.verification.issues.CallerNotOnThisError

CallerOutsideFromContractError - Class in io.hotmoka.verification.issues

CallerOutsideFromContractError(String, String, int) - Constructor for class io.hotmoka.verification.issues.CallerOutsideFromContractError

classes() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the stream of the classes of the jar that passed verification.

compareTo(Issue) - Method in class io.hotmoka.verification.issues.Issue

D

Dummy - Class in io.hotmoka.verification

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.

E

equals(Object) - Method in class io.hotmoka.verification.issues.Issue

Error - Class in io.hotmoka.verification.issues

A blocking issue: if an error occurs during the processing of a Takamaka jar file, then its instrumentation cannot proceed and will be aborted.

Error(String, String) - Constructor for class io.hotmoka.verification.issues.Error

Error(String, String, int, String) - Constructor for class io.hotmoka.verification.issues.Error

Error(String, String, String) - Constructor for class io.hotmoka.verification.issues.Error

F

FORBIDDEN_PREFIX - Static variable in interface io.hotmoka.verification.VerifiedClass

This prefix is forbidden in the name of fields and methods of a Takamaka class, since it will be used for instrumentation.

FromContractNotInStorageError - Class in io.hotmoka.verification.issues

FromContractNotInStorageError(String, String) - Constructor for class io.hotmoka.verification.issues.FromContractNotInStorageError

G

getAccount() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the account interface.

getAccountED25519() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the interface for accounts that use the ed25519 algorithm for signing transactions.

getAccountQTESLA1() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the interface for accounts that use the qtesla-p-I algorithm for signing transactions.

getAccountQTESLA3() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the interface for accounts that use the qtesla-p-III algorithm for signing transactions.

getAccountSHA256DSA() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the interface for accounts that use the sha256dsa algorithm for signing transactions.

getAnnotations() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the utility object that can be used to check the annotations in the methods in this jar.

getBcelToClass() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the utility object that can be used to transform BCEL types into their corresponding Java class tag, by using the class loader of this jar.

getBootstrapFor(INVOKEDYNAMIC) - Method in interface io.hotmoka.verification.Bootstraps

Yields the bootstrap method associated with the given instruction.

getBootstraps() - Method in interface io.hotmoka.verification.Bootstraps

Yields the bootstrap methods in this class.

getBootstraps() - Method in interface io.hotmoka.verification.VerifiedClass

Yields a deep copy of the utility object that knows about the bootstraps of this class.

getBootstrapsLeadingToEntries() - Method in interface io.hotmoka.verification.Bootstraps

Yields the subset of the bootstrap methods of this class that lead to an entry, possibly indirectly.

getClassLoader() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the class loader used to load this jar.

getClassName() - Method in interface io.hotmoka.verification.VerifiedClass

Yields the fully-qualified name of this class.

getContract() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the contract class.

getError() - Method in exception io.hotmoka.verification.VerificationException

Yields the verification error that caused the exception.

getExternallyOwnedAccount() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the externally owned account class.

getFirstError() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the first error (hence not a warning) that occurred during the verification of the origin jar.

getFromContractArgument(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines the argument of the @@FromContract annotation of the given constructor or method, if any.

getGamete() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of gamete class.

getJar() - Method in interface io.hotmoka.verification.VerifiedClass

Yields the jar this class belongs to.

getPushers() - Method in interface io.hotmoka.verification.VerifiedClass

Yields the utility that allows one to compute the pushers of values on the stack for the code in this class.

getPushers(InstructionHandle, int, InstructionList, ConstantPoolGen) - Method in interface io.hotmoka.verification.Pushers

Yields the closest instructions that push on the stack the element whose stack height is equal to the height of the stack at ih minus slots.

getStorage() - Method in interface io.hotmoka.verification.TakamakaClassLoader

Yields the class token of the storage class.

getTargetOf(BootstrapMethod) - Method in interface io.hotmoka.verification.Bootstraps

Yields the target method or constructor called by the given bootstrap.

H

hasErrors() - Method in interface io.hotmoka.verification.VerifiedJar

Determines if the verification of at least one class of the jar failed with an error.

hashCode() - Method in class io.hotmoka.verification.issues.Issue

I

IllegalAccessToNonWhiteListedFieldError - Class in io.hotmoka.verification.issues

IllegalAccessToNonWhiteListedFieldError(String, String, int, String, String) - Constructor for class io.hotmoka.verification.issues.IllegalAccessToNonWhiteListedFieldError

IllegalBootstrapMethodError - Class in io.hotmoka.verification.issues

IllegalBootstrapMethodError(String) - Constructor for class io.hotmoka.verification.issues.IllegalBootstrapMethodError

IllegalCallToFromContractError - Class in io.hotmoka.verification.issues

IllegalCallToFromContractError(String, String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalCallToFromContractError

IllegalCallToFromContractOnThisError - Class in io.hotmoka.verification.issues

IllegalCallToFromContractOnThisError(String, String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalCallToFromContractOnThisError

IllegalCallToNonWhiteListedConstructorError - Class in io.hotmoka.verification.issues

IllegalCallToNonWhiteListedConstructorError(String, String, int, String) - Constructor for class io.hotmoka.verification.issues.IllegalCallToNonWhiteListedConstructorError

IllegalCallToNonWhiteListedMethodError - Class in io.hotmoka.verification.issues

IllegalCallToNonWhiteListedMethodError(String, String, int, String, String) - Constructor for class io.hotmoka.verification.issues.IllegalCallToNonWhiteListedMethodError

IllegalCallToPayableConstructorOnThis - Class in io.hotmoka.verification.issues

IllegalCallToPayableConstructorOnThis(String, String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalCallToPayableConstructorOnThis

IllegalCallToRedPayableConstructorOnThis - Class in io.hotmoka.verification.issues

IllegalCallToRedPayableConstructorOnThis(String, String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalCallToRedPayableConstructorOnThis

IllegalFieldNameError - Class in io.hotmoka.verification.issues

IllegalFieldNameError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalFieldNameError

IllegalFinalizerError - Class in io.hotmoka.verification.issues

IllegalFinalizerError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalFinalizerError

IllegalFromContractArgumentError - Class in io.hotmoka.verification.issues

IllegalFromContractArgumentError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalFromContractArgumentError

IllegalJsrInstructionError - Class in io.hotmoka.verification.issues

IllegalJsrInstructionError(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalJsrInstructionError

IllegalMethodNameError - Class in io.hotmoka.verification.issues

IllegalMethodNameError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalMethodNameError

IllegalModificationOfAmountInConstructorChaining - Class in io.hotmoka.verification.issues

IllegalModificationOfAmountInConstructorChaining(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalModificationOfAmountInConstructorChaining

IllegalNativeMethodError - Class in io.hotmoka.verification.issues

IllegalNativeMethodError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalNativeMethodError

IllegalPackageNameError - Class in io.hotmoka.verification.issues

IllegalPackageNameError(String) - Constructor for class io.hotmoka.verification.issues.IllegalPackageNameError

IllegalPutstaticInstructionError - Class in io.hotmoka.verification.issues

IllegalPutstaticInstructionError(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalPutstaticInstructionError

IllegalRetInstructionError - Class in io.hotmoka.verification.issues

IllegalRetInstructionError(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalRetInstructionError

IllegalStaticInitializationError - Class in io.hotmoka.verification.issues

IllegalStaticInitializationError(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalStaticInitializationError

IllegalSynchronizationError - Class in io.hotmoka.verification.issues

IllegalSynchronizationError(String, String) - Constructor for class io.hotmoka.verification.issues.IllegalSynchronizationError

IllegalSynchronizationError(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalSynchronizationError

IllegalTypeForStorageFieldError - Class in io.hotmoka.verification.issues

IllegalTypeForStorageFieldError(String, String, boolean) - Constructor for class io.hotmoka.verification.issues.IllegalTypeForStorageFieldError

IllegalUpdateOfLocal0Error - Class in io.hotmoka.verification.issues

IllegalUpdateOfLocal0Error(String, String, int) - Constructor for class io.hotmoka.verification.issues.IllegalUpdateOfLocal0Error

IncompleteClasspathError - Error in io.hotmoka.verification

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

IncompleteClasspathError(ClassNotFoundException) - Constructor for error io.hotmoka.verification.IncompleteClasspathError

InconsistentFromContractError - Class in io.hotmoka.verification.issues

InconsistentFromContractError(String, String, String) - Constructor for class io.hotmoka.verification.issues.InconsistentFromContractError

InconsistentPayableError - Class in io.hotmoka.verification.issues

InconsistentPayableError(String, String, String) - Constructor for class io.hotmoka.verification.issues.InconsistentPayableError

InconsistentRedPayableError - Class in io.hotmoka.verification.issues

InconsistentRedPayableError(String, String, String) - Constructor for class io.hotmoka.verification.issues.InconsistentRedPayableError

InconsistentSelfChargedError - Class in io.hotmoka.verification.issues

InconsistentSelfChargedError(String, String) - Constructor for class io.hotmoka.verification.issues.InconsistentSelfChargedError

InconsistentThrowsExceptionsError - Class in io.hotmoka.verification.issues

InconsistentThrowsExceptionsError(String, String, String) - Constructor for class io.hotmoka.verification.issues.InconsistentThrowsExceptionsError

insteadOfClassNotFoundException(ThrowIncompleteClasspathError.Computation<T>) - Static method in class io.hotmoka.verification.ThrowIncompleteClasspathError

insteadOfClassNotFoundException(ThrowIncompleteClasspathError.Task) - Static method in class io.hotmoka.verification.ThrowIncompleteClasspathError

io.hotmoka.verification - module io.hotmoka.verification

io.hotmoka.verification - package io.hotmoka.verification

io.hotmoka.verification.issues - package io.hotmoka.verification.issues

isa(String, String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is an instance of another class.

isConsensusUpdateEvent(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is an instance of the consensus update event class.

isContract(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is an instance of the contract class.

isEagerlyLoaded(Class<?>) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Determines if a field of a storage class, having the given field, is eagerly loaded.

isExported(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is annotated as @@Exported.

isFromContract(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines if the given constructor or method is annotated as @@FromContract.

isGasPriceUpdateEvent(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is an instance of the gas price update event class.

isInterface(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is actually an interface.

isLazilyLoaded(Class<?>) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Determines if a field of a storage class, having the given field, is lazily loaded.

isPartOfFromContract(MethodGen) - Method in interface io.hotmoka.verification.Bootstraps

Determines if the given lambda method is a part of an @@Entry method, that the compiler moved into a synthetic method implementing the code of a lambda expression.

isPayable(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines if the given constructor or method is annotated as payable.

isRedPayable(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines if the given constructor or method is annotated as red payable.

isSelfCharged(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines if the given constructor or method is annotated as self charged.

isStorage(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Determines if a class is an instance of the storage class.

Issue - Class in io.hotmoka.verification.issues

An issue generated during the verification of the class files of a Takamaka program.

Issue(String, String) - Constructor for class io.hotmoka.verification.issues.Issue

Creates an issue at the given class.

Issue(String, String, int, String) - Constructor for class io.hotmoka.verification.issues.Issue

Creates an issue at the given program line.

Issue(String, String, String) - Constructor for class io.hotmoka.verification.issues.Issue

Creates an issue at the given program field.

issues() - Method in interface io.hotmoka.verification.VerifiedJar

Yields the issues generated during the verification of the classes of the jar.

isThrowsExceptions(String, String, Type[], Type) - Method in interface io.hotmoka.verification.Annotations

Determines if the given constructor or method is annotated as @@ThrowsExceptions.

isValidatorsUpdateEvent(String) - Method in interface io.hotmoka.verification.TakamakaClassLoader

Checks if a class is an instance of the validators update event class.

L

lambdaIsEntry(BootstrapMethod) - Method in interface io.hotmoka.verification.Bootstraps

Determines if the given bootstrap method is a method reference to an entry.

lambdaIsRedPayable(BootstrapMethod) - Method in interface io.hotmoka.verification.Bootstraps

Determines if the given bootstrap method is a method reference to a red payable method or constructor.

M

message - Variable in class io.hotmoka.verification.issues.Issue

METHOD_ON_THIS - Static variable in class io.hotmoka.verification.Dummy

This value is passed to a from contract method to signal that it has been called on this in the caller.

O

of(byte[], TakamakaClassLoader, boolean, boolean, boolean) - Static method in interface io.hotmoka.verification.VerifiedJar

Creates a verified jar from the given file.

of(Stream<byte[]>, int) - Static method in interface io.hotmoka.verification.TakamakaClassLoader

Builds a class loader with the given jars, given as byte arrays.

of(Type) - Method in interface io.hotmoka.verification.BcelToClass

Computes the Java class tag for the given BCEL type.

of(Type[]) - Method in interface io.hotmoka.verification.BcelToClass

Computes the Java class tags for the given BCEL types.

P

PayableNotInContractError - Class in io.hotmoka.verification.issues

PayableNotInContractError(String, String) - Constructor for class io.hotmoka.verification.issues.PayableNotInContractError

PayableWithoutAmountError - Class in io.hotmoka.verification.issues

PayableWithoutAmountError(String, String) - Constructor for class io.hotmoka.verification.issues.PayableWithoutAmountError

PayableWithoutFromContractError - Class in io.hotmoka.verification.issues

PayableWithoutFromContractError(String, String) - Constructor for class io.hotmoka.verification.issues.PayableWithoutFromContractError

PayableWithRedPayableError - Class in io.hotmoka.verification.issues

PayableWithRedPayableError(String, String) - Constructor for class io.hotmoka.verification.issues.PayableWithRedPayableError

Pushers - Interface in io.hotmoka.verification

A utility objects that allows one to determine the pushers of stack values on the stack.

R

RedPayableNotInContractError - Class in io.hotmoka.verification.issues

RedPayableNotInContractError(String, String) - Constructor for class io.hotmoka.verification.issues.RedPayableNotInContractError

RedPayableWithoutAmountError - Class in io.hotmoka.verification.issues

RedPayableWithoutAmountError(String, String) - Constructor for class io.hotmoka.verification.issues.RedPayableWithoutAmountError

RedPayableWithoutFromContractError - Class in io.hotmoka.verification.issues

RedPayableWithoutFromContractError(String, String) - Constructor for class io.hotmoka.verification.issues.RedPayableWithoutFromContractError

resolvedExecutableFor(InvokeInstruction) - Method in interface io.hotmoka.verification.Resolver

Yields the method or constructor signature that would be accessed by the given instruction.

resolvedFieldFor(FieldInstruction) - Method in interface io.hotmoka.verification.Resolver

Yields the field signature that would be accessed by the given instruction.

Resolver - Interface in io.hotmoka.verification

An utility that implements resolving algorithms for field and methods.

run() - Method in interface io.hotmoka.verification.ThrowIncompleteClasspathError.Computation

run() - Method in interface io.hotmoka.verification.ThrowIncompleteClasspathError.Task

S

SelfChargedNotAllowedError - Class in io.hotmoka.verification.issues

SelfChargedNotAllowedError(String, String) - Constructor for class io.hotmoka.verification.issues.SelfChargedNotAllowedError

T

TakamakaClassLoader - Interface in io.hotmoka.verification

A class loader used to access the definition of the classes of a Takamaka program.

ThrowIncompleteClasspathError - Class in io.hotmoka.verification

Utilities for throwing an IncompleteClasspathError instead of a ClassNotFoundException.

ThrowIncompleteClasspathError() - Constructor for class io.hotmoka.verification.ThrowIncompleteClasspathError

ThrowIncompleteClasspathError.Computation<T> - Interface in io.hotmoka.verification

ThrowIncompleteClasspathError.Task - Interface in io.hotmoka.verification

ThrowsExceptionsOnNonPublicError - Class in io.hotmoka.verification.issues

ThrowsExceptionsOnNonPublicError(String, String) - Constructor for class io.hotmoka.verification.issues.ThrowsExceptionsOnNonPublicError

toJavaClass() - Method in interface io.hotmoka.verification.VerifiedClass

Builds a Java class from this object.

toString() - Method in class io.hotmoka.verification.issues.Issue

U

UncheckedExceptionHandlerError - Class in io.hotmoka.verification.issues

UncheckedExceptionHandlerError(String, String, int, String) - Constructor for class io.hotmoka.verification.issues.UncheckedExceptionHandlerError

UnsupportedVerificationVersionError - Error in io.hotmoka.verification

An exception thrown when the verification version of the node is not supported by the verification module of the node.

UnsupportedVerificationVersionError(int) - Constructor for error io.hotmoka.verification.UnsupportedVerificationVersionError

V

VerificationException - Exception in io.hotmoka.verification

VerificationException() - Constructor for exception io.hotmoka.verification.VerificationException

VerificationException(Error) - Constructor for exception io.hotmoka.verification.VerificationException

verificationVerification - Variable in error io.hotmoka.verification.UnsupportedVerificationVersionError

VerifiedClass - Interface in io.hotmoka.verification

A class that passed the static Takamaka verification tests.

VerifiedJar - Interface in io.hotmoka.verification

A jar that has undergone static verification, before being installed into blockchain.

W

Warning - Class in io.hotmoka.verification.issues

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.

Warning(String, String) - Constructor for class io.hotmoka.verification.issues.Warning

Warning(String, String, int, String) - Constructor for class io.hotmoka.verification.issues.Warning

Warning(String, String, String) - Constructor for class io.hotmoka.verification.issues.Warning

where - Variable in class io.hotmoka.verification.issues.Issue

whiteListingModelOf(FieldInstruction) - Method in interface io.hotmoka.verification.VerifiedClass

Yields the white-listing model for the field accessed by the given instruction.

whiteListingModelOf(InvokeInstruction) - Method in interface io.hotmoka.verification.VerifiedClass

Yields the white-listing model for the method called by the given instruction.

A B C D E F G H I L M O P R S T U V W
All Classes All Packages