public final class Dummy
extends Object
This class is used only in the instrumentation of an entry method or constructor,
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 of the entry. The goal is to avoid signature clashes
because of the instrumentation: since this class is not white-listed, it cannot
be used by the programmer and the instrumentation cannot lead to signature clashes.
Moreover, the value passed for this extra parameter can be used to signal something to the callee.