Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
A
- AbstractInstanceMethodCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling an instance method of a storage object in a node.
- Account - Interface in io.hotmoka.node.api
-
The information to control an account of a Hotmoka node.
- actuals() - Method in interface io.hotmoka.node.api.requests.CodeExecutionTransactionRequest
-
Yields the actual arguments passed to the method.
- addConstructorCallTransaction(ConstructorCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that runs a constructor of a class.
- addGameteCreationTransaction(GameteCreationTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that creates a gamete, that is, an externally owned contract with the given initial amount of coins, of class
io.takamaka.code.lang.Gamete. - addInitializationTransaction(InitializationTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that marks the node as initialized and installs its manifest.
- addInstanceMethodCallTransaction(InstanceMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that runs an instance method of an object already in this node's store.
- addJarStoreInitialTransaction(JarStoreInitialTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that installs a jar in it.
- addJarStoreTransaction(JarStoreTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that installs a jar in it.
- addStaticMethodCallTransaction(StaticMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Expands the store of this node with a transaction that runs a static method of a class in this node.
- allowsUnsignedFaucet() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields true if and only if the use of the faucet of the gamete is allowed without a valid signature.
- allowUnsignedFaucet(boolean) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Specifies to allow the
faucet()methods of the gametes without a valid signature. - asBigInteger(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a big integer, if it is a big integer.
- asBoolean(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a boolean, if it is a boolean.
- asByte(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a byte, if it is a byte.
- asChar(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a char, if it is a char.
- asDouble(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a double, if it is a double.
- asFloat(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a float, if it is a float.
- asInt(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as an int, if it is an int.
- asLong(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a long, if it is a long.
- asReference(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a reference, if it is a reference.
- asReturnedBigInteger(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a big integer, assuming that it is returned by the given method.
- asReturnedBoolean(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a boolean, assuming that it is returned by the given method.
- asReturnedByte(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a byte, assuming that it is returned by the given method.
- asReturnedChar(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a char, assuming that it is returned by the given method.
- asReturnedDouble(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a double, assuming that it is returned by the given method.
- asReturnedFloat(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a float, assuming that it is returned by the given method.
- asReturnedInt(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as an int, assuming that it is returned by the given method.
- asReturnedLong(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a long, assuming that it is returned by the given method.
- asReturnedReference(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a reference, assuming that it is returned by the given method.
- asReturnedShort(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a short, assuming that it is returned by the given method.
- asReturnedString(NonVoidMethodSignature, Function<String, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a string, assuming that it is returned by the given method.
- asShort(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a short, if it is a short.
- asString(Function<StorageValue, ? extends E>) - Method in interface io.hotmoka.node.api.values.StorageValue
-
Yields this value as a string, if it is a string.
B
- BasicType - Interface in io.hotmoka.node.api.types
-
A basic, primitive type of the Takamaka language.
- BigIntegerValue - Interface in io.hotmoka.node.api.values
-
A big integer stored in the store of a Hotmoka node.
- BooleanValue - Interface in io.hotmoka.node.api.values
-
A
booleanvalue stored in the store of a Hotmoka node. - build() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Builds the configuration.
- ByteValue - Interface in io.hotmoka.node.api.values
-
A
bytevalue stored in the store of a Hotmoka node.
C
- CharValue - Interface in io.hotmoka.node.api.values
-
A
charvalue stored in the store of a Hotmoka node. - ClassTag - Interface in io.hotmoka.node.api.updates
-
An update that states that an object belongs to a given class.
- ClassType - Interface in io.hotmoka.node.api.types
-
A class type that can be used for stored objects in blockchain.
- close() - Method in interface io.hotmoka.node.api.Node
-
Closes the node.
- close() - Method in interface io.hotmoka.node.api.Subscription
-
Closes the subscription, so that no more events are sent to its handler.
- ClosedNodeException - Exception Class in io.hotmoka.node.api
-
An exception stating that a Hotmoka node is closed and cannot perform some operation.
- ClosedNodeException() - Constructor for exception class io.hotmoka.node.api.ClosedNodeException
-
Creates a new exception.
- ClosedNodeException(String) - Constructor for exception class io.hotmoka.node.api.ClosedNodeException
-
Creates a new exception with the given message.
- ClosedNodeException(String, Throwable) - Constructor for exception class io.hotmoka.node.api.ClosedNodeException
-
Creates a new exception with the given message and cause.
- ClosedNodeException(Throwable) - Constructor for exception class io.hotmoka.node.api.ClosedNodeException
-
Creates a new exception with the given cause.
- CodeExecutionException - Exception Class in io.hotmoka.node.api
-
A wrapper of an exception, raised during a transaction, that occurred during the execution of a Takamaka constructor or method that was allowed to throw it.
- CodeExecutionException(String) - Constructor for exception class io.hotmoka.node.api.CodeExecutionException
-
Builds the wrapper of an exception that occurred during the execution of a Takamaka constructor or method that was allowed to throw it.
- CodeExecutionException(String, String, String) - Constructor for exception class io.hotmoka.node.api.CodeExecutionException
-
Builds the wrapper of an exception that occurred during the execution of a Takamaka constructor or method that was allowed to throw it.
- CodeExecutionTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request for executing a constructor or a method.
- CodeExecutionTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that calls a constructor or method.
- CodeFuture<V> - Interface in io.hotmoka.node.api
-
The future of a transaction that executes code in a node.
- CodeSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a method or constructor.
- compareTo(StorageType) - Method in interface io.hotmoka.node.api.types.StorageType
-
Compares this storage type with another.
- ConsensusConfig<C,
B> - Interface in io.hotmoka.node.api.nodes -
A specification of the consensus parameters of a Hotmoka node.
- ConsensusConfigBuilder<C,
B> - Interface in io.hotmoka.node.api.nodes -
The builder of a configuration object.
- ConstructorCallTransactionExceptionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that calls a constructor to instantiate an object in the store of the node.
- ConstructorCallTransactionFailedResponse - Interface in io.hotmoka.node.api.responses
-
A response for a failed transaction that should have called a constructor of a storage class in the node.
- ConstructorCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling a constructor of a storage class in a node.
- ConstructorCallTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that should call a constructor of a storage class in blockchain.
- ConstructorCallTransactionSuccessfulResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that calls a constructor to instantiate an object in the store of the node.
- ConstructorFuture - Interface in io.hotmoka.node.api
-
The future of a transaction that executes a constructor in a node.
- ConstructorSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a constructor of a class.
D
- DoubleValue - Interface in io.hotmoka.node.api.values
-
A
doublevalue stored in the store of a Hotmoka node.
E
- equals(Object) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
- equals(Object) - Method in interface io.hotmoka.node.api.nodes.NodeInfo
- equals(Object) - Method in interface io.hotmoka.node.api.requests.TransactionRequest
- equals(Object) - Method in interface io.hotmoka.node.api.responses.TransactionResponse
- equals(Object) - Method in interface io.hotmoka.node.api.signatures.CodeSignature
- equals(Object) - Method in interface io.hotmoka.node.api.signatures.FieldSignature
- equals(Object) - Method in interface io.hotmoka.node.api.signatures.Signature
- equals(Object) - Method in interface io.hotmoka.node.api.transactions.TransactionReference
- equals(Object) - Method in interface io.hotmoka.node.api.types.StorageType
- equals(Object) - Method in interface io.hotmoka.node.api.updates.Update
- equals(Object) - Method in interface io.hotmoka.node.api.values.StorageValue
F
- FailedTransactionResponse - Interface in io.hotmoka.node.api.responses
-
The response of a failed transaction.
- FieldSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a field of a class.
- FloatValue - Interface in io.hotmoka.node.api.values
-
A
floatvalue stored in the store of a Hotmoka node.
G
- GameteCreationTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for creating an initial gamete, that is, an account of class
io.takamaka.code.lang.Gametethat holds the initial coins of the network. - GameteCreationTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that created a gamete in a yet non-initialized blockchain.
- GenericJarStoreTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request for a transaction that installs a jar in a node.
- GenericJarStoreTransactionResponse - Interface in io.hotmoka.node.api.responses
-
The response of a transaction that installed a jar in a node.
- get() - Method in interface io.hotmoka.node.api.CodeFuture
-
Waits if necessary for the transaction to complete, and then retrieves its result.
- get() - Method in interface io.hotmoka.node.api.JarFuture
-
Waits if necessary for the transaction to complete, and then retrieves its result.
- getCaller() - Method in interface io.hotmoka.node.api.requests.NonInitialTransactionRequest
-
Yields the externally owned caller contract that pays for the transaction.
- getCaller() - Method in interface io.hotmoka.node.api.requests.SignedTransactionRequest
-
Yields the caller that signs the transaction request.
- getChainId() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the chain identifier of the node.
- getChainId() - Method in interface io.hotmoka.node.api.requests.SignedTransactionRequest
-
Yields the chain identifier where this request can be executed, to forbid transaction replay across chains.
- getClassNameOfCause() - Method in interface io.hotmoka.node.api.responses.ConstructorCallTransactionExceptionResponse
-
Yields the fully-qualified class name of the cause exception.
- getClassNameOfCause() - Method in interface io.hotmoka.node.api.responses.FailedTransactionResponse
-
Yields the fully-qualified class name of the cause exception.
- getClassNameOfCause() - Method in interface io.hotmoka.node.api.responses.MethodCallTransactionExceptionResponse
-
Yields the fully-qualified class name of the cause exception.
- getClasspath() - Method in interface io.hotmoka.node.api.requests.GameteCreationTransactionRequest
-
Yields the classpath of the transactions, that should somehow reach the basic Takamaka classes.
- getClasspath() - Method in interface io.hotmoka.node.api.requests.InitializationTransactionRequest
-
Yields the classpath of the transactions, that will be set as jar reaching the basic Takamaka classes.
- getClasspath() - Method in interface io.hotmoka.node.api.requests.NonInitialTransactionRequest
-
Yields the class path that specifies where the caller should be interpreted.
- getClassTag(StorageReference) - Method in interface io.hotmoka.node.api.Node
-
Yields the class tag of the object with the given storage reference.
- getClazz() - Method in interface io.hotmoka.node.api.updates.ClassTag
-
Yields the class of the object.
- getConfig() - Method in interface io.hotmoka.node.api.Node
-
Yields the consensus configuration of this node.
- getDefiningClass() - Method in interface io.hotmoka.node.api.signatures.Signature
-
Yields the class defining the field, method or constructor.
- getDependencies() - Method in interface io.hotmoka.node.api.requests.GenericJarStoreTransactionRequest
-
Yields the dependencies of the jar to install.
- getDependencies() - Method in interface io.hotmoka.node.api.responses.JarStoreTransactionResponseWithInstrumentedJar
-
Yields the dependencies of the jar, previously installed in the store of the node.
- getEvents() - Method in interface io.hotmoka.node.api.responses.TransactionResponseWithEvents
-
Yields the events induced by the execution of this transaction.
- getField() - Method in interface io.hotmoka.node.api.updates.UpdateOfField
-
Yields the field whose value is updated.
- getFinalSupply() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the final supply of coins in the node.
- getFormals() - Method in interface io.hotmoka.node.api.signatures.CodeSignature
-
Yields the formal arguments of the method or constructor, ordered from left to right.
- getGamete() - Method in interface io.hotmoka.node.api.responses.GameteCreationTransactionResponse
-
Yields the reference of the gamete that has been created
- getGasConsumedForCPU() - Method in interface io.hotmoka.node.api.responses.NonInitialTransactionResponse
-
Yields the amount of gas consumed by the transaction for CPU execution.
- getGasConsumedForPenalty() - Method in interface io.hotmoka.node.api.responses.FailedTransactionResponse
-
Yields the amount of gas that the transaction consumed for penalty, since it failed.
- getGasConsumedForRAM() - Method in interface io.hotmoka.node.api.responses.NonInitialTransactionResponse
-
Yields the amount of gas consumed by the transaction for RAM allocation.
- getGasConsumedForStorage() - Method in interface io.hotmoka.node.api.responses.NonInitialTransactionResponse
-
Yields the amount of gas consumed by the transaction for storage consumption.
- getGasCostModel() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the gas cost model used for the instrumentation of the jars installed in the node.
- getGasLimit() - Method in interface io.hotmoka.node.api.requests.NonInitialTransactionRequest
-
Yields the amount of gas provided to the transaction.
- getGasPrice() - Method in interface io.hotmoka.node.api.requests.NonInitialTransactionRequest
-
Yields the coins paid for each unit of gas consumed by the transaction.
- getGenesisTime() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the genesis time, UTC.
- getHash() - Method in interface io.hotmoka.node.api.transactions.TransactionReference
-
Yields the hash of the request.
- getHeightAtFinalSupply() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the height from which coins are not minted anymore.
- getID() - Method in interface io.hotmoka.node.api.nodes.NodeInfo
-
Yields the identifier of the node inside its network, if any.
- getIndex(StorageReference) - Method in interface io.hotmoka.node.api.Node
-
Yields information about the transactions that have affected the given object.
- getInfo() - Method in interface io.hotmoka.node.api.Node
-
Yields node-specific information about the node.
- getInitialAmount() - Method in interface io.hotmoka.node.api.requests.GameteCreationTransactionRequest
-
Yields the amount of coins provided to the gamete.
- getInitialGasPrice() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the initial gas price.
- getInitialSupply() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the initial supply of coins in the node.
- getInstrumentedJar() - Method in interface io.hotmoka.node.api.responses.JarStoreTransactionResponseWithInstrumentedJar
-
Yields the bytes of the installed jar.
- getInstrumentedJarLength() - Method in interface io.hotmoka.node.api.responses.JarStoreTransactionResponseWithInstrumentedJar
-
Yields the size of the instrumented jar, in bytes.
- getJar() - Method in interface io.hotmoka.node.api.requests.GenericJarStoreTransactionRequest
-
Yields the bytes of the jar to install.
- getJar() - Method in interface io.hotmoka.node.api.updates.ClassTag
-
Yields the reference of the transaction that installed the jar from which the class was resolved.
- getJarLength() - Method in interface io.hotmoka.node.api.requests.GenericJarStoreTransactionRequest
-
Yields the length, in bytes, of the jar to install.
- getManifest() - Method in interface io.hotmoka.node.api.Node
-
Yields the manifest installed in the store of the node, when the node was initialized.
- getManifest() - Method in interface io.hotmoka.node.api.requests.InitializationTransactionRequest
-
Yields the storage reference that must be set as manifest.
- getMaxCumulativeSizeOfDependencies() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the maximal cumulative size (in bytes) of the instrumented jars of the dependencies of a transaction.
- getMaxDependencies() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the maximal number of dependencies in the classpath of a transaction.
- getMaxGasPerTransaction() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the maximal amount of gas that a non-view transaction can consume.
- getMaxRequestSize() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the maximum size of a request; larger requests will be rejected.
- getMessageOfCause() - Method in interface io.hotmoka.node.api.responses.ConstructorCallTransactionExceptionResponse
-
Yields the message of the cause exception.
- getMessageOfCause() - Method in interface io.hotmoka.node.api.responses.FailedTransactionResponse
-
Yields the message of the cause exception.
- getMessageOfCause() - Method in interface io.hotmoka.node.api.responses.MethodCallTransactionExceptionResponse
-
Yields the message of the cause exception.
- getName() - Method in interface io.hotmoka.node.api.signatures.FieldSignature
-
Yields the name of the field.
- getName() - Method in interface io.hotmoka.node.api.signatures.MethodSignature
-
Yields the name of the method.
- getName() - Method in interface io.hotmoka.node.api.types.StorageType
-
Yields the fully-qualified name of this type.
- getNewObject() - Method in interface io.hotmoka.node.api.responses.ConstructorCallTransactionSuccessfulResponse
-
Yields the reference to the object that has been created.
- getNonce() - Method in interface io.hotmoka.node.api.requests.NonInitialTransactionRequest
-
Yields the nonce used for transaction ordering and to forbid transaction replay on the same chain.
- getNumberOfDependencies() - Method in interface io.hotmoka.node.api.requests.GenericJarStoreTransactionRequest
-
Yields the number of dependencies.
- getObject() - Method in interface io.hotmoka.node.api.updates.Update
-
Yields the storage reference of the object whose field is modified.
- getOblivion() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields how quickly the gas consumed at previous rewards is forgotten: 0 means never, 1_000_000 means immediately.
- getPolledResponse(TransactionReference) - Method in interface io.hotmoka.node.api.Node
-
Waits until a transaction has been committed, or until its delivering fails.
- getProgressive() - Method in interface io.hotmoka.node.api.values.StorageReference
-
Yields the progressive number of the object among those that have been created during the same transaction.
- getPublicKey() - Method in interface io.hotmoka.node.api.requests.GameteCreationTransactionRequest
-
Yields the Base64-encoded public key that will be assigned to the gamete.
- getPublicKeyOfGamete() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the public key of the gamete account.
- getPublicKeyOfGameteBase64() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the Base64-encoded public key of the gamete account.
- getReceiver() - Method in interface io.hotmoka.node.api.requests.AbstractInstanceMethodCallTransactionRequest
-
Yields the receiver of the call.
- getReferenceOfRequest() - Method in interface io.hotmoka.node.api.CodeFuture
-
Yields the reference of the request of the transaction.
- getReferenceOfRequest() - Method in interface io.hotmoka.node.api.JarFuture
-
Yields the reference of the request of the transaction.
- getRequest(TransactionReference) - Method in interface io.hotmoka.node.api.Node
-
Yields the request that generated the transaction with the given reference.
- getResponse(TransactionReference) - Method in interface io.hotmoka.node.api.Node
-
Yields the response generated for the request for the given transaction.
- getResult() - Method in interface io.hotmoka.node.api.responses.NonVoidMethodCallTransactionSuccessfulResponse
-
Yields the return value of the method.
- getReturnType() - Method in interface io.hotmoka.node.api.signatures.NonVoidMethodSignature
-
Yields the type of the returned value.
- getSignature() - Method in interface io.hotmoka.node.api.requests.SignedTransactionRequest
-
Yields the signature of the request.
- getSignatureForRequests() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the signature algorithm for signing requests.
- getState(StorageReference) - Method in interface io.hotmoka.node.api.Node
-
Yields the current state of the object at the given storage reference.
- getStaticTarget() - Method in interface io.hotmoka.node.api.requests.CodeExecutionTransactionRequest
-
Yields the method or constructor referenced in this request.
- getStaticTarget() - Method in interface io.hotmoka.node.api.requests.ConstructorCallTransactionRequest
- getStaticTarget() - Method in interface io.hotmoka.node.api.requests.MethodCallTransactionRequest
- getTakamakaCode() - Method in interface io.hotmoka.node.api.Node
-
Yields the reference to the jar installed in the store of the node, when the node was initialized, containing the classes of the Takamaka runtime.
- getTargetGasAtReward() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the units of gas that are aimed to be rewarded at each reward.
- getTicketForNewPoll() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the amount of coins to pay to start a new poll amount the voters, for instance in order to change a consensus parameter.
- getTransaction() - Method in interface io.hotmoka.node.api.values.StorageReference
-
Yields the transaction that created the object.
- getType() - Method in interface io.hotmoka.node.api.nodes.NodeInfo
-
Yields the type of the node.
- getType() - Method in interface io.hotmoka.node.api.signatures.FieldSignature
-
Yields the type of the field.
- getUpdates() - Method in interface io.hotmoka.node.api.responses.TransactionResponseWithUpdates
-
Yields the updates induced by the execution of this transaction.
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfBigInteger
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfBoolean
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfByte
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfChar
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfDouble
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfField
-
Yields the value set into the updated field.
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfFloat
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfInt
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfLong
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfShort
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfStorage
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateOfString
- getValue() - Method in interface io.hotmoka.node.api.updates.UpdateToNull
- getValue() - Method in interface io.hotmoka.node.api.values.BigIntegerValue
-
Yields the big integer inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.BooleanValue
-
Yields the boolean inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.ByteValue
-
Yields the byte inside this object.
- getValue() - Method in interface io.hotmoka.node.api.values.CharValue
-
Yields the character inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.DoubleValue
-
Yields the double inside this object.
- getValue() - Method in interface io.hotmoka.node.api.values.FloatValue
-
Yields the float inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.IntValue
-
Yields the
intinside this value. - getValue() - Method in interface io.hotmoka.node.api.values.LongValue
-
Yields the long inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.ShortValue
-
Yields the short inside this value.
- getValue() - Method in interface io.hotmoka.node.api.values.StringValue
-
Yields the string inside this value.
- getVerificationVersion() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields the version of the verification module to use.
- getVerificationVersion() - Method in interface io.hotmoka.node.api.responses.JarStoreTransactionResponseWithInstrumentedJar
-
Yields the version of the verification module that was used to verify the jar.
- getVersion() - Method in interface io.hotmoka.node.api.nodes.NodeInfo
-
Yields the version of the node.
- getWhere() - Method in interface io.hotmoka.node.api.responses.ConstructorCallTransactionExceptionResponse
-
Yields the program point where the cause exception occurred.
- getWhere() - Method in interface io.hotmoka.node.api.responses.ConstructorCallTransactionFailedResponse
-
Yields the program point where the cause exception occurred.
- getWhere() - Method in interface io.hotmoka.node.api.responses.MethodCallTransactionExceptionResponse
-
Yields the program point where the cause exception occurred.
- getWhere() - Method in interface io.hotmoka.node.api.responses.MethodCallTransactionFailedResponse
-
Yields the program point where the cause exception occurred.
H
- hasEvents() - Method in interface io.hotmoka.node.api.responses.TransactionResponseWithEvents
-
Determines if this responses contains at least an event.
- hashCode() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
- hashCode() - Method in interface io.hotmoka.node.api.nodes.NodeInfo
- hashCode() - Method in interface io.hotmoka.node.api.requests.TransactionRequest
- hashCode() - Method in interface io.hotmoka.node.api.responses.TransactionResponse
- hashCode() - Method in interface io.hotmoka.node.api.signatures.CodeSignature
- hashCode() - Method in interface io.hotmoka.node.api.signatures.FieldSignature
- hashCode() - Method in interface io.hotmoka.node.api.signatures.Signature
- hashCode() - Method in interface io.hotmoka.node.api.transactions.TransactionReference
- hashCode() - Method in interface io.hotmoka.node.api.types.StorageType
- hashCode() - Method in interface io.hotmoka.node.api.updates.Update
- hashCode() - Method in interface io.hotmoka.node.api.values.StorageValue
I
- ignoreGasPrice(boolean) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Specifies that the minimum gas price for transactions is 0, so that the current gas price is not relevant for the execution of the transactions.
- ignoresGasPrice() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields true if and only if the node ignores the minimum gas price.
- InitializationTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request to initialize a node.
- InitializationTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that initializes a node.
- InitialTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request for a transaction that can only be executed before the initialization of a node.
- InitialTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for an initial transaction.
- InstanceMethodCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling an instance method of a storage object in a node.
- InstanceSystemMethodCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling an instance method of a storage object in a node.
- intoWithoutSelector(MarshallingContext) - Method in interface io.hotmoka.node.api.values.StorageReference
-
Marshals this object into the given context, without the selector that, instead, gets added by
Marshallable.into(MarshallingContext). - intoWithoutSignature(MarshallingContext) - Method in interface io.hotmoka.node.api.requests.SignedTransactionRequest
-
Marshals this object into a given stream.
- IntValue - Interface in io.hotmoka.node.api.values
-
An
intvalue stored in the store of a Hotmoka node. - io.hotmoka.node.api - module io.hotmoka.node.api
-
This module defines the API of the shared code of all Hotmoka nodes.
- io.hotmoka.node.api - package io.hotmoka.node.api
- io.hotmoka.node.api.nodes - package io.hotmoka.node.api.nodes
- io.hotmoka.node.api.requests - package io.hotmoka.node.api.requests
- io.hotmoka.node.api.responses - package io.hotmoka.node.api.responses
- io.hotmoka.node.api.signatures - package io.hotmoka.node.api.signatures
- io.hotmoka.node.api.transactions - package io.hotmoka.node.api.transactions
- io.hotmoka.node.api.types - package io.hotmoka.node.api.types
- io.hotmoka.node.api.updates - package io.hotmoka.node.api.updates
- io.hotmoka.node.api.values - package io.hotmoka.node.api.values
- isEager() - Method in interface io.hotmoka.node.api.types.StorageType
-
Determines if this type is eager.
- isEager() - Method in interface io.hotmoka.node.api.updates.Update
-
Determines if the information expressed by this update is set immediately (ie, it is eager) when a storage object is deserialized from blockchain.
J
- JarFuture - Interface in io.hotmoka.node.api
-
The future of a transaction that stores a jar in a node.
- JarStoreInitialTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for a transaction that installs a jar in a yet non-initialized node.
- JarStoreInitialTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that installs a jar in a yet non-initialized node.
- JarStoreTransactionFailedResponse - Interface in io.hotmoka.node.api.responses
-
A response for a failed transaction that should have installed a jar in the node.
- JarStoreTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for a transaction that installs a jar in an initialized node.
- JarStoreTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that installed a jar in an initialized node.
- JarStoreTransactionResponseWithInstrumentedJar - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that successfully installed a jar in a node.
- JarStoreTransactionSuccessfulResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that installed a jar in a node.
L
- LongValue - Interface in io.hotmoka.node.api.values
-
A
longvalue stored in the store of a Hotmoka node.
M
- MethodCallTransactionExceptionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that calls a method in the store of a node.
- MethodCallTransactionFailedResponse - Interface in io.hotmoka.node.api.responses
-
A response for a failed transaction that should have called a method in a node.
- MethodCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling a method in a node.
- MethodCallTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that should call a method in a node.
- MethodFuture - Interface in io.hotmoka.node.api
-
The future of a transaction that executes a method in a node.
- MethodSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a method of a class.
N
- Node - Interface in io.hotmoka.node.api
-
A node of the Hotmoka network, that provides the storage facilities for the execution of Takamaka code.
- NodeInfo - Interface in io.hotmoka.node.api.nodes
-
Node-specific information about a Hotmoka node.
- NonInitialTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request for a transaction that can only be run after the node has been initialized.
- NonInitialTransactionResponse - Interface in io.hotmoka.node.api.responses
-
A response for a non-initial transaction.
- NonVoidMethodCallTransactionSuccessfulResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that calls a method in the store of a node.
- NonVoidMethodSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a method of a class, that returns a value.
- notifyEvent(StorageReference, StorageReference) - Method in interface io.hotmoka.node.api.SubscriptionsManager
-
Notifies the given event to all event handlers for the given creator.
- NullValue - Interface in io.hotmoka.node.api.values
-
The
nullvalue stored in the store of a Hotmoka node.
O
- ordinal() - Method in interface io.hotmoka.node.api.types.BasicType
-
Yields the ordinal number of this basic types.
P
- postConstructorCallTransaction(ConstructorCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Posts a transaction that runs a constructor of a class in this node.
- postInstanceMethodCallTransaction(InstanceMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Posts a transaction that runs an instance method of an object already in this node's store.
- postJarStoreTransaction(JarStoreTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Posts a transaction that expands the store of this node with a transaction that installs a jar in it.
- postStaticMethodCallTransaction(StaticMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Posts a request that runs a static method of a class in this node.
R
- REQUEST_HASH_LENGTH - Static variable in interface io.hotmoka.node.api.transactions.TransactionReference
-
The length of the hash of a transaction reference.
- runInstanceMethodCallTransaction(InstanceMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Runs an instance
@@Viewmethod of an object already in this node's store. - runStaticMethodCallTransaction(StaticMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
-
Runs a static
@@Viewmethod of a class in this node.
S
- sameProperty(Update) - Method in interface io.hotmoka.node.api.updates.Update
-
Determines if this update is for the same property of the
other, although possibly for a different object. - setChainId(String) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the chain identifier of the node.
- setFinalSupply(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the final supply of coins of the node.
- setGenesisTime(LocalDateTime) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the genesis time, UTC.
- setHeightAtFinalSupply(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the height at the final supply.
- setInitialGasPrice(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the initial gas price.
- setInitialSupply(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the initial supply of coins of the node.
- setMaxCumulativeSizeOfDependencies(long) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the maximal cumulative size (in bytes) of the instrumented jars of the dependencies of a transaction.
- setMaxDependencies(int) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the maximal number of dependencies in the classpath of a transaction.
- setMaxGasPerTransaction(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the maximal amount of gas that a non-view transaction can consume.
- setMaxRequestSize(long) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the maximal size (in bytes) of a request; larger requests will be rejected.
- setOblivion(long) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets how quickly the gas consumed at previous rewards is forgotten: 0 means never, 1_000_000 means immediately.
- setPublicKeyOfGamete(PublicKey) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the public key for the gamete account.
- setSignatureForRequests(SignatureAlgorithm) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Specifies the signature algorithm to use to sign the requests sent to the node.
- setTargetGasAtReward(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the units of gas that are aimed to be rewarded at each reward.
- setTicketForNewPoll(BigInteger) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the amount of coins that must be paid to start a new poll amount to validators, for instance to change a consensus parameter.
- setVerificationVersion(long) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Sets the version of the verification module to use.
- ShortValue - Interface in io.hotmoka.node.api.values
-
A
shortvalue stored in the store of a Hotmoka node. - Signature - Interface in io.hotmoka.node.api.signatures
-
The signature of a field, method or constructor.
- SignedTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request signed with a signature of its caller.
- skipsVerification() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields true if and only if the static verification of the classes of the jars installed in the node must be skipped.
- skipVerification(boolean) - Method in interface io.hotmoka.node.api.nodes.ConsensusConfigBuilder
-
Requires to skip the verification of the classes of the jars installed in the node.
- StaticMethodCallTransactionRequest - Interface in io.hotmoka.node.api.requests
-
A request for calling a static method of a storage class in a node.
- StorageReference - Interface in io.hotmoka.node.api.values
-
A reference to an object of class type that can be stored in the the store of a Hotmoka node.
- StorageType - Interface in io.hotmoka.node.api.types
-
A type that can be used in the store of a Hotmoka node.
- StorageValue - Interface in io.hotmoka.node.api.values
-
A value that can be stored in the store of a Hotmoka node, passed as argument or returned between the outside world and the node.
- StringValue - Interface in io.hotmoka.node.api.values
-
A string stored in the store of a Hotmoka node.
- subscribeToEvents(StorageReference, BiConsumer<StorageReference, StorageReference>) - Method in interface io.hotmoka.node.api.Node
-
Subscribes the given handler for events with the given creator.
- subscribeToEvents(StorageReference, BiConsumer<StorageReference, StorageReference>) - Method in interface io.hotmoka.node.api.SubscriptionsManager
-
Subscribes the given handler for events with the given creator.
- Subscription - Interface in io.hotmoka.node.api
-
A subscription to events generated by a node.
- SubscriptionsManager - Interface in io.hotmoka.node.api
-
A manager of subscriptions to the events occurring in a Hotmoka node.
- SystemTransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request whose transaction is started from the node itself.
T
- toBuilder() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields a builder initialized with the information in this object.
- toByteArrayWithoutSelector() - Method in interface io.hotmoka.node.api.values.StorageReference
-
Transforms this object into a byte array, without the selector that, instead, gets added by
io.hotmoka.marshalling.api.Marshallable#toByteArray(). - toByteArrayWithoutSignature() - Method in interface io.hotmoka.node.api.requests.SignedTransactionRequest
-
Marshals this object into a byte array, without taking its signature into account.
- toString() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
- toString() - Method in interface io.hotmoka.node.api.nodes.NodeInfo
- toString() - Method in interface io.hotmoka.node.api.requests.TransactionRequest
- toString() - Method in interface io.hotmoka.node.api.responses.TransactionResponse
- toString() - Method in interface io.hotmoka.node.api.signatures.CodeSignature
- toString() - Method in interface io.hotmoka.node.api.signatures.FieldSignature
- toString() - Method in interface io.hotmoka.node.api.signatures.Signature
- toString() - Method in interface io.hotmoka.node.api.transactions.TransactionReference
- toString() - Method in interface io.hotmoka.node.api.types.StorageType
- toString() - Method in interface io.hotmoka.node.api.updates.Update
- toString() - Method in interface io.hotmoka.node.api.values.StorageValue
- toToml() - Method in interface io.hotmoka.node.api.nodes.ConsensusConfig
-
Yields a TOML representation of this configuration.
- TransactionException - Exception Class in io.hotmoka.node.api
-
A wrapper of an exception, raised during a transaction, that occurred during the execution of a Takamaka constructor or method that was not allowed to throw it.
- TransactionException(String) - Constructor for exception class io.hotmoka.node.api.TransactionException
-
Builds an exception, raised during a transaction, that occurred during the execution of a Takamaka constructor or method that was not allowed to throw it.
- TransactionException(String, String, String) - Constructor for exception class io.hotmoka.node.api.TransactionException
-
Builds an exception, raised during a transaction, that occurred during the execution of a Takamaka constructor or method that was not allowed to throw it.
- TransactionReference - Interface in io.hotmoka.node.api.transactions
-
A unique identifier for a transaction.
- TransactionRejectedException - Exception Class in io.hotmoka.node.api
-
An exception raised when a transaction cannot even be started.
- TransactionRejectedException(String) - Constructor for exception class io.hotmoka.node.api.TransactionRejectedException
-
Builds an exception with the given message.
- TransactionRejectedException(Throwable) - Constructor for exception class io.hotmoka.node.api.TransactionRejectedException
-
Builds an exception with the given cause.
- TransactionRequest<R> - Interface in io.hotmoka.node.api.requests
-
A request of a transaction.
- TransactionResponse - Interface in io.hotmoka.node.api.responses
-
The response of a transaction.
- TransactionResponseWithEvents - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that might contain events.
- TransactionResponseWithUpdates - Interface in io.hotmoka.node.api.responses
-
A response for a transaction that might contain updates.
U
- UninitializedNodeException - Exception Class in io.hotmoka.node.api
-
An exception stating that a Hotmoka node has not been initialized yet.
- UninitializedNodeException() - Constructor for exception class io.hotmoka.node.api.UninitializedNodeException
-
Creates a new exception.
- UninitializedNodeException(String) - Constructor for exception class io.hotmoka.node.api.UninitializedNodeException
-
Creates a new exception with the given message.
- UnknownReferenceException - Exception Class in io.hotmoka.node.api
-
An exception stating that a storage reference cannot be found in a Hotmoka node.
- UnknownReferenceException(TransactionReference) - Constructor for exception class io.hotmoka.node.api.UnknownReferenceException
-
Creates a new exception.
- UnknownReferenceException(StorageReference) - Constructor for exception class io.hotmoka.node.api.UnknownReferenceException
-
Creates a new exception.
- UnknownReferenceException(String) - Constructor for exception class io.hotmoka.node.api.UnknownReferenceException
-
Creates a new exception with the given message.
- Update - Interface in io.hotmoka.node.api.updates
-
An update states that a property of an object has been modified to a given value.
- UpdateOfBigInteger - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
BigInteger. - UpdateOfBoolean - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
boolean. - UpdateOfByte - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
byte. - UpdateOfChar - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
char. - UpdateOfDouble - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
double. - UpdateOfField - Interface in io.hotmoka.node.api.updates
-
Implementation of an update of a field of an object.
- UpdateOfFloat - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
float. - UpdateOfInt - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
int. - UpdateOfLong - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
long. - UpdateOfShort - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
short. - UpdateOfStorage - Interface in io.hotmoka.node.api.updates
-
An update of a field of storage (reference) type.
- UpdateOfString - Interface in io.hotmoka.node.api.updates
-
An update of a field of type
String. - UpdateToNull - Interface in io.hotmoka.node.api.updates
-
An update of a field to
null.
V
- VoidMethodCallTransactionSuccessfulResponse - Interface in io.hotmoka.node.api.responses
-
A response for a successful transaction that calls a method in the store of a node.
- VoidMethodSignature - Interface in io.hotmoka.node.api.signatures
-
The signature of a method of a class, that does not return any value.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form