Hierarchy For Package io.hotmoka.verification.issues

Package Hierarchies:

• All Packages

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