Module io.hotmoka.verification

Package io.hotmoka.verification.issues

Class Summary

Class	Description
CallerNotOnThisError
CallerOutsideFromContractError
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
InconsistentFromContractError
InconsistentPayableError
InconsistentRedPayableError
InconsistentSelfChargedError
InconsistentThrowsExceptionsError
Issue	An issue generated during the verification of the class files of a Takamaka program.
PayableNotInContractError
PayableWithoutAmountError
PayableWithoutFromContractError
PayableWithRedPayableError
RedPayableNotInContractError
RedPayableWithoutAmountError
RedPayableWithoutFromContractError
SelfChargedNotAllowedError
ThrowsExceptionsOnNonPublicError
UncheckedExceptionHandlerError
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.