final class Claims

Records which specifications account for each source unit.

A specification claims the units of its own evidence and of the requirements it refines, unless its evidence or that of one of those requirements is invalid.

Methods§

public function assign(
    array<string, SourceUnit> $units,
    array<string, Item> $items,
    array<string, list<string>> $evidence,
    array<string, true> $invalid,
): array<string, SourceUnit>

Records the claims on the units and orders the units by key.

Parameters

$unitsarray<string, SourceUnit>The collected units by key
$itemsarray<string, Item>Every item by ID
$evidencearray<string, list<string>>The quoted unit keys by item ID
$invalidarray<string, true>The IDs of items with invalid evidence

Returns

array<string, SourceUnit> The units ordered by key
Test cases 7
Called from 1
Calls 3

Test cases 15§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 7
Other tests reaching this symbol 8

Relations§

Instantiated in 1
Method calls 1