Download io-takamaka-code JAR 1.3.1 with all dependencies

This module defines the support library of the Takamaka language.

Files of the artifact io-takamaka-code version 1.3.1 from the group io.hotmoka.

Artifact io-takamaka-code
Group io.hotmoka
Version 1.3.1
Last update 23. July 2024
Tags: library module this takamaka language support defines
Organization Hotmoka
URL https://github.com/Hotmoka/io-takamaka-code/io-takamaka-code
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of io-takamaka-code Show documentation

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

0 downloads

Source code of io-takamaka-code version 1.3.1

META-INF

META-INF.META-INF.MANIFEST.MF

META-INF.maven.io.hotmoka.io-takamaka-code

META-INF.maven.io.hotmoka.io-takamaka-code.META-INF.maven.io.hotmoka.io-takamaka-code.pom.properties

META-INF.maven.io.hotmoka.io-takamaka-code.META-INF.maven.io.hotmoka.io-takamaka-code.pom.xml

io.takamaka.code.dao

io.takamaka.code.dao.io.takamaka.code.dao.Poll

io.takamaka.code.dao.io.takamaka.code.dao.PollWithTimeWindow

io.takamaka.code.dao.io.takamaka.code.dao.SharedEntity

io.takamaka.code.dao.io.takamaka.code.dao.SharedEntityView

io.takamaka.code.dao.io.takamaka.code.dao.SharedEntityWithCappedShareholders

io.takamaka.code.dao.io.takamaka.code.dao.SharedEntityWithCappedShares

io.takamaka.code.dao.io.takamaka.code.dao.SharedEntityWithIntegralShares

io.takamaka.code.dao.io.takamaka.code.dao.SimplePoll

io.takamaka.code.dao.io.takamaka.code.dao.SimpleSharedEntity

io.takamaka.code.governance

io.takamaka.code.governance.io.takamaka.code.governance.AbstractValidators

io.takamaka.code.governance.io.takamaka.code.governance.AccountsLedger

io.takamaka.code.governance.io.takamaka.code.governance.ConsensusUpdate

io.takamaka.code.governance.io.takamaka.code.governance.GasPriceUpdate

io.takamaka.code.governance.io.takamaka.code.governance.GasStation

io.takamaka.code.governance.io.takamaka.code.governance.GenericGasStation

io.takamaka.code.governance.io.takamaka.code.governance.GenericValidators

io.takamaka.code.governance.io.takamaka.code.governance.InflationUpdate

io.takamaka.code.governance.io.takamaka.code.governance.Manifest

io.takamaka.code.governance.io.takamaka.code.governance.Validator

io.takamaka.code.governance.io.takamaka.code.governance.Validators

io.takamaka.code.governance.io.takamaka.code.governance.ValidatorsUpdate

io.takamaka.code.governance.io.takamaka.code.governance.VerificationVersionUpdate

io.takamaka.code.governance.io.takamaka.code.governance.Versions

io.takamaka.code.governance.tendermint

io.takamaka.code.governance.tendermint.io.takamaka.code.governance.tendermint.TendermintED25519Validator

io.takamaka.code.governance.tendermint.io.takamaka.code.governance.tendermint.TendermintValidators

io.takamaka.code.lang

io.takamaka.code.lang.io.takamaka.code.lang.Account

io.takamaka.code.lang.io.takamaka.code.lang.AccountED25519

io.takamaka.code.lang.io.takamaka.code.lang.AccountQTESLA1

io.takamaka.code.lang.io.takamaka.code.lang.AccountQTESLA3

io.takamaka.code.lang.io.takamaka.code.lang.AccountSHA256DSA

io.takamaka.code.lang.io.takamaka.code.lang.Accounts

io.takamaka.code.lang.io.takamaka.code.lang.AssertionViolationException

io.takamaka.code.lang.io.takamaka.code.lang.Coin

io.takamaka.code.lang.io.takamaka.code.lang.Contract

io.takamaka.code.lang.io.takamaka.code.lang.Event

io.takamaka.code.lang.io.takamaka.code.lang.Exported

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccount

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccountED25519

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccountQTESLA1

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccountQTESLA3

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccountSHA256DSA

io.takamaka.code.lang.io.takamaka.code.lang.ExternallyOwnedAccounts

io.takamaka.code.lang.io.takamaka.code.lang.FromContract

io.takamaka.code.lang.io.takamaka.code.lang.Gamete

io.takamaka.code.lang.io.takamaka.code.lang.Immutable

io.takamaka.code.lang.io.takamaka.code.lang.InsufficientFundsError

io.takamaka.code.lang.io.takamaka.code.lang.Pausable

io.takamaka.code.lang.io.takamaka.code.lang.PausableContract

io.takamaka.code.lang.io.takamaka.code.lang.Payable

io.takamaka.code.lang.io.takamaka.code.lang.PayableContract

io.takamaka.code.lang.io.takamaka.code.lang.RedPayable

io.takamaka.code.lang.io.takamaka.code.lang.RequirementViolationException

io.takamaka.code.lang.io.takamaka.code.lang.Storage

io.takamaka.code.lang.io.takamaka.code.lang.Takamaka

io.takamaka.code.lang.io.takamaka.code.lang.ThrowsExceptions

io.takamaka.code.lang.io.takamaka.code.lang.View

io.takamaka.code.math

io.takamaka.code.math.io.takamaka.code.math.UnsignedBigInteger

io.takamaka.code.selfcharged

io.takamaka.code.selfcharged.io.takamaka.code.selfcharged.BlackList

io.takamaka.code.selfcharged.io.takamaka.code.selfcharged.WhiteList

io.takamaka.code.tokens

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC20

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC20Burnable

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC20Capped

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC20Pausable

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC20WithSnapshots

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC721

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC721Burnable

io.takamaka.code.tokens.io.takamaka.code.tokens.ERC721URIStorage

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC20

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC20View

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC721

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC721Receiver

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC721URIStorageView

io.takamaka.code.tokens.io.takamaka.code.tokens.IERC721View

io.takamaka.code.util

io.takamaka.code.util.io.takamaka.code.util.AbstractStorageByteArrayView

io.takamaka.code.util.io.takamaka.code.util.Bytes16

io.takamaka.code.util.io.takamaka.code.util.Bytes16Snapshot

io.takamaka.code.util.io.takamaka.code.util.Bytes32

io.takamaka.code.util.io.takamaka.code.util.Bytes32Snapshot

io.takamaka.code.util.io.takamaka.code.util.Bytes64

io.takamaka.code.util.io.takamaka.code.util.Bytes64Snapshot

io.takamaka.code.util.io.takamaka.code.util.Bytes8

io.takamaka.code.util.io.takamaka.code.util.Bytes8Snapshot

io.takamaka.code.util.io.takamaka.code.util.StorageArray

io.takamaka.code.util.io.takamaka.code.util.StorageArrayView

io.takamaka.code.util.io.takamaka.code.util.StorageByteArray

io.takamaka.code.util.io.takamaka.code.util.StorageByteArrayView

io.takamaka.code.util.io.takamaka.code.util.StorageIntMap

io.takamaka.code.util.io.takamaka.code.util.StorageIntMapView

io.takamaka.code.util.io.takamaka.code.util.StorageLinkedList

io.takamaka.code.util.io.takamaka.code.util.StorageList

io.takamaka.code.util.io.takamaka.code.util.StorageListView

io.takamaka.code.util.io.takamaka.code.util.StorageMap

io.takamaka.code.util.io.takamaka.code.util.StorageMapView

io.takamaka.code.util.io.takamaka.code.util.StorageSet

io.takamaka.code.util.io.takamaka.code.util.StorageSetView

io.takamaka.code.util.io.takamaka.code.util.StorageTreeArray

io.takamaka.code.util.io.takamaka.code.util.StorageTreeByteArray

io.takamaka.code.util.io.takamaka.code.util.StorageTreeIntMap

io.takamaka.code.util.io.takamaka.code.util.StorageTreeMap

io.takamaka.code.util.io.takamaka.code.util.StorageTreeSet

.module-info