Index (io-hotmoka-network 1.3.2 API)

A C D E F G H I J M N O P R S T U V W
All Classes and Interfaces|All Packages|Serialized Form

A

actuals - Variable in class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
algorithm - Variable in class io.hotmoka.network.responses.SignatureAlgorithmResponseModel

C

caller - Variable in class io.hotmoka.network.requests.NonInitialTransactionRequestModel
chainId - Variable in class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
chainId - Variable in class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel
chainId - Variable in class io.hotmoka.network.requests.JarStoreTransactionRequestModel
chainId - Variable in class io.hotmoka.network.requests.StaticMethodCallTransactionRequestModel
className - Variable in class io.hotmoka.network.updates.ClassTagModel: The name of the class of the object.
className - Variable in class io.hotmoka.network.updates.UpdateModel: The name of the class of the object.
classNameOfCause - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel: The fully-qualified class name of the cause exception.
classNameOfCause - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel: The fully-qualified class name of the cause exception.
classNameOfCause - Variable in class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel: The fully-qualified class name of the cause exception.
classNameOfCause - Variable in class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel: The fully-qualified class name of the cause exception.
classNameOfCause - Variable in class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel: The fully-qualified class name of the cause exception.
classpath - Variable in class io.hotmoka.network.requests.GameteCreationTransactionRequestModel
classpath - Variable in class io.hotmoka.network.requests.InitializationTransactionRequestModel
classpath - Variable in class io.hotmoka.network.requests.NonInitialTransactionRequestModel
ClassTagModel - Class in io.hotmoka.network.updates: The model of the class tag of an object.
ClassTagModel() - Constructor for class io.hotmoka.network.updates.ClassTagModel
ClassTagModel(ClassTag) - Constructor for class io.hotmoka.network.updates.ClassTagModel: Builds the model of the class tag of an object.
CodeExecutionTransactionResponseModel - Class in io.hotmoka.network.responses
CodeExecutionTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel
CodeExecutionTransactionResponseModel(CodeExecutionTransactionResponse) - Constructor for class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel
CodeSignatureModel - Class in io.hotmoka.network.signatures: The model of the signature of a method or constructor.
CodeSignatureModel() - Constructor for class io.hotmoka.network.signatures.CodeSignatureModel
CodeSignatureModel(CodeSignature) - Constructor for class io.hotmoka.network.signatures.CodeSignatureModel: Builds the model of the signature of a method or constructor.
ConstructorCallTransactionExceptionResponseModel - Class in io.hotmoka.network.responses
ConstructorCallTransactionExceptionResponseModel() - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel
ConstructorCallTransactionExceptionResponseModel(ConstructorCallTransactionExceptionResponse) - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel
ConstructorCallTransactionFailedResponseModel - Class in io.hotmoka.network.responses
ConstructorCallTransactionFailedResponseModel() - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel
ConstructorCallTransactionFailedResponseModel(ConstructorCallTransactionFailedResponse) - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel
ConstructorCallTransactionRequestModel - Class in io.hotmoka.network.requests: The model of a constructor call transaction.
ConstructorCallTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
ConstructorCallTransactionRequestModel(ConstructorCallTransactionRequest) - Constructor for class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel: Builds the model from the request.
ConstructorCallTransactionResponseModel - Class in io.hotmoka.network.responses
ConstructorCallTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionResponseModel
ConstructorCallTransactionResponseModel(ConstructorCallTransactionResponse) - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionResponseModel
ConstructorCallTransactionSuccessfulResponseModel - Class in io.hotmoka.network.responses
ConstructorCallTransactionSuccessfulResponseModel() - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionSuccessfulResponseModel
ConstructorCallTransactionSuccessfulResponseModel(ConstructorCallTransactionSuccessfulResponse) - Constructor for class io.hotmoka.network.responses.ConstructorCallTransactionSuccessfulResponseModel
constructorSignature - Variable in class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
ConstructorSignatureModel - Class in io.hotmoka.network.signatures: The model of the signature of a constructor of a class.
ConstructorSignatureModel() - Constructor for class io.hotmoka.network.signatures.ConstructorSignatureModel
ConstructorSignatureModel(ConstructorSignature) - Constructor for class io.hotmoka.network.signatures.ConstructorSignatureModel: Builds the model from the signature of a constructor.
creator - Variable in class io.hotmoka.network.requests.EventRequestModel

D

decodeBase64(String) - Method in class io.hotmoka.network.requests.TransactionRequestModel
definingClass - Variable in class io.hotmoka.network.signatures.SignatureModel: The name of the class defining the field, method or constructor.
dependencies - Variable in class io.hotmoka.network.requests.JarStoreInitialTransactionRequestModel
dependencies - Variable in class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel: The dependencies of the jar, previously installed in blockchain.
dependencies - Variable in class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel: The dependencies of the jar, previously installed in blockchain.

E

enumElementName - Variable in class io.hotmoka.network.values.StorageValueModel: Used for enumeration values only: it is the name of the element in the enumeration.
errorModel - Variable in exception class io.hotmoka.network.NetworkExceptionResponse
ErrorModel - Class in io.hotmoka.network.errors: The model of an exception thrown by a REST method.
ErrorModel() - Constructor for class io.hotmoka.network.errors.ErrorModel
ErrorModel(Exception) - Constructor for class io.hotmoka.network.errors.ErrorModel: Builds the model of an exception thrown by a REST method.
ErrorModel(String, Class<? extends Exception>) - Constructor for class io.hotmoka.network.errors.ErrorModel: Builds the model of an exception thrown by a REST method.
event - Variable in class io.hotmoka.network.requests.EventRequestModel
EventRequestModel - Class in io.hotmoka.network.requests
EventRequestModel() - Constructor for class io.hotmoka.network.requests.EventRequestModel
EventRequestModel(StorageReference, StorageReference) - Constructor for class io.hotmoka.network.requests.EventRequestModel
events - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel: The events generated by this transaction.
events - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionSuccessfulResponseModel: The events generated by this transaction.
exceptionClassName - Variable in class io.hotmoka.network.errors.ErrorModel: The fully-qualified name of the class of the exception.

F

field - Variable in class io.hotmoka.network.updates.UpdateModel: The field that is updated.
FieldSignatureModel - Class in io.hotmoka.network.signatures: The model of the signature of a field of a class.
FieldSignatureModel() - Constructor for class io.hotmoka.network.signatures.FieldSignatureModel
FieldSignatureModel(FieldSignature) - Constructor for class io.hotmoka.network.signatures.FieldSignatureModel: Builds the model of the signature of a field.
formals - Variable in class io.hotmoka.network.signatures.CodeSignatureModel: The formal arguments of the method or constructor.
from(TransactionRequest<?>) - Static method in class io.hotmoka.network.requests.TransactionRestRequestModel: Builds the model of the given request.
from(TransactionResponse) - Static method in class io.hotmoka.network.responses.TransactionRestResponseModel: Builds the model of the given transaction response.

G

gamete - Variable in class io.hotmoka.network.responses.GameteCreationTransactionResponseModel: The created gamete.
GameteCreationTransactionRequestModel - Class in io.hotmoka.network.requests
GameteCreationTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.GameteCreationTransactionRequestModel
GameteCreationTransactionRequestModel(GameteCreationTransactionRequest) - Constructor for class io.hotmoka.network.requests.GameteCreationTransactionRequestModel: Builds the model from the request.
GameteCreationTransactionResponseModel - Class in io.hotmoka.network.responses
GameteCreationTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.GameteCreationTransactionResponseModel
GameteCreationTransactionResponseModel(GameteCreationTransactionResponse) - Constructor for class io.hotmoka.network.responses.GameteCreationTransactionResponseModel: Builds the model from the response
gasConsumedForCPU - Variable in class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel: The amount of gas consumed by the transaction for CPU execution.
gasConsumedForCPU - Variable in class io.hotmoka.network.responses.JarStoreTransactionResponseModel: The amount of gas consumed by the transaction for CPU execution.
gasConsumedForPenalty - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel: The amount of gas consumed by the transaction as penalty for the failure.
gasConsumedForPenalty - Variable in class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel: The amount of gas consumed by the transaction as penalty for the failure.
gasConsumedForPenalty - Variable in class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel: The amount of gas consumed by the transaction as penalty for the failure.
gasConsumedForRAM - Variable in class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel: The amount of gas consumed by the transaction for RAM allocation.
gasConsumedForRAM - Variable in class io.hotmoka.network.responses.JarStoreTransactionResponseModel: The amount of gas consumed by the transaction for RAM allocation.
gasConsumedForStorage - Variable in class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel: The amount of gas consumed by the transaction for storage consumption.
gasConsumedForStorage - Variable in class io.hotmoka.network.responses.JarStoreTransactionResponseModel: The amount of gas consumed by the transaction for storage consumption.
gasLimit - Variable in class io.hotmoka.network.requests.NonInitialTransactionRequestModel
gasPrice - Variable in class io.hotmoka.network.requests.NonInitialTransactionRequestModel
getActuals() - Method in class io.hotmoka.network.requests.MethodCallTransactionRequestModel
getDependencies() - Method in class io.hotmoka.network.requests.JarStoreTransactionRequestModel
getExceptionClassName() - Method in exception class io.hotmoka.network.NetworkExceptionResponse: Returns the fully-qualified name of the class of the exception.
getFormalsAsTypes() - Method in class io.hotmoka.network.signatures.CodeSignatureModel: Yields the storage types of the formal arguments of this method or constructor.
getMessage() - Method in exception class io.hotmoka.network.NetworkExceptionResponse: Returns the message of the exception.
getStatus() - Method in exception class io.hotmoka.network.NetworkExceptionResponse

H

hash - Variable in class io.hotmoka.network.values.TransactionReferenceModel: Used at least for local transactions.

I

ID - Variable in class io.hotmoka.network.nodes.NodeInfoModel
initialAmount - Variable in class io.hotmoka.network.requests.GameteCreationTransactionRequestModel
InitializationTransactionRequestModel - Class in io.hotmoka.network.requests
InitializationTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.InitializationTransactionRequestModel
InitializationTransactionRequestModel(InitializationTransactionRequest) - Constructor for class io.hotmoka.network.requests.InitializationTransactionRequestModel: Builds the model from the request.
InitializationTransactionResponseModel - Class in io.hotmoka.network.responses: The model of a response for a transaction that initializes a node.
InitializationTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.InitializationTransactionResponseModel
InitialTransactionRequestModel - Class in io.hotmoka.network.requests
InitialTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.InitialTransactionRequestModel
InstanceMethodCallTransactionRequestModel - Class in io.hotmoka.network.requests
InstanceMethodCallTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel
InstanceMethodCallTransactionRequestModel(InstanceMethodCallTransactionRequest) - Constructor for class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel: Builds the model from the request.
InstanceSystemMethodCallTransactionRequestModel - Class in io.hotmoka.network.requests
InstanceSystemMethodCallTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.InstanceSystemMethodCallTransactionRequestModel
InstanceSystemMethodCallTransactionRequestModel(InstanceSystemMethodCallTransactionRequest) - Constructor for class io.hotmoka.network.requests.InstanceSystemMethodCallTransactionRequestModel: Builds the model from the request.
instrumentedJar - Variable in class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel: The jar to install, instrumented.
instrumentedJar - Variable in class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel: The jar to install, instrumented.
io.hotmoka.network - module io.hotmoka.network
io.hotmoka.network - package io.hotmoka.network
io.hotmoka.network.errors - package io.hotmoka.network.errors
io.hotmoka.network.nodes - package io.hotmoka.network.nodes
io.hotmoka.network.requests - package io.hotmoka.network.requests
io.hotmoka.network.responses - package io.hotmoka.network.responses
io.hotmoka.network.signatures - package io.hotmoka.network.signatures
io.hotmoka.network.updates - package io.hotmoka.network.updates
io.hotmoka.network.values - package io.hotmoka.network.values

J

jar - Variable in class io.hotmoka.network.requests.JarStoreInitialTransactionRequestModel
jar - Variable in class io.hotmoka.network.requests.JarStoreTransactionRequestModel
jar - Variable in class io.hotmoka.network.updates.ClassTagModel: The transaction that installed the jar from where the class has been loaded.
jar - Variable in class io.hotmoka.network.updates.UpdateModel: The transaction that installed the jar from where the class has been loaded.
JarStoreInitialTransactionRequestModel - Class in io.hotmoka.network.requests: The model of an initial jar store transaction request.
JarStoreInitialTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.JarStoreInitialTransactionRequestModel
JarStoreInitialTransactionRequestModel(JarStoreInitialTransactionRequest) - Constructor for class io.hotmoka.network.requests.JarStoreInitialTransactionRequestModel: Builds the model from the request.
JarStoreInitialTransactionResponseModel - Class in io.hotmoka.network.responses
JarStoreInitialTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel
JarStoreInitialTransactionResponseModel(JarStoreInitialTransactionResponse) - Constructor for class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel
JarStoreTransactionFailedResponseModel - Class in io.hotmoka.network.responses
JarStoreTransactionFailedResponseModel() - Constructor for class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel
JarStoreTransactionFailedResponseModel(JarStoreTransactionFailedResponse) - Constructor for class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel
JarStoreTransactionRequestModel - Class in io.hotmoka.network.requests: The model of a jar store transaction request.
JarStoreTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.JarStoreTransactionRequestModel
JarStoreTransactionRequestModel(JarStoreTransactionRequest) - Constructor for class io.hotmoka.network.requests.JarStoreTransactionRequestModel: Builds the model from the request.
JarStoreTransactionResponseModel - Class in io.hotmoka.network.responses
JarStoreTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.JarStoreTransactionResponseModel
JarStoreTransactionResponseModel(JarStoreNonInitialTransactionResponse) - Constructor for class io.hotmoka.network.responses.JarStoreTransactionResponseModel
JarStoreTransactionSuccessfulResponseModel - Class in io.hotmoka.network.responses
JarStoreTransactionSuccessfulResponseModel() - Constructor for class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel
JarStoreTransactionSuccessfulResponseModel(JarStoreTransactionSuccessfulResponse) - Constructor for class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel

M

manifest - Variable in class io.hotmoka.network.requests.InitializationTransactionRequestModel
message - Variable in class io.hotmoka.network.errors.ErrorModel: The message of the exception.
messageOfCause - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel: The message of the cause exception.
messageOfCause - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel: The message of the cause exception.
messageOfCause - Variable in class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel: The message of the cause exception.
messageOfCause - Variable in class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel: The message of the cause exception.
messageOfCause - Variable in class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel: The message of the cause exception.
method - Variable in class io.hotmoka.network.requests.MethodCallTransactionRequestModel
MethodCallTransactionExceptionResponseModel - Class in io.hotmoka.network.responses
MethodCallTransactionExceptionResponseModel() - Constructor for class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel
MethodCallTransactionExceptionResponseModel(MethodCallTransactionExceptionResponse) - Constructor for class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel
MethodCallTransactionFailedResponseModel - Class in io.hotmoka.network.responses
MethodCallTransactionFailedResponseModel() - Constructor for class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel
MethodCallTransactionFailedResponseModel(MethodCallTransactionFailedResponse) - Constructor for class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel
MethodCallTransactionRequestModel - Class in io.hotmoka.network.requests: The model of a method call transaction request.
MethodCallTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.MethodCallTransactionRequestModel
MethodCallTransactionRequestModel(MethodCallTransactionRequest) - Constructor for class io.hotmoka.network.requests.MethodCallTransactionRequestModel: Builds the model from the request.
MethodCallTransactionResponseModel - Class in io.hotmoka.network.responses
MethodCallTransactionResponseModel() - Constructor for class io.hotmoka.network.responses.MethodCallTransactionResponseModel
MethodCallTransactionResponseModel(MethodCallTransactionResponse) - Constructor for class io.hotmoka.network.responses.MethodCallTransactionResponseModel
MethodCallTransactionSuccessfulResponseModel - Class in io.hotmoka.network.responses
MethodCallTransactionSuccessfulResponseModel() - Constructor for class io.hotmoka.network.responses.MethodCallTransactionSuccessfulResponseModel
MethodCallTransactionSuccessfulResponseModel(MethodCallTransactionSuccessfulResponse) - Constructor for class io.hotmoka.network.responses.MethodCallTransactionSuccessfulResponseModel
methodName - Variable in class io.hotmoka.network.signatures.MethodSignatureModel: The name of the method.
MethodSignatureModel - Class in io.hotmoka.network.signatures: The model of the signature of a method of a class.
MethodSignatureModel() - Constructor for class io.hotmoka.network.signatures.MethodSignatureModel
MethodSignatureModel(MethodSignature) - Constructor for class io.hotmoka.network.signatures.MethodSignatureModel: Builds the model of the signature of a method.
modelOfValueReturned(MethodCallTransactionRequestModel, StorageValue) - Static method in class io.hotmoka.network.values.StorageValueModel: Yields the storage value model of the returned value of a method.

N

name - Variable in class io.hotmoka.network.signatures.FieldSignatureModel: The name of the field.
nameOf(StorageType) - Static method in class io.hotmoka.network.signatures.SignatureModel: Yields a string representation of the given type.
NetworkExceptionResponse - Exception Class in io.hotmoka.network: A network exception with its message and HTTP status.
NetworkExceptionResponse(String, ErrorModel) - Constructor for exception class io.hotmoka.network.NetworkExceptionResponse
newObject - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionSuccessfulResponseModel: The object that has been created by the constructor call.
NodeInfoModel - Class in io.hotmoka.network.nodes
NodeInfoModel() - Constructor for class io.hotmoka.network.nodes.NodeInfoModel
NodeInfoModel(NodeInfo) - Constructor for class io.hotmoka.network.nodes.NodeInfoModel: Builds node-specific information about a Hotmoka node.
nonce - Variable in class io.hotmoka.network.requests.NonInitialTransactionRequestModel
NonInitialTransactionRequestModel - Class in io.hotmoka.network.requests
NonInitialTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.NonInitialTransactionRequestModel
NonInitialTransactionRequestModel(NonInitialTransactionRequest<?>) - Constructor for class io.hotmoka.network.requests.NonInitialTransactionRequestModel

O

object - Variable in class io.hotmoka.network.updates.UpdateModel: The object whose field is modified.

P

progressive - Variable in class io.hotmoka.network.values.StorageReferenceModel
publicKey - Variable in class io.hotmoka.network.requests.GameteCreationTransactionRequestModel

R

receiver - Variable in class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel
receiver - Variable in class io.hotmoka.network.requests.InstanceSystemMethodCallTransactionRequestModel
redInitialAmount - Variable in class io.hotmoka.network.requests.GameteCreationTransactionRequestModel
reference - Variable in class io.hotmoka.network.values.StorageValueModel: Used for storage references.
result - Variable in class io.hotmoka.network.responses.MethodCallTransactionSuccessfulResponseModel: The return value of the method.
returnType - Variable in class io.hotmoka.network.signatures.MethodSignatureModel: The return type of the method, if any.

S

selfCharged - Variable in class io.hotmoka.network.responses.MethodCallTransactionResponseModel: True if and only if the call was charged to the receiver of the target method rather than to the caller of the transaction.
signature - Variable in class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
signature - Variable in class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel
signature - Variable in class io.hotmoka.network.requests.JarStoreTransactionRequestModel
signature - Variable in class io.hotmoka.network.requests.StaticMethodCallTransactionRequestModel
SignatureAlgorithmResponseModel - Class in io.hotmoka.network.responses
SignatureAlgorithmResponseModel() - Constructor for class io.hotmoka.network.responses.SignatureAlgorithmResponseModel
SignatureAlgorithmResponseModel(String) - Constructor for class io.hotmoka.network.responses.SignatureAlgorithmResponseModel
SignatureModel - Class in io.hotmoka.network.signatures: The model of the signature of a field, method or constructor.
SignatureModel() - Constructor for class io.hotmoka.network.signatures.SignatureModel
SignatureModel(String) - Constructor for class io.hotmoka.network.signatures.SignatureModel: Builds the model of the signature of a field, method or constructor.
StateModel - Class in io.hotmoka.network.updates: The model of the state of an object: just the set of its updates.
StateModel() - Constructor for class io.hotmoka.network.updates.StateModel
StateModel(Stream<Update>) - Constructor for class io.hotmoka.network.updates.StateModel: Builds the model of the given state of an object.
StaticMethodCallTransactionRequestModel - Class in io.hotmoka.network.requests
StaticMethodCallTransactionRequestModel() - Constructor for class io.hotmoka.network.requests.StaticMethodCallTransactionRequestModel
StaticMethodCallTransactionRequestModel(StaticMethodCallTransactionRequest) - Constructor for class io.hotmoka.network.requests.StaticMethodCallTransactionRequestModel: Builds the model from the request.
StorageReferenceModel - Class in io.hotmoka.network.values
StorageReferenceModel() - Constructor for class io.hotmoka.network.values.StorageReferenceModel
StorageReferenceModel(StorageReference) - Constructor for class io.hotmoka.network.values.StorageReferenceModel
StorageValueModel - Class in io.hotmoka.network.values: The model of a storage value.
StorageValueModel() - Constructor for class io.hotmoka.network.values.StorageValueModel
StorageValueModel(StorageValue) - Constructor for class io.hotmoka.network.values.StorageValueModel: Builds the model of a storage value.

T

toBean() - Method in class io.hotmoka.network.nodes.NodeInfoModel
toBean() - Method in class io.hotmoka.network.requests.ConstructorCallTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.GameteCreationTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.InitializationTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.InstanceMethodCallTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.InstanceSystemMethodCallTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.JarStoreInitialTransactionRequestModel: Yields the request having this model.
toBean() - Method in class io.hotmoka.network.requests.JarStoreTransactionRequestModel
toBean() - Method in class io.hotmoka.network.requests.StaticMethodCallTransactionRequestModel
toBean() - Method in class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel
toBean() - Method in class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel
toBean() - Method in class io.hotmoka.network.responses.ConstructorCallTransactionSuccessfulResponseModel
toBean() - Method in class io.hotmoka.network.responses.GameteCreationTransactionResponseModel
toBean() - Method in class io.hotmoka.network.responses.InitializationTransactionResponseModel
toBean() - Method in class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel
toBean() - Method in class io.hotmoka.network.responses.JarStoreTransactionFailedResponseModel
toBean() - Method in class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel
toBean() - Method in class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel
toBean() - Method in class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel
toBean() - Method in class io.hotmoka.network.responses.MethodCallTransactionSuccessfulResponseModel
toBean() - Method in class io.hotmoka.network.responses.VoidMethodCallTransactionSuccessfulResponseModel
toBean() - Method in class io.hotmoka.network.signatures.ConstructorSignatureModel: Yields the constructor signature corresponding to this model.
toBean() - Method in class io.hotmoka.network.signatures.FieldSignatureModel: Yields the signature having this model.
toBean() - Method in class io.hotmoka.network.signatures.MethodSignatureModel: Yields the method signature corresponding to this model.
toBean() - Method in class io.hotmoka.network.updates.StateModel: Yields the updates having this model.
toBean() - Method in class io.hotmoka.network.updates.UpdateModel: Yields the update having this model.
toBean() - Method in class io.hotmoka.network.values.StorageReferenceModel
toBean() - Method in class io.hotmoka.network.values.StorageValueModel: Yields the storage value corresponding to this value.
toBean() - Method in class io.hotmoka.network.values.TransactionReferenceModel: Yields the transaction reference having this model.
toBean(StorageReference) - Method in class io.hotmoka.network.updates.ClassTagModel: Yields the class tag having this model, assuming that it belongs to the given object.
transaction - Variable in class io.hotmoka.network.values.StorageReferenceModel
TransactionReferenceModel - Class in io.hotmoka.network.values: The model of a transaction reference.
TransactionReferenceModel() - Constructor for class io.hotmoka.network.values.TransactionReferenceModel
TransactionReferenceModel(TransactionReference) - Constructor for class io.hotmoka.network.values.TransactionReferenceModel: Builds the model of a transaction reference.
transactionRequestModel - Variable in class io.hotmoka.network.requests.TransactionRestRequestModel: The request model which should be an instance of TransactionRequestModel.
TransactionRequestModel - Class in io.hotmoka.network.requests
TransactionRequestModel() - Constructor for class io.hotmoka.network.requests.TransactionRequestModel
transactionResponseModel - Variable in class io.hotmoka.network.responses.TransactionRestResponseModel: The response model which should be an instance of TransactionResponseModel.
TransactionResponseModel - Class in io.hotmoka.network.responses
TransactionResponseModel() - Constructor for class io.hotmoka.network.responses.TransactionResponseModel
TransactionRestRequestModel<T> - Class in io.hotmoka.network.requests: Class which wraps a type request model
TransactionRestRequestModel() - Constructor for class io.hotmoka.network.requests.TransactionRestRequestModel
TransactionRestRequestModel(T) - Constructor for class io.hotmoka.network.requests.TransactionRestRequestModel
TransactionRestResponseModel<T> - Class in io.hotmoka.network.responses: Class which wraps a type response model
TransactionRestResponseModel() - Constructor for class io.hotmoka.network.responses.TransactionRestResponseModel
TransactionRestResponseModel(T) - Constructor for class io.hotmoka.network.responses.TransactionRestResponseModel
type - Variable in class io.hotmoka.network.nodes.NodeInfoModel
type - Variable in class io.hotmoka.network.requests.TransactionRestRequestModel: The runtime type of the request model
type - Variable in class io.hotmoka.network.responses.TransactionRestResponseModel: The runtime type of the response model
type - Variable in class io.hotmoka.network.signatures.FieldSignatureModel: The type of the field.
type - Variable in class io.hotmoka.network.values.StorageValueModel: The type of the value.
type - Variable in class io.hotmoka.network.values.TransactionReferenceModel: The type of transaction.
typeWithName(String) - Static method in class io.hotmoka.network.signatures.SignatureModel: Yields the type with the given name.

U

UpdateModel - Class in io.hotmoka.network.updates: The model of an update of an object.
UpdateModel() - Constructor for class io.hotmoka.network.updates.UpdateModel
UpdateModel(Update) - Constructor for class io.hotmoka.network.updates.UpdateModel: Builds the model of an update of an object.
updates - Variable in class io.hotmoka.network.responses.CodeExecutionTransactionResponseModel: The updates resulting from the execution of the transaction.
updates - Variable in class io.hotmoka.network.responses.GameteCreationTransactionResponseModel: The updates resulting from the execution of the transaction.
updates - Variable in class io.hotmoka.network.responses.JarStoreTransactionResponseModel: The updates resulting from the execution of the transaction.
updates - Variable in class io.hotmoka.network.updates.StateModel

V

value - Variable in class io.hotmoka.network.updates.UpdateModel: The value assigned to the updated field.
value - Variable in class io.hotmoka.network.values.StorageValueModel: Used for primitive values, big integers, strings and null.
verificationToolVersion - Variable in class io.hotmoka.network.responses.JarStoreInitialTransactionResponseModel: The version of the verification tool involved in the verification process.
verificationToolVersion - Variable in class io.hotmoka.network.responses.JarStoreTransactionSuccessfulResponseModel: The version of the verification tool involved in the verification process.
version - Variable in class io.hotmoka.network.nodes.NodeInfoModel
VoidMethodCallTransactionSuccessfulResponseModel - Class in io.hotmoka.network.responses
VoidMethodCallTransactionSuccessfulResponseModel() - Constructor for class io.hotmoka.network.responses.VoidMethodCallTransactionSuccessfulResponseModel
VoidMethodCallTransactionSuccessfulResponseModel(VoidMethodCallTransactionSuccessfulResponse) - Constructor for class io.hotmoka.network.responses.VoidMethodCallTransactionSuccessfulResponseModel

W

where - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionExceptionResponseModel: The program point where the cause exception occurred.
where - Variable in class io.hotmoka.network.responses.ConstructorCallTransactionFailedResponseModel: The program point where the cause exception occurred.
where - Variable in class io.hotmoka.network.responses.MethodCallTransactionExceptionResponseModel: The program point where the cause exception occurred.
where - Variable in class io.hotmoka.network.responses.MethodCallTransactionFailedResponseModel: The program point where the cause exception occurred.

A C D E F G H I J M N O P R S T U V W
All Classes and Interfaces|All Packages|Serialized Form