Module io.hotmoka.whitelisting

Package io.hotmoka.whitelisting

package io.hotmoka.whitelisting

Classes

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.
WhiteListingClassLoaders	A provider of white-listing class loaders.
WhitelistingConstants	Constants used in the white-listing algorithm.