classArrays

packages/deriver/src/Deriver/Evaluator/Scalar/Arrays.php:11

final class Arrays

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

Ordered PHP array updates, append indices, and distinct unpack/merge semantics.

Methods§

public function next(Term $array): int|null

source §

Chooses the next append index under PHP 8.3 semantics.

Parameters

$array Term Array shape

Returns

int|null Append index or null when unknown/overflowing

Test cases 4

Called from 7

Calls 3

function-call is_int line 23
function-call array_keys line 27
function-call max line 29

public function appendKey(Term $array): Term

source §

Validates the capped PHP append counter independently of an explicit integer assignment.

Parameters

$array Term Existing array

Returns

Term Append key, an unknown index, or an occupied-maximum Error

Test cases 2

Called from 3

Calls 5

method-call Arrays::next() line 42
static-call Term::opaque() line 44
new Term line 46
class-const TermKind::Throwable() line 46
static-call Term::constant() line 46

public function set(Term $array, Term|null $key, Term $value): Term

source §

Updates a known key or preserves a conservative unknown-key remainder.

Parameters

`$array`	`Term`	Array shape
`$key`	`Term\|null`	Null denotes append syntax
`$value`	`Term`	Assigned value

Returns

Term Updated array or explicit throwable

Test cases 9

Called from 5

Calls 16

class-const TermKind::Array() line 58
new Term line 59
class-const TermKind::ArraySet() line 59
class-const TermKind::Append() line 59
method-call Arrays::appendKey() line 62
class-const TermKind::Throwable() line 64
method-call Operations::arrayKey() line 64
new Operations line 64
class-const TermKind::Constant() line 68
function-call is_string line 68
function-call is_int line 68
static-call Term::opaque() line 71
static-call Term::array() line 77
method-call Arrays::next() line 78
function-call array_key_exists line 80
function-call max line 81

public function merge(Term $left, Term $right): Term

source §

Appends numeric entries and overwrites named entries for unpack/array_merge.

Parameters

`$left`	`Term`	Destination
`$right`	`Term`	Source

Returns

Term Merged array with conservative remainder

Test cases 12

Called from 4

Calls 7

class-const TermKind::Array() line 94
new Term line 95
class-const TermKind::ArrayMerge() line 95
method-call Arrays::set() line 98
function-call is_int line 98
static-call Term::constant() line 98
class-const TermKind::Throwable() line 99

public function head(Term $array): Term|null

source §

Finds the closed integer-keyed destination at the start of a symbolic merge, whose entries no source can replace or reorder.

Parameters

$array Term Possibly symbolic merge

Returns

Term|null Leading entries in order, or null when the merge has no such destination

Test cases 1

ArraysTest::testHeadKeepsOnlyClosedIntegerKeyedDestinationsOfMerges calls

Called from 7

Calls 7

class-const TermKind::ArraySet() line 113
class-const TermKind::Append() line 113
class-const TermKind::ArrayMerge() line 116
class-const TermKind::Array() line 122
function-call array_filter line 122
function-call array_keys line 122
function-call is_string line 122

public function split(Term $array): array{Term, Term}|null

source §

Separates a single symbolic merge into its known head and the source appended after it.

Parameters

$array Term Possibly symbolic merge

Returns

array{Term, Term}|null Head and appended source, or null when either part is not separable

Test cases 1

ArraysTest::testSplitSeparatesOnlyASingleMergeLevel calls

Called from 1

method-call Deriver\Deriver\Evaluator\Execution\Operation\StringJoining::apply() packages/deriver/src/Deriver/Evaluator/Execution/Operation/StringJoining.php:53

Calls 1

method-call Arrays::head() line 135

public function tail(Term $array): array{Term, Term}|null

source §

Separates trailing append entries whose order is known after an unknown array.

Parameters

$array Term Constructed array

Returns

array{Term, Term}|null Unknown prefix and closed suffix

Test cases 1

ArraysTest::testTailKeepsOnlyAppendSuffixesWithAvailableIndices calls

Called from 2

Calls 5

class-const TermKind::ArraySet() line 150
class-const TermKind::Append() line 150
method-call Arrays::appendable() line 154
static-call Term::array() line 154
function-call array_reverse line 154

public function appendable(Term $array): bool

source §

Checks that appending arrays cannot reach the occupied maximum append index; a PHP array holds fewer than 2^32 elements.

Parameters

$array Term Unpack destination

Returns

bool Whether every later append index is provably available

Test cases 1

ArraysTest::testAppendableRequiresRoomForEveryMergedSource calls

Called from 3

Calls 3

class-const TermKind::ArrayMerge() line 165
class-const TermKind::Array() line 169
method-call Arrays::next() line 169

Test cases 106§

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

Dedicated tests 18

Other tests reaching this symbol 88

ArrayFunctionsTest::testMembershipFindsKnownHeadEntriesOfAnUnknownMerge calls
ArrayMutationTest calls
FunctionEvaluatorTest calls
LibraryTest calls
ScalarFunctionsTest calls
TypePredicatesTest calls
PlanCompilerTest calls
FrontierTest calls
AllocationTest calls
ArgumentBindingTest calls
ArgumentOrderTest calls
CallExecutorTest calls
BindingTest calls
CaptureTest calls
AccessTest calls
InvocationTest calls
MethodInvocationTest calls
InvocationTest calls
PropertiesTest calls
ParameterBindingTest calls
ArgumentsTest calls
CreationTest calls
EntryPropertiesTest calls
MethodsTest calls
ResolutionTest calls
UnpackTest calls
UnknownCallTest calls
AlternativeTest calls
ExceptionalTest calls
CollectionCallsTest calls
ExceptionChainTest calls
IterationStepTest::testCandidatesRetainsTheUnknownPrefixBesideAKnownSuffix calls
IteratorCursorTest calls
LoopConvergenceTest calls
StateJoinTest calls
UnwindingTest calls
EvaluatorTest calls
HavocTest calls
InstructionTransferTest calls
LocationTest calls
MemoryTest::testRemoveKeepsTheNextAppendIndex calls
ReferenceConstraintTest calls
StateStorageTest calls
PathTest calls
ProtocolTest calls
ReaderTest::testArrayReadsOnlyIntegerHeadKeysOfAnUnknownMergeExactly calls
TransferTest calls
ConversionsTest calls
CountableCallsTest calls
StateTest calls
EvaluationTest calls
InvocationTest calls
CallableTransferTest calls
CompoundAssignmentTest calls
ConstantTransferTest calls
IntrinsicTransferTest calls
MemoryStepTest calls
ObjectAccessTest calls
PropertyAccessCheckTest calls
PropertyMagicTest calls
PropertyReferenceTest calls
PropertyTransferTest calls
PureStepTest calls
ReferenceAssignmentTest calls
OperationsTest calls
TermTest calls
DerivationResultTest calls
QueryExecutionTest calls
ResultAssessmentTest calls
ValueGraphTest calls
AggregateLoweringTest calls
AssignmentLoweringTest calls
CallLoweringTest calls
ConditionalLoweringTest calls
DestructuringLoweringTest calls
LoopLoweringTest calls
StaticLoweringTest calls
CallableSourceTest calls
IndexerTest calls
ClassDeclarationTest calls
PropertyDeclarationTest calls
ExpressionLoweringTest calls
ArgumentTest calls
CatchTargetTest calls
ParameterTest calls
DispatchTest calls
LowererTest calls
StatementLoweringTest calls

Relations§

Instantiated in 22

Method calls 24