classObjectMemory

packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:12

final class ObjectMemory

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

Immutable object snapshots indexed by allocation, shared by aliases within one run.

Methods§

public function __construct(private array<string, Domain> $objects = [])

source §

Parameters

$objects array<string, Domain>

public function remember(ObjectTerm $object): void

source §

Stores a new snapshot without changing other runs.

Parameters

$object ObjectTerm

Test cases 6

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectMemory::import() packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:54

Calls 1

static-call Domain::of() line 27

public function rememberValue(Domain $value): void

source §

Stores alternative snapshots of each allocation as one domain.

Parameters

$value Domain

Test cases 1

ObjectMemoryTest::testRememberValueRetainsAlternativeSnapshotsAndBudgetFlags calls

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectMemory::invalidate() packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:140

Calls 1

static-call Domain::fromTerms() line 43

public function import(Domain $value): void

source §

Registers an incoming object, preserving any later local snapshot.

Parameters

$value Domain

Test cases 1

ObjectMemoryTest::testImportDoesNotOverwriteAMutatedObjectWithAnOldAlias calls

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectMemory::import() packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:58

Calls 2

method-call ObjectMemory::remember() line 54
method-call ObjectMemory::import() line 58

public function read(Domain $value): Domain

source §

Resolves references, including references stored in arrays.

Parameters

$value Domain

Returns

Domain

Test cases 7

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectMemory::read() packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:82

Calls 6

function-call array_merge line 78
new ArrayTerm line 82
function-call array_map line 82
new ArrayEntry line 82
method-call ObjectMemory::read() line 82
static-call Domain::fromTerms() line 88

public function copy(): self

source §

Copies the map; its domain and term values are immutable.

Returns

self

Test cases 2

Calls 1

new self line 96

public function join(self $other): self

source §

Preserves both snapshots when runs must be joined.

Parameters

$other self

Returns

self

Test cases 1

ObjectMemoryTest::testJoinPreservesBothBranchesWithoutMutatingEither calls

Calls 1

new self line 109

public function signature(): string

source §

The snapshots that distinguish otherwise equal variable bindings.

Returns

string

Test cases 2

Calls 2

function-call sort line 121
function-call implode line 123

public function invalidate(Domain $value): Domain

source §

Opens tracked object state when an unknown call can mutate an escaped reference.

Parameters

$value Domain

Returns

Domain

Test cases 1

ObjectMemoryTest::testInvalidateOpensAliasedObjectsInsideArraysAndKeepsUntrackedValues calls

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectMemory::invalidate() packages/sql-catalog/src/Core/Evaluation/ObjectMemory.php:135

Calls 7

new ObjectTerm line 133
new ArrayTerm line 135
function-call array_map line 135
new ArrayEntry line 135
method-call ObjectMemory::invalidate() line 135
static-call Domain::fromTerms() line 139
method-call ObjectMemory::rememberValue() line 140

Private surface 1§

Implementation details, listed for orientation only.

private array<string, Domain> $objects = []

Test cases 20§

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 12

Relations§

Instantiated in 1

new SqlCatalog\Core\Evaluation\Environment::objects() packages/sql-catalog/src/Core/Evaluation/Environment.php:220

Type declarations 3