Index

D I M O R W
All Classes and Interfaces|All Packages|Constant Field Values

D

Dummy - Class in io.hotmoka.whitelisting

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.

DUMMY_NAME - Static variable in class io.hotmoka.whitelisting.WhitelistingConstants

The name of the class Dummy.

I

io.hotmoka.whitelisting - module io.hotmoka.whitelisting

This module defines the implementation of white-listing in Hotmoka.

io.hotmoka.whitelisting - package io.hotmoka.whitelisting

M

METHOD_ON_THIS - Static variable in class io.hotmoka.whitelisting.Dummy

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

O

of(Stream<byte[]>, long) - Static method in class io.hotmoka.whitelisting.WhiteListingClassLoaders

Yields a white-listing class loader that loads classes from the given jars, provided as byte arrays.

R

RUNTIME_NAME - Static variable in class io.hotmoka.whitelisting.WhitelistingConstants

The name of the class io.hotmoka.node.local.internal.runtime.Runtime.

W

WhiteListingClassLoaders - Class in io.hotmoka.whitelisting

A provider of white-listing class loaders.

WhitelistingConstants - Class in io.hotmoka.whitelisting

Constants used in the white-listing algorithm.

D I M O R W
All Classes and Interfaces|All Packages|Constant Field Values