interfaceAbstractDomain

packages/deriver/src/Deriver/Evaluator/Domain/AbstractDomain.php:16

interface AbstractDomain

Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

A versioned abstract lattice; join is inclusion, not application-specific composition.

Naming a domain factdoctest

(new \Deriver\Deriver\Evaluator\Domain\DomainFact('policy', \Deriver\Deriver\Evaluator\Term::array([])))->domain // => 'policy'

Methods§

public function id(): string

source §

Returns

string Stable domain identifier.

Throws

EvaluationException If trusted plugin code fails

Called from 7

public function version(): string

source §

Returns

string Semantic version recorded in the evaluator manifest.

Throws

EvaluationException If trusted plugin code fails

Called from 1

method-call Deriver\Deriver\Evaluator\Domain\DomainOperations::registration() packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:29

public function bottom(): DomainFact

source §

Returns

DomainFact No concrete possibilities.

Throws

EvaluationException If trusted plugin code fails

Called from 3

public function top(): DomainFact

source §

Returns

DomainFact Every domain possibility.

Throws

EvaluationException If trusted plugin code fails

Called from 3

public function lessOrEqual(DomainFact $a, DomainFact $b): bool

source §

Parameters

`$a`	`DomainFact`	Candidate contained fact
`$b`	`DomainFact`	Candidate containing fact

Returns

bool Whether a is included in b

Throws

EvaluationException If trusted plugin code fails

Called from 7

public function join(DomainFact $a, DomainFact $b): DomainFact

source §

Parameters

`$a`	`DomainFact`	First alternative
`$b`	`DomainFact`	Second alternative

Returns

DomainFact Inclusive join

Throws

EvaluationException If trusted plugin code fails

Called from 5

public function widen(DomainFact $previous, DomainFact $next): DomainFact

source §

Parameters

`$previous`	`DomainFact`	Previous approximation
`$next`	`DomainFact`	Next approximation

Returns

DomainFact Finite convergent upper bound

Throws

EvaluationException If trusted plugin code fails

Called from 2

public function project(DomainFact $value, Projection $projection): DomainFact

source §

Parameters

`$value`	`DomainFact`	Structured fact
`$projection`	`Projection`	Required field path

Returns

DomainFact Projected fact

Throws

EvaluationException If trusted plugin code fails

Called from 1

method-call Deriver\Deriver\Evaluator\Domain\DomainOperations::apply() packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:49

Test cases 9§

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

Dedicated tests 1

AbstractDomainTest calls

Other tests reaching this symbol 8

Relations§

Method calls 29

Type declarations 6