Module io.mokamint.application.service.api

Package io.mokamint.application.service.api

Interface ApplicationService

All Superinterfaces:

AutoCloseable, io.hotmoka.websockets.server.api.WebSocketServer

public interface ApplicationService
extends io.hotmoka.websockets.server.api.WebSocketServer

A websocket server for the public API of a Mokamint application.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ABORT_BLOCK_ENDPOINT	The network endpoint path where Application.abortBlock(int) is published.
static final String	BEGIN_BLOCK_ENDPOINT	The network endpoint path where Application.beginBlock(long, java.time.LocalDateTime, byte[]) is published.
static final String	CHECK_PROLOG_EXTRA_ENDPOINT	The network endpoint path where Application.checkPrologExtra(byte[]) is published.
static final String	CHECK_TRANSACTION_ENDPOINT	The network endpoint path where Application.checkTransaction(Transaction) is published.
static final String	COMMIT_BLOCK_ENDPOINT	The network endpoint path where Application.commitBlock(int) is published.
static final String	DELIVER_TRANSACTION_ENDPOINT	The network endpoint path where Application.deliverTransaction(int, Transaction) is published.
static final String	END_BLOCK_ENDPOINT	The network endpoint path where Application.endBlock(int, io.mokamint.nonce.api.Deadline) is published.
static final String	GET_INITIAL_STATE_ID_ENDPOINT	The network endpoint path where Application.getInitialStateId() is published.
static final String	GET_PRIORITY_ENDPOINT	The network endpoint path where Application.getPriority(Transaction) is published.
static final String	GET_REPRESENTATION_ENDPOINT	The network endpoint path where Application.getRepresentation(Transaction) is published.
static final String	KEEP_FROM_ENDPOINT	The network endpoint path where Application.keepFrom(java.time.LocalDateTime) is published.
static final String	PUBLISH_ENDPOINT	The network endpoint path where Application.publish(io.mokamint.node.api.Block) is published.

Method Summary

Modifier and Type	Method	Description
void	close()

Field Details

CHECK_PROLOG_EXTRA_ENDPOINT

static final String CHECK_PROLOG_EXTRA_ENDPOINT

The network endpoint path where Application.checkPrologExtra(byte[]) is published.

See Also:

• Constant Field Values

CHECK_TRANSACTION_ENDPOINT

static final String CHECK_TRANSACTION_ENDPOINT

The network endpoint path where Application.checkTransaction(Transaction) is published.

See Also:

• Constant Field Values

GET_PRIORITY_ENDPOINT

static final String GET_PRIORITY_ENDPOINT

The network endpoint path where Application.getPriority(Transaction) is published.

See Also:

• Constant Field Values

GET_REPRESENTATION_ENDPOINT

static final String GET_REPRESENTATION_ENDPOINT

The network endpoint path where Application.getRepresentation(Transaction) is published.

See Also:

• Constant Field Values

GET_INITIAL_STATE_ID_ENDPOINT

static final String GET_INITIAL_STATE_ID_ENDPOINT

The network endpoint path where Application.getInitialStateId() is published.

See Also:

• Constant Field Values

BEGIN_BLOCK_ENDPOINT

static final String BEGIN_BLOCK_ENDPOINT

The network endpoint path where Application.beginBlock(long, java.time.LocalDateTime, byte[]) is published.

See Also:

• Constant Field Values

DELIVER_TRANSACTION_ENDPOINT

static final String DELIVER_TRANSACTION_ENDPOINT

The network endpoint path where Application.deliverTransaction(int, Transaction) is published.

See Also:

• Constant Field Values

END_BLOCK_ENDPOINT

static final String END_BLOCK_ENDPOINT

The network endpoint path where Application.endBlock(int, io.mokamint.nonce.api.Deadline) is published.

See Also:

• Constant Field Values

COMMIT_BLOCK_ENDPOINT

static final String COMMIT_BLOCK_ENDPOINT

The network endpoint path where Application.commitBlock(int) is published.

See Also:

• Constant Field Values

ABORT_BLOCK_ENDPOINT

static final String ABORT_BLOCK_ENDPOINT

The network endpoint path where Application.abortBlock(int) is published.

See Also:

• Constant Field Values

KEEP_FROM_ENDPOINT

static final String KEEP_FROM_ENDPOINT

The network endpoint path where Application.keepFrom(java.time.LocalDateTime) is published.

See Also:

• Constant Field Values

PUBLISH_ENDPOINT

static final String PUBLISH_ENDPOINT

The network endpoint path where Application.publish(io.mokamint.node.api.Block) is published.

See Also:

• Constant Field Values

Method Details

close

void close()
    throws InterruptedException

Specified by:

close in interface AutoCloseable

Throws:

InterruptedException