All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download io-hotmoka-verification JAR 1.6.0 with all dependencies


    Files of the artifact io-hotmoka-verification version 1.6.0 from the group io.hotmoka.

    Artifact io-hotmoka-verification
    Group io.hotmoka
    Version 1.6.0


    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of io-hotmoka-verification version 1.6.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.maven.io.hotmoka.io-hotmoka-verification
    META-INF.maven.io.hotmoka.io-hotmoka-verification.META-INF.maven.io.hotmoka.io-hotmoka-verification.pom.properties
    META-INF.maven.io.hotmoka.io-hotmoka-verification.META-INF.maven.io.hotmoka.io-hotmoka-verification.pom.xml
    io.hotmoka.verification
    io.hotmoka.verification.io.hotmoka.verification.TakamakaClassLoaders
    io.hotmoka.verification.io.hotmoka.verification.VerificationException
    io.hotmoka.verification.io.hotmoka.verification.VerifiedJars
    io.hotmoka.verification.errors
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.CallerNotOnThisError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.CallerOutsideFromContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.FromContractNotInStorageError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalAccessToNonWhiteListedFieldError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalBootstrapMethodError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToFromContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToFromContractOnThisError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToNonWhiteListedConstructorError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToNonWhiteListedMethodError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToPayableConstructorOnThis
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalCallToRedPayableConstructorOnThis
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalFieldNameError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalFinalizerError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalFromContractArgumentError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalJsrInstructionError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalMethodNameError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalModificationOfAmountInConstructorChaining
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalNativeMethodError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalPackageNameError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalPutstaticInstructionError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalRetInstructionError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalStaticInitializationError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalSynchronizationError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalTypeForStorageFieldError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.IllegalUpdateOfLocal0Error
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.InconsistentFromContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.InconsistentPayableError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.InconsistentRedPayableError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.InconsistentThrowsExceptionsError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.PayableNotInContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.PayableWithRedPayableError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.PayableWithoutAmountError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.PayableWithoutFromContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.RedPayableNotInContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.RedPayableWithoutAmountError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.RedPayableWithoutFromContractError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.ThrowsExceptionsOnNonPublicError
    io.hotmoka.verification.errors.io.hotmoka.verification.errors.UncheckedExceptionHandlerError
    io.hotmoka.verification.internal
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.AbstractErrorImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.AnnotationsImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.BcelToClassImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.BootstrapsImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.CheckOnClasses
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.CheckOnMethods
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.HeightAtBytecode
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.PushersImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.Resolver
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.TakamakaClassLoaderImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.VerifiedClassImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.VerifiedJarImpl
    io.hotmoka.verification.internal.io.hotmoka.verification.internal.VersionsManager
    io.hotmoka.verification.internal.checksOnClass
    io.hotmoka.verification.internal.checksOnClass.io.hotmoka.verification.internal.checksOnClass.BootstrapsAreLegalCheck
    io.hotmoka.verification.internal.checksOnClass.io.hotmoka.verification.internal.checksOnClass.FromContractCodeIsCalledInCorrectContextCheck
    io.hotmoka.verification.internal.checksOnClass.io.hotmoka.verification.internal.checksOnClass.NamesDontStartWithForbiddenPrefix
    io.hotmoka.verification.internal.checksOnClass.io.hotmoka.verification.internal.checksOnClass.PackagesAreLegalCheck
    io.hotmoka.verification.internal.checksOnClass.io.hotmoka.verification.internal.checksOnClass.StorageClassesHaveFieldsOfStorageTypeCheck
    io.hotmoka.verification.internal.checksOnMethods
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.AmountIsNotModifiedInConstructorChaining
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.BytecodesAreLegalCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.CallerIsUsedOnThisAndInFromContractCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.ExceptionHandlersAreForCheckedExceptionsCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.FromContractCodeIsConsistentWithClassHierarchyCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.FromContractCodeIsInstanceAndInStorageClassCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.IsNotFinalizerCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.IsNotNativeCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.IsNotStaticInitializerCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.IsNotSynchronizedCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsConsistentWithClassHierarchyCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsFromContractCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsNotRedPayableCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.PayableCodeReceivesAmountCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeIsConsistentWithClassHierarchyCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeIsFromContractOfRedGreenContractCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeReceivesAmountCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.ThrowsExceptionsCodeIsPublicCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.ThrowsExceptionsIsConsistentWithClassHierarchyCheck
    io.hotmoka.verification.internal.checksOnMethods.io.hotmoka.verification.internal.checksOnMethods.UsedCodeIsWhiteListedCheck
    .module-info




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy