Precondition
Rasuvaeff\PropertyTesting\StateMachine\Precondition
Class — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2
Names the guard of a Rule: a public method of the machine returning bool, evaluated against the machine's current state before the step runs.
A step whose guard is false is skipped, not failed — the same skip-on-replay contract StateMachine\StateMachine::check() applies to a StateMachine\Command whose precondition a dropped step invalidated.
Constructor
php
__construct(
non-empty-string $method,
)| Parameter | Type | Default | Description |
|---|---|---|---|
$method | non-empty-string | required | The public bool method of the machine that guards the rule. |