VocalDocscontracts 1.65.0

MachineDryRunStep

One macrostep of a machine dry run (1.58.0): the event, the scripted verdict, the guards evaluated, the value after it (state), its effects, records and dispatches.

An object with 7 fields.

Fields

FieldTypeRequiredDescription
dispatchesarray of StateHookDispatchyes
effectsarray of MachineEffectyes
eventMachineEventyes
guardsarray of GuardOutcomeyes
recordsarray of MachineRecordyes
stateMachineStateyes
verdictDecisionVerdict or nullyesThe scripted verdict the step read; null otherwise.