public function __construct(
    public Evaluator $engine,
    public Frame $frame,
    public ?Instruction $instruction,
    public int $depth,
    public ?string $function = null,
    public ?Site $site = null,
)

source §

Captures one evaluation site without evaluating its children.

Parameters

`$engine`	`Evaluator`
`$frame`	`Frame`
`$instruction`	`?Instruction`
`$depth`	`int`
`$function`	`?string`
`$site`	`?Site`

Throws

EvaluationContractException If no operation site is supplied

Calls 1

new EvaluationContractException line 31

public function name(): string

source §

Returns the resolved function name or exact operation name.

Returns

string

Test cases 2

Called from 2

Calls 3

method-call Request::instruction() line 41
function-call strtolower line 41
function-call ltrim line 41

public function operation(): string

source §

Identifies a registered operation without exposing its graph representation.

Returns

string

Test cases 1

RequestTest::testOperationKeepsInstructionAndSiteDemandsDistinct calls

Called from 1

method-call Deriver\Deriver\Evaluator\Micro\ConfiguredEvaluator::evaluate() packages/deriver/src/Deriver/Evaluator/Micro/ConfiguredEvaluator.php:45

Calls 1

method-call Request::instruction() line 49

public function source(): SourceRef

source §

Locates the selected operation or declaration in captured source.

Returns

SourceRef

Test cases 1

RequestTest::testSourceKeepsInstructionAndSiteDemandsDistinct calls

Called from 2

Calls 1

method-call Request::instruction() line 57

public function input(int|string $key): Term

source §

Evaluates only the requested operand or direct argument.

Parameters

$key int|string

Returns

Term

Throws

EvaluationContractException If the evaluator requests an absent input

Test cases 3

Called from 2

Calls 2

method-call Evaluator::value() line 66
method-call Request::register() line 66

public function truth(int|string $key): Term

source §

Demands only boolean possibilities, separately from complete value inputs.

Parameters

$key int|string

Returns

Term

Test cases 1

RequestTest::testTruthKeepsInstructionAndSiteDemandsDistinct calls

Called from 1

method-call Deriver\Deriver\MicroEvaluatorConversion::convert() packages/deriver/src/Deriver/MicroEvaluatorConversion.php:30

Calls 3

public function register(int|string $key): string

source §

Selects an instruction input without demanding it.

Parameters

$key int|string

Returns

string

Throws

EvaluationContractException If the input is absent

Test cases 1

RequestTest::testRegisterRejectsAbsentInputsWithoutExpandingSource calls

Called from 2

Calls 2

method-call Request::instruction() line 83
new EvaluationContractException line 94

public function instruction(): Instruction

source §

Supplies an instruction only to built-ins that evaluate instructions.

Returns

Instruction

Throws

EvaluationContractException If the built-in receives another kind of site

Test cases 1

RequestTest::testInstructionKeepsInstructionAndSiteDemandsDistinct calls

Called from 9

Calls 1

new EvaluationContractException line 105

public function inputs(): array<int|string, Term>

source §

Returns

array<int|string, Term> Evaluated dependencies for evidence

Test cases 4

Called from 1

method-call Deriver\Deriver\Evaluator\Micro\ConfiguredEvaluator::evaluate() packages/deriver/src/Deriver/Evaluator/Micro/ConfiguredEvaluator.php:60

Private surface 1§

Implementation details, listed for orientation only.

private array<int|string, Term> $inputs = []

Test cases 19§

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

Dedicated tests 8

Other tests reaching this symbol 11

Relations§

Instantiated in 7

Method calls 14

Type declarations 10