All Classes and Interfaces
Classes
Class
Description
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.A provider of white-listing class loaders.
Constants used in the white-listing algorithm.