VerificationFailure

Rasuvaeff\Understudy\VerificationFailure

Class — Package: rasuvaeff/understudy — Source — Version: v1.1.0-1-g6ed023f

The structured half of one verification failure — the same facts the rendered message states, addressable by field.

For tooling that wants to do something with a failure other than print it: a runner adapter, an IDE plugin, a report aggregator. The rendered message stays the human surface; this class is the machine one.

Which fields are set depends on the kind:

Kind	double	expectation	expectedMinimum/expectedMaximum	actualCount	observedCalls	expectedCalls
UnmetExpectation	label	call spec	the claimed bounds	matched calls	calls to the same method	—
StrictStubUnused	label	call spec	—	0	—	—
OutOfOrder	label	the call that came first	—	—	—	—
OutOfSequence	—	the mismatched position	—	calls made	the whole protocol	the specified sequence
UnaccountedCalls	label	—	—	unaccounted calls	the unaccounted calls	—
UnusedDouble	label	—	0/0	calls received	every call	—

The readonly fields of this class and every existing FailureKind case are stable: renaming, removing or retyping one is a major-version change. A NEW kind, or a field newly populated for an existing kind, may arrive in a minor — so match on FailureKind with a default arm; an exhaustive match over the enum is not a supported way to consume it.

Constructor

__construct(
    FailureKind $kind,
    non-empty-string $summary,
    string|null $double = NULL,
    string|null $expectation = NULL,
    int<0, max>|null $expectedMinimum = NULL,
    int<0, max>|null $expectedMaximum = NULL,
    int<0, max>|null $actualCount = NULL,
    list<\Invocation>|null $observedCalls = NULL,
    list<string>|null $expectedCalls = NULL,
)

Parameter	Type	Default	Description
$kind	FailureKind	required
$summary	non-empty-string	required	this failure's rendered text; the exception's message is these joined with a blank line
$double	string|null	NULL	the label of the double the claim is about
$expectation	string|null	NULL	the call specification, as failure messages render it
$expectedMinimum	int<0, max>|null	NULL
$expectedMaximum	int<0, max>|null	NULL
$actualCount	int<0, max>|null	NULL
$observedCalls	list<\Invocation>|null	NULL	the calls the rendered report shows
$expectedCalls	list<string>|null	NULL	the specified sequence, for OutOfSequence