Checks program.project(state) against update in state, both ways, as effect-tea's dispatchViolations
checks a view. The candidates are the messages a test asks about, each with its sender: the messages of an
order, sent by its customer and by the warehouse. Each is sent as a caller at at. A candidate
the projection allows to its sender must be accepted, and one it does not allow must be rejected. Candidates of a
kind allows leaves out are skipped. A retry is answered from the stored reply, so nothing here checks that a message acts once.
allows is given the projection as a caller reads it, decoded from its JSON, where -0 is 0. A projection that
does not encode throws the defect the runtime suspends the entity on, since no caller reads it. update is given
state and each candidate as the test gives them (decision 0276).
Returns every violation, so that a test can assert there are none, for generated states.
Checks
program.project(state)againstupdateinstate, both ways, as effect-tea'sdispatchViolationschecks a view. Thecandidatesare the messages a test asks about, each with its sender: the messages of an order, sent by its customer and by the warehouse. Each is sent as a caller atat. A candidate the projection allows to its sender must be accepted, and one it does not allow must be rejected. Candidates of a kindallowsleaves out are skipped. A retry is answered from the stored reply, so nothing here checks that a message acts once.allowsis given the projection as a caller reads it, decoded from its JSON, where-0is0. A projection that does not encode throws the defect the runtime suspends the entity on, since no caller reads it.updateis givenstateand each candidate as the test gives them (decision 0276). Returns every violation, so that a test can assert there are none, for generated states.