Module io.hotmoka.constants

Package io.hotmoka.constants

Class Constants

java.lang.Object

io.hotmoka.constants.Constants

public final class Constants
extends Object

Constants about Hotmoka.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	HOTMOKA_VERSION	The version of the Hotmoka code.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

HOTMOKA_VERSION

public static final String HOTMOKA_VERSION

The version of the Hotmoka code.