Module io.hotmoka.node.api

Package io.hotmoka.node.api.updates

Interface UpdateOfInt

All Superinterfaces:

Comparable<Update>, io.hotmoka.marshalling.api.Marshallable, Update, UpdateOfField

public interface UpdateOfInt
extends UpdateOfField

An update of a field of type int.

Method Summary

Modifier and Type	Method	Description
IntValue	getValue()	Yields the value set into the updated field.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface io.hotmoka.marshalling.api.Marshallable

into, size, toByteArray

Methods inherited from interface io.hotmoka.node.api.updates.Update

equals, getObject, hashCode, isEager, sameProperty, toString

Methods inherited from interface io.hotmoka.node.api.updates.UpdateOfField

getField

Method Details

getValue

IntValue getValue()

Description copied from interface: UpdateOfField

Yields the value set into the updated field.

Specified by:

getValue in interface UpdateOfField

Returns:

the value