classClaims
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
$units | array<string, SourceUnit> | The collected units by key |
$items | array<string, Item> | Every item by ID |
$evidence | array<string, list<string>> | The quoted unit keys by item ID |
$invalid | array<string, true> | The IDs of items with invalid evidence |
Returns
array<string, SourceUnit> The units ordered by keyTest cases 7
ClaimsTest::testAssignKeepsOtherSpecificationsWhenOneIsInvalidcallsClaimsTest::testAssignLetsASpecificationClaimTheEvidenceOfTheRequirementsItRefinescallsClaimsTest::testAssignLetsNoRequirementClaimItsOwnEvidencecallsClaimsTest::testAssignOrdersTheUnitsByKeycallsClaimsTest::testAssignRecordsTheEvidenceOfASpecificationcallsClaimsTest::testAssignSkipsASpecificationRefiningARequirementWithInvalidEvidencecallsClaimsTest::testAssignSkipsASpecificationWithInvalidEvidencecalls
Called from 1
Test cases 15§
Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.
Dedicated tests 7
ClaimsTest::testAssignKeepsOtherSpecificationsWhenOneIsInvalidcallsClaimsTest::testAssignLetsASpecificationClaimTheEvidenceOfTheRequirementsItRefinescallsClaimsTest::testAssignLetsNoRequirementClaimItsOwnEvidencecallsClaimsTest::testAssignOrdersTheUnitsByKeycallsClaimsTest::testAssignRecordsTheEvidenceOfASpecificationcallsClaimsTest::testAssignSkipsASpecificationRefiningARequirementWithInvalidEvidencecallsClaimsTest::testAssignSkipsASpecificationWithInvalidEvidencecalls
Other tests reaching this symbol 8
MarkdownDocumentTestcallsApplicationTestcallsCommandHandlerTestcallsExecutorTestcallsAnalyzerTestcallsCoverageTestcallsSnapshotTestcallsVerifierTestcalls