final class EntryProperties
Restricted visibility: declared "@visibility Deriver\Deriver\Evaluator" and "@visibility Deriver\Deriver\Evaluator\Execution" and "@visibility Deriver\Deriver\Execution". Code outside that scope must not name this declaration.

Installs explicitly supplied receiver property values as an entry object's initial state.

Properties§

public Context $context

Methods§

public function __construct(public Context $context)

Parameters

$contextContextDeclaration world
public function apply(
    CallableGraph $body,
    Term|null $receiver,
    array<string, Term> $properties,
    State $state,
): void

Writes each supplied value into the receiver's declared storage slot. Unsupplied properties keep the symbolic, declared-type state of an external object.

Parameters

$bodyCallableGraphEntry callable
$receiverTerm|nullBound receiver, or null for static and function entries
$propertiesarray<string, Term>Supplied values keyed by property name
$stateStateEntry state before argument binding

Throws

InvalidInputException If there is no receiver, a property is not a declared instance property, or a value violates its declared type
Test cases 5
Called from 1
Calls 13

Test cases 6§

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

Dedicated tests 5
Other tests reaching this symbol 1

Relations§

Instantiated in 1
Method calls 1