Module io.hotmoka.node.api

Package io.hotmoka.node.api.updates

Interface UpdateOfFloat

All Superinterfaces:

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

public interface UpdateOfFloat
extends UpdateOfField

An update of a field of type float.

Method Summary

Modifier and Type	Method	Description
FloatValue	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

FloatValue getValue()

Description copied from interface: UpdateOfField

Yields the value set into the updated field.

Specified by:

getValue in interface UpdateOfField

Returns:

the value