github.com

classDomainOperations

packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:15
final class DomainOperations
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

Checks domain laws and inclusion before admitting facts into the evaluation.

Methods§

public function registration(AbstractDomain $domain): array{string, string}
source§

Validates a domain before registering its identity and version.

Parameters

$domainAbstractDomainRegistered implementation

Returns

array{string, string} Identity and semantic version

Throws

EvaluationContractException If the domain violates a lattice law
Test cases 3
Called from 1
Calls 8
public function apply(
    AbstractDomain $domain,
    string $operation,
    Term $left,
    Term|null $right = null,
    Projection $projection = new \Deriver\Deriver\Evaluator\Projection(),
): Term
source§

Applies join, widening, or projection and checks the returned fact.

Parameters

$domainAbstractDomainRegistered lattice
$operationstringjoin, widen, or project
$leftTermFirst encoded domain fact
$rightTerm|nullSecond fact for join or widening
$projectionProjectionRequested fields

Returns

Term Checked encoded fact

Throws

EvaluationContractException If the operation or returned fact violates its contract
Test cases 6
Called from 2
Calls 9
public function contains(AbstractDomain $domain, Term $upper, Term $lower): bool
source§

Tests inclusion without treating a provider failure as a negative answer.

Parameters

$domainAbstractDomainRegistered lattice
$upperTermCandidate containing fact
$lowerTermCandidate contained fact

Returns

bool Whether the domain establishes inclusion
Test cases 2
Called from 1
Calls 4

Test cases 14§

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

Dedicated tests 11
Other tests reaching this symbol 3

Relations§

Instantiated in 4
Method calls 4