Index

A B C D E F G H I J L M N O P R S T U V 
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 boolean value 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 byte value stored in the store of a Hotmoka node.

C

CharValue - Interface in io.hotmoka.node.api.values
A char value 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 double value 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 float value 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.Gamete that 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 int inside 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 int value 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 long value 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 null value 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 @@View method of an object already in this node's store.
runStaticMethodCallTransaction(StaticMethodCallTransactionRequest) - Method in interface io.hotmoka.node.api.Node
Runs a static @@View method 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 short value 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.
A B C D E F G H I J L M N O P R S T U V 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form