Class Hierarchy
- java.lang.Object
- io.hotmoka.verification.issues.Issue (implements java.lang.Comparable<T>)
- io.hotmoka.verification.issues.Error
- io.hotmoka.verification.issues.CallerNotOnThisError
- io.hotmoka.verification.issues.CallerOutsideFromContractError
- io.hotmoka.verification.issues.FromContractNotInStorageError
- io.hotmoka.verification.issues.IllegalAccessToNonWhiteListedFieldError
- io.hotmoka.verification.issues.IllegalBootstrapMethodError
- io.hotmoka.verification.issues.IllegalCallToFromContractError
- io.hotmoka.verification.issues.IllegalCallToFromContractOnThisError
- io.hotmoka.verification.issues.IllegalCallToNonWhiteListedConstructorError
- io.hotmoka.verification.issues.IllegalCallToNonWhiteListedMethodError
- io.hotmoka.verification.issues.IllegalCallToPayableConstructorOnThis
- io.hotmoka.verification.issues.IllegalCallToRedPayableConstructorOnThis
- io.hotmoka.verification.issues.IllegalFieldNameError
- io.hotmoka.verification.issues.IllegalFinalizerError
- io.hotmoka.verification.issues.IllegalFromContractArgumentError
- io.hotmoka.verification.issues.IllegalJsrInstructionError
- io.hotmoka.verification.issues.IllegalMethodNameError
- io.hotmoka.verification.issues.IllegalModificationOfAmountInConstructorChaining
- io.hotmoka.verification.issues.IllegalNativeMethodError
- io.hotmoka.verification.issues.IllegalPackageNameError
- io.hotmoka.verification.issues.IllegalPutstaticInstructionError
- io.hotmoka.verification.issues.IllegalRetInstructionError
- io.hotmoka.verification.issues.IllegalStaticInitializationError
- io.hotmoka.verification.issues.IllegalSynchronizationError
- io.hotmoka.verification.issues.IllegalTypeForStorageFieldError
- io.hotmoka.verification.issues.IllegalUpdateOfLocal0Error
- io.hotmoka.verification.issues.InconsistentFromContractError
- io.hotmoka.verification.issues.InconsistentPayableError
- io.hotmoka.verification.issues.InconsistentRedPayableError
- io.hotmoka.verification.issues.InconsistentSelfChargedError
- io.hotmoka.verification.issues.InconsistentThrowsExceptionsError
- io.hotmoka.verification.issues.PayableNotInContractError
- io.hotmoka.verification.issues.PayableWithoutAmountError
- io.hotmoka.verification.issues.PayableWithoutFromContractError
- io.hotmoka.verification.issues.PayableWithRedPayableError
- io.hotmoka.verification.issues.RedPayableNotInContractError
- io.hotmoka.verification.issues.RedPayableWithoutAmountError
- io.hotmoka.verification.issues.RedPayableWithoutFromContractError
- io.hotmoka.verification.issues.SelfChargedNotAllowedError
- io.hotmoka.verification.issues.ThrowsExceptionsOnNonPublicError
- io.hotmoka.verification.issues.UncheckedExceptionHandlerError
- io.hotmoka.verification.issues.Warning
- io.hotmoka.verification.issues.Error
- io.hotmoka.verification.issues.Issue (implements java.lang.Comparable<T>)