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

Download io-hotmoka-whitelisting JAR 1.3.3 with all dependencies


This module defines the implementation of white-listing in Hotmoka. It is used to define a subset of Java that can be used for Takamaka smart contracts.

Files of the artifact io-hotmoka-whitelisting version 1.3.3 from the group io.hotmoka.

Artifact io-hotmoka-whitelisting
Group io.hotmoka
Version 1.3.3
Last update 25. December 2023
Tags: hotmoka module implementation this takamaka used contracts smart defines that java white define listing subset
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-whitelisting
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies io-hotmoka-whitelisting-api,
There are maybe transitive dependencies!
There is a newer version: 1.6.0
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of io-hotmoka-whitelisting Show documentation

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

0 downloads

Source code of io-hotmoka-whitelisting version 1.3.3

META-INF
META-INF.META-INF.MANIFEST.MF
META-INF.maven.io.hotmoka.io-hotmoka-whitelisting
META-INF.maven.io.hotmoka.io-hotmoka-whitelisting.META-INF.maven.io.hotmoka.io-hotmoka-whitelisting.pom.properties
META-INF.maven.io.hotmoka.io-hotmoka-whitelisting.META-INF.maven.io.hotmoka.io-hotmoka-whitelisting.pom.xml
io.hotmoka.whitelisting
io.hotmoka.whitelisting.io.hotmoka.whitelisting.Dummy
io.hotmoka.whitelisting.io.hotmoka.whitelisting.HasDeterministicTerminatingEquals
io.hotmoka.whitelisting.io.hotmoka.whitelisting.HasDeterministicTerminatingEqualsAndHashCode
io.hotmoka.whitelisting.io.hotmoka.whitelisting.HasDeterministicTerminatingHashCode
io.hotmoka.whitelisting.io.hotmoka.whitelisting.HasDeterministicTerminatingToString
io.hotmoka.whitelisting.io.hotmoka.whitelisting.MustBeFalse
io.hotmoka.whitelisting.io.hotmoka.whitelisting.ResolvingClassLoaders
io.hotmoka.whitelisting.io.hotmoka.whitelisting.WhitelistingConstants
io.hotmoka.whitelisting.internal
io.hotmoka.whitelisting.internal.io.hotmoka.whitelisting.internal.ResolvingClassLoaderImpl
io.hotmoka.whitelisting.internal.io.hotmoka.whitelisting.internal.WhiteListingWizardImpl
io.hotmoka.whitelisting.internal.checks
io.hotmoka.whitelisting.internal.checks.io.hotmoka.whitelisting.internal.checks.HasDeterministicTerminatingEqualsAndHashCodeCheck
io.hotmoka.whitelisting.internal.checks.io.hotmoka.whitelisting.internal.checks.HasDeterministicTerminatingEqualsCheck
io.hotmoka.whitelisting.internal.checks.io.hotmoka.whitelisting.internal.checks.HasDeterministicTerminatingHashCodeCheck
io.hotmoka.whitelisting.internal.checks.io.hotmoka.whitelisting.internal.checks.HasDeterministicTerminatingToStringCheck
io.hotmoka.whitelisting.internal.checks.io.hotmoka.whitelisting.internal.checks.MustBeFalseCheck
io.hotmoka.whitelisting.internal.database.version0.java.lang
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.ArrayIndexOutOfBoundsException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Boolean
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Byte
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Character
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Class
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Comparable
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Double
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Enum
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Error
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Exception
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Float
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.IllegalArgumentException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.IllegalStateException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.IndexOutOfBoundsException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Integer
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Iterable
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Long
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Math
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.NegativeArraySizeException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.NullPointerException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Number
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Object
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Runnable
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.RuntimeException
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.Short
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.String
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.StringBuilder
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.System
io.hotmoka.whitelisting.internal.database.version0.java.lang.io.hotmoka.whitelisting.internal.database.version0.lang.UnsupportedOperationException
io.hotmoka.whitelisting.internal.database.version0.java.math
io.hotmoka.whitelisting.internal.database.version0.java.math.io.hotmoka.whitelisting.internal.database.version0.math.BigInteger
io.hotmoka.whitelisting.internal.database.version0.java.nio.charset
io.hotmoka.whitelisting.internal.database.version0.java.nio.charset.io.hotmoka.whitelisting.internal.database.version0.nio.charset.StandardCharsets
io.hotmoka.whitelisting.internal.database.version0.java.security
io.hotmoka.whitelisting.internal.database.version0.java.security.io.hotmoka.whitelisting.internal.database.version0.security.MessageDigest
io.hotmoka.whitelisting.internal.database.version0.java.time
io.hotmoka.whitelisting.internal.database.version0.java.time.io.hotmoka.whitelisting.internal.database.version0.time.Instant
io.hotmoka.whitelisting.internal.database.version0.java.time.io.hotmoka.whitelisting.internal.database.version0.time.LocalDate
io.hotmoka.whitelisting.internal.database.version0.java.time.io.hotmoka.whitelisting.internal.database.version0.time.ZoneId
io.hotmoka.whitelisting.internal.database.version0.java.util
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.ArrayList
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Arrays
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Base64
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Collection
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Comparator
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.HashMap
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.HashSet
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Iterator
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.LinkedList
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.List
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Map
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.NoSuchElementException
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Objects
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Optional
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Random
io.hotmoka.whitelisting.internal.database.version0.java.util.io.hotmoka.whitelisting.internal.database.version0.util.Set
io.hotmoka.whitelisting.internal.database.version0.java.util.function
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.Consumer
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.Function
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.IntFunction
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.IntSupplier
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.IntUnaryOperator
io.hotmoka.whitelisting.internal.database.version0.java.util.function.io.hotmoka.whitelisting.internal.database.version0.util.function.Supplier
io.hotmoka.whitelisting.internal.database.version0.java.util.stream
io.hotmoka.whitelisting.internal.database.version0.java.util.stream.io.hotmoka.whitelisting.internal.database.version0.util.stream.BaseStream
io.hotmoka.whitelisting.internal.database.version0.java.util.stream.io.hotmoka.whitelisting.internal.database.version0.util.stream.Collectors
io.hotmoka.whitelisting.internal.database.version0.java.util.stream.io.hotmoka.whitelisting.internal.database.version0.util.stream.IntStream
io.hotmoka.whitelisting.internal.database.version0.java.util.stream.io.hotmoka.whitelisting.internal.database.version0.util.stream.Stream
io.hotmoka.whitelisting.internal.database.version0.java.util.stream.io.hotmoka.whitelisting.internal.database.version0.util.stream.StreamSupport
.module-info




© 2015 - 2024 Weber Informatics LLC | Privacy Policy