Module io.hotmoka.network

Package io.hotmoka.network.updates

Class StateModel

java.lang.Object

io.hotmoka.network.updates.StateModel

public class StateModel
extends Object

The model of the state of an object: just the set of its updates.

Field Summary

Fields

Modifier and Type	Field	Description
List<UpdateModel>	updates

Constructor Summary

Constructors

Constructor	Description
StateModel()
StateModel(Stream<Update> state)	Builds the model of the given state of an object.

Method Summary

Modifier and Type	Method	Description
Stream<Update>	toBean()	Yields the updates having this model.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

updates

public List<UpdateModel> updates

Constructor Details

StateModel

public StateModel(Stream<Update> state)

Builds the model of the given state of an object.

Parameters:

state - the state

StateModel

public StateModel()

Method Details

toBean

public Stream<Update> toBean()

Yields the updates having this model.

Returns:

the updates