Uses of Class
io.hotmoka.verification.issues.Error

Packages that use Error

Package	Description
io.hotmoka.verification
io.hotmoka.verification.issues

Uses of Error in io.hotmoka.verification

Methods in io.hotmoka.verification that return Error

Modifier and Type	Method	Description
Error	VerificationException.getError()	Yields the verification error that caused the exception.

Methods in io.hotmoka.verification that return types with arguments of type Error

Modifier and Type	Method	Description
Optional<Error>	VerifiedJar.getFirstError()	Yields the first error (hence not a warning) that occurred during the verification of the origin jar.

Constructors in io.hotmoka.verification with parameters of type Error

Constructor	Description
VerificationException(Error error)

Uses of Error in io.hotmoka.verification.issues

Subclasses of Error in io.hotmoka.verification.issues

Modifier and Type	Class	Description
class	CallerNotOnThisError
class	CallerOutsideFromContractError
class	FromContractNotInStorageError
class	IllegalAccessToNonWhiteListedFieldError
class	IllegalBootstrapMethodError
class	IllegalCallToFromContractError
class	IllegalCallToFromContractOnThisError
class	IllegalCallToNonWhiteListedConstructorError
class	IllegalCallToNonWhiteListedMethodError
class	IllegalCallToPayableConstructorOnThis
class	IllegalCallToRedPayableConstructorOnThis
class	IllegalFieldNameError
class	IllegalFinalizerError
class	IllegalFromContractArgumentError
class	IllegalJsrInstructionError
class	IllegalMethodNameError
class	IllegalModificationOfAmountInConstructorChaining
class	IllegalNativeMethodError
class	IllegalPackageNameError
class	IllegalPutstaticInstructionError
class	IllegalRetInstructionError
class	IllegalStaticInitializationError
class	IllegalSynchronizationError
class	IllegalTypeForStorageFieldError
class	IllegalUpdateOfLocal0Error
class	InconsistentFromContractError
class	InconsistentPayableError
class	InconsistentRedPayableError
class	InconsistentSelfChargedError
class	InconsistentThrowsExceptionsError
class	PayableNotInContractError
class	PayableWithoutAmountError
class	PayableWithoutFromContractError
class	PayableWithRedPayableError
class	RedPayableNotInContractError
class	RedPayableWithoutAmountError
class	RedPayableWithoutFromContractError
class	SelfChargedNotAllowedError
class	ThrowsExceptionsOnNonPublicError
class	UncheckedExceptionHandlerError