Module io.hotmoka.whitelisting

Package io.hotmoka.whitelisting

Class Dummy

java.lang.Object

io.hotmoka.whitelisting.Dummy

public final class Dummy
extends Object

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. 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.

Field Summary

Fields

Modifier and Type	Field	Description
static final Dummy	METHOD_ON_THIS	This value is passed to a from contract method to signal that it has been called on this in the caller.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

METHOD_ON_THIS

public static final Dummy METHOD_ON_THIS

This value is passed to a from contract method to signal that it has been called on this in the caller.