Uses of Package
io.hotmoka.whitelisting

Classes in io.hotmoka.whitelisting used by io.hotmoka.whitelisting

Class	Description
Dummy	This class is used only in the instrumentation of from contract methods or constructors, as an extra type added at the end of its signature: m(formals) becomes m(formals, Contract, Dummy), where the io.takamaka.code.lang.Contract is the caller.