Index

C D G I O R S T
All Classes and Interfaces|All Packages|Constant Field Values

C

classes() - Method in interface io.hotmoka.instrumentation.api.InstrumentedJar

Yields the classes in this jar file.

cpuBaseTransactionCost() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost for starting the execution of a transaction.

cpuCostForInstallingJar(int) - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost for installing in store a jar consisting of the given number of bytes.

cpuCostForLoadingJar(int) - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost for loading from store a jar consisting of the given number of bytes.

cpuCostOfArithmeticInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of an arithmetic instruction.

cpuCostOfArrayAccessInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of an array access instruction.

cpuCostOfFieldAccessInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of a field access instruction.

cpuCostOfInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of an instruction that does not fall in any more specific category.

cpuCostOfInvokeInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of an invoke instruction.

cpuCostOfMemoryAllocationInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of a memory allocation instruction.

cpuCostOfSelectInstruction() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the CPU gas cost of the execution of a select instruction.

D

dump(Path) - Method in interface io.hotmoka.instrumentation.api.InstrumentedJar

Dumps this instrumented jar into a file.

G

GasCostModel - Interface in io.hotmoka.instrumentation.api

A specification of the cost of gas.

getClassName() - Method in interface io.hotmoka.instrumentation.api.InstrumentedClass

Yields the fully-qualified name of this class.

I

IN_STORAGE - Static variable in class io.hotmoka.instrumentation.api.InstrumentationFields

The name of the field used in instrumented storage classes to remember if the object is new or already serialized in blockchain.

InstrumentationFields - Class in io.hotmoka.instrumentation.api

Constants about fields used for instrumentation of Takamaka classes.

InstrumentedClass - Interface in io.hotmoka.instrumentation.api

An instrumented class file.

InstrumentedJar - Interface in io.hotmoka.instrumentation.api

An instrumented (and hence verified) jar file.

io.hotmoka.instrumentation.api - module io.hotmoka.instrumentation.api

This module defines the API of the instrumentation of Takamaka code before being installed in a Hotmoka node.

io.hotmoka.instrumentation.api - package io.hotmoka.instrumentation.api

O

OLD_PREFIX - Static variable in class io.hotmoka.instrumentation.api.InstrumentationFields

The prefix of the name of the field used in instrumented storage classes to take note of the old value of the fields.

R

ramCostForInstallingJar(int) - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM gas cost for installing in store a jar consisting of the given bytes.

ramCostForLoadingJar(int) - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM gas cost for loading from store a jar consisting of the given bytes.

ramCostOfActivationRecord() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of an activation record, without considering the variables therein.

ramCostOfActivationSlot() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of a single variable inside an activation record.

ramCostOfArray() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of an array, without considering its elements.

ramCostOfArraySlot() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of a single element of an array.

ramCostOfField() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of a single field of an object allocated in memory.

ramCostOfObject() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the RAM cost of an object, without considering its fields.

S

STORAGE_REFERENCE_FIELD_NAME - Static variable in class io.hotmoka.instrumentation.api.InstrumentationFields

The name of the instrumented field of storage objects that holds their storage reference.

storageCostOfByte() - Method in interface io.hotmoka.instrumentation.api.GasCostModel

Yields the storage gas cost for storing a byte in the database.

T

toBytes() - Method in interface io.hotmoka.instrumentation.api.InstrumentedJar

Yields the bytes of this jar.

toJavaClass() - Method in interface io.hotmoka.instrumentation.api.InstrumentedClass

Yields a Java class from this object.

C D G I O R S T
All Classes and Interfaces|All Packages|Constant Field Values