Module io.hotmoka.instrumentation.api

Package io.hotmoka.instrumentation.api

package io.hotmoka.instrumentation.api

Class	Description
GasCostModel	A specification of the cost of gas.
InstrumentationFields	Constants about fields used for instrumentation of Takamaka classes.
InstrumentedClass	An instrumented class file.
InstrumentedJar	An instrumented (and hence verified) jar file.