Package io.hotmoka.instrumentation.api
package io.hotmoka.instrumentation.api
-
ClassDescriptionA specification of the cost of gas.Constants about fields used for instrumentation of Takamaka classes.An instrumented class file.An instrumented (and hence verified) jar file.