Module io.hotmoka.node.mokamint.api
Package io.hotmoka.node.mokamint.api

Interface MokamintInitializedNode

All Superinterfaces:
AutoCloseable, InitializedNode, io.hotmoka.node.api.Node, io.hotmoka.closeables.api.OnCloseHandlersContainer
public interface MokamintInitializedNode extends InitializedNode
A node where the jar with the basic Takamaka classes have been installed, along with a gamete and a manifest. It uses the validators object of a Hotmoka node based on Mokamint.

  • Method Summary

    Methods inherited from interface io.hotmoka.helpers.api.InitializedNode

    gamete

    Methods inherited from interface io.hotmoka.node.api.Node

    addConstructorCallTransaction, addGameteCreationTransaction, addInitializationTransaction, addInstanceMethodCallTransaction, addJarStoreInitialTransaction, addJarStoreTransaction, addStaticMethodCallTransaction, close, getClassTag, getConfig, getIndex, getInfo, getManifest, getPolledResponse, getRequest, getResponse, getState, getTakamakaCode, postConstructorCallTransaction, postInstanceMethodCallTransaction, postJarStoreTransaction, postStaticMethodCallTransaction, runInstanceMethodCallTransaction, runStaticMethodCallTransaction, subscribeToEvents

    Methods inherited from interface io.hotmoka.closeables.api.OnCloseHandlersContainer

    addOnCloseHandler, removeOnCloseHandler