Module io.hotmoka.verification

Package io.hotmoka.verification.issues

Class Error

java.lang.Object

io.hotmoka.verification.issues.Issue

io.hotmoka.verification.issues.Error

All Implemented Interfaces:

Comparable<Issue>

Direct Known Subclasses:

CallerNotOnThisError, CallerOutsideFromContractError, 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, PayableNotInContractError, PayableWithoutAmountError, PayableWithoutFromContractError, PayableWithRedPayableError, RedPayableNotInContractError, RedPayableWithoutAmountError, RedPayableWithoutFromContractError, SelfChargedNotAllowedError, ThrowsExceptionsOnNonPublicError, UncheckedExceptionHandlerError

public abstract class Error
extends Issue

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

Field Summary

Fields inherited from class io.hotmoka.verification.issues.Issue

message, where

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Error(String where, String message)
protected	Error(String where, String methodName, int line, String message)
protected	Error(String where, String fieldName, String message)

Method Summary

Methods inherited from class io.hotmoka.verification.issues.Issue

compareTo, equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Error

protected Error(String where,
                String message)

Error

protected Error(String where,
                String fieldName,
                String message)

Error

protected Error(String where,
                String methodName,
                int line,
                String message)