Module io.hotmoka.node.api

Package io.hotmoka.node.api.updates

Interface UpdateOfDouble

All Superinterfaces:

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

public interface UpdateOfDouble
extends UpdateOfField

An update of a field of type double.

Method Summary

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

DoubleValue getValue()

Description copied from interface: UpdateOfField

Yields the value set into the updated field.

Specified by:

getValue in interface UpdateOfField

Returns:

the value