classWriteEffects

packages/sql-catalog/src/Core/Analysis/Effect/WriteEffects.php:22

final class WriteEffects

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

Writes whose values cannot be reconstructed, including writes hidden behind calls.

A wildcard means code can modify the current symbol table. Reference aliases are treated conservatively, never as evidence that a local is undefined.

Constants§

public const ALL = '*'

source §

Every local may be changed.

Methods§

public function own(Node $node, ?ProgramIndex $index = null): array<string, true>

source §

The names an operation may change without an ordinary assignment.

Parameters

`$node`	`Node`
`$index`	`?ProgramIndex`

Returns

array<string, true>

Test cases 1

WriteEffectsTest::testOwnRecognizesUnmodelledWrites calls

Called from 4

Calls 8

class-const WriteEffects::ALL() line 39
new ModifiedNames line 41
method-call WriteEffects::dynamicTarget() line 43
method-call ModifiedNames::targets() line 49
method-call Node::isFirstClassCallable() line 51
function-call in_array line 55
function-call strtolower line 55
method-call WriteEffects::arguments() line 59

public function assignment(Expr $target, Environment $environment): void

source §

Invalidates possible aliases before the direct target receives its new value.

Parameters

`$target`	`Expr`
`$environment`	`Environment`

Test cases 1

WriteEffectsTest::testAssignmentInvalidatesAliasValuesBeforeWritingTheTarget calls

Calls 5

method-call ModifiedNames::targets() line 67
new ModifiedNames line 67
new ReferenceEffects line 68
method-call WriteEffects::apply() line 69
method-call WriteEffects::dynamicTarget() line 69

public function dynamicTarget(Expr $target): array<string, true>

source §

Dynamic assignment targets can address any binding in the current scope.

Parameters

$target Expr

Returns

array<string, true>

Test cases 1

WriteEffectsTest::testDynamicTargetFindsNestedVariableVariables calls

Called from 6

Calls 3

method-call WriteEffects::dynamicTarget() line 80
function-call is_string line 82
class-const WriteEffects::ALL() line 83

public function arguments(CallLike $call, ?ProgramIndex $index = null): array<string, true>

source §

Writable arguments stay open unless a source declaration excludes reference passing.

Parameters

`$call`	`CallLike`
`$index`	`?ProgramIndex`

Returns

array<string, true>

Test cases 2

Called from 1

method-call SqlCatalog\Core\Analysis\Effect\WriteEffects::own() packages/sql-catalog/src/Core/Analysis/Effect/WriteEffects.php:59

Calls 4

new ModifiedNames line 105
method-call CallLike::getArgs() line 107
method-call ModifiedNames::targets() line 118
method-call WriteEffects::dynamicTarget() line 118

public function apply(
    array<string, true> $names,
    Environment $environment,
    Origin $origin = Origin::Unresolved,
): void

source §

Opens affected bindings after an operation; later definite assignments may close them again.

Parameters

`$names`	`array<string, true>`
`$environment`	`Environment`
`$origin`	`Origin`

Test cases 1

WriteEffectsTest::testApplyInvalidatesAbsenceAndValuesWithoutChangingUnrelatedBindings calls

Called from 5

Calls 5

class-const Origin::Unresolved() line 129
class-const WriteEffects::ALL() line 131
function-call array_fill_keys line 132
method-call Environment::names() line 132
method-call Environment::invalidate() line 135

Private surface 1§

Implementation details, listed for orientation only.

private ?ReferenceEffects $references = null

Test cases 32§

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

Dedicated tests 6

Other tests reaching this symbol 26

Relations§

Instantiated in 8

Method calls 9

Constant reads 3

Type declarations 1

type SqlCatalog\Core\Analysis\ReferenceEvaluator packages/sql-catalog/src/Core/Analysis/ReferenceEvaluator.php:35