Module io.hotmoka.node.api

Package io.hotmoka.node.api.updates

Interface UpdateToNull

All Superinterfaces:

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

public interface UpdateToNull
extends UpdateOfField

An update of a field to null.

Method Summary

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

NullValue getValue()

Description copied from interface: UpdateOfField

Yields the value set into the updated field.

Specified by:

getValue in interface UpdateOfField

Returns:

the value