Module io.hotmoka.node.api

Package io.hotmoka.node.api.updates

Interface UpdateOfChar

All Superinterfaces:

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

public interface UpdateOfChar
extends UpdateOfField

An update of a field of type char.

Method Summary

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

CharValue getValue()

Description copied from interface: UpdateOfField

Yields the value set into the updated field.

Specified by:

getValue in interface UpdateOfField

Returns:

the value