Skip to content

classResultAssessment

packages/deriver/src/Deriver/Execution/ResultAssessment.php:17

final class ResultAssessment

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

Assesses value precision separately from dependency closure and enumeration.

Methods§

public function assess(Context $context): Assessment

Computes independent quality axes from explicit reasons and result terms.

Parameters

$context Context Completed query

Returns

Assessment Independent measures

Test cases 6

Called from 1

method-call Deriver\Deriver\Execution\QueryExecution::result() packages/deriver/src/Deriver/Execution/QueryExecution.php:83

Calls 17

method-call ResultAssessment::precision() line 31
class-const ValuePrecision::Opaque() line 32
class-const ValuePrecision::Abstract() line 33
function-call array_map line 43
function-call array_values line 43
function-call array_diff line 44
function-call in_array line 45
new Assessment line 46
class-const DependencyClosure::Open() line 46
class-const DependencyClosure::Closed() line 46
class-const ValuePrecision::ExactSymbolic() line 46
class-const Correlation::Relaxed() line 46
class-const Correlation::Preserved() line 46
class-const Coverage::Unavailable() line 46
class-const Coverage::OverApproximation() line 46
class-const Enumeration::FiniteExhaustive() line 46
class-const Enumeration::NotEnumerated() line 46

public function opaque(Term $value): bool

Finds opaque dependencies within a partial structure.

Parameters

$value Term Value graph

Returns

bool Whether any projected component is opaque

Test cases 1

ResultAssessmentTest::testOpaqueDetectsUnknownFieldsWithoutTreatingSymbolicInputsAsErrors calls

Calls 2

method-call ResultAssessment::precision() line 56
class-const ValuePrecision::Opaque() line 56

public function precision(Term $value, StorageSnapshot|null $storage = null): ValuePrecision

Classifies the graph without repeatedly expanding shared subexpressions.

Parameters

`$value`	`Term`	Observed value
`$storage`	`StorageSnapshot\|null`	Reachable storage belonging to the observed alternative

Returns

ValuePrecision Precision of the observed graph

Test cases 5

Called from 3

Calls 13

new WeakMap line 67
function-call array_pop line 71
class-const TermKind::Opaque() line 76
class-const TermKind::Uninitialized() line 76
class-const ValuePrecision::Opaque() line 77
class-const TermKind::Abstract() line 79
function-call array_push line 80
function-call array_values line 80
function-call is_string line 81
class-const TermKind::Object() line 83
class-const TermKind::Cell() line 84
class-const ValuePrecision::Abstract() line 94
class-const ValuePrecision::ExactSymbolic() line 94

Test cases 147§

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

Dedicated tests 9

Other tests reaching this symbol 138

Relations§

Instantiated in 1

new Deriver\Deriver\Execution\QueryExecution::result() packages/deriver/src/Deriver/Execution/QueryExecution.php:83

Method calls 1

method-call Deriver\Deriver\Execution\QueryExecution::result() packages/deriver/src/Deriver/Execution/QueryExecution.php:83