classArrival

packages/sql-catalog/src/Core/Analysis/Derivation/Slice/Arrival.php:14

final class Arrival

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

A path walked back from a call to the start of the body it is written in.

Properties§

public FunctionLike|null $body

source §

public Pending $path

source §

Methods§

public function __construct(public FunctionLike|null $body, public Pending $path)

source §

Parameters

`$body`	`FunctionLike\|null`	The function or method the path reached the start of, or null for the file itself
`$path`	`Pending`	The path, with whatever it still needs from before the body started

Test cases 38§

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

Dedicated tests 2

ArrivalTest::testAnArrivalAtTheTopOfAFileHasNoBody calls
ArrivalTest::testAnArrivalNamesTheBodyAndThePathThatReachedItsStart calls

Other tests reaching this symbol 36

CatalogCommandTest calls
CallEvaluatorTest calls
CalleeReturnsTest calls
CallersTest calls
DeriverTest::testRunGivesOneSolutionPerArrivalWithOneValuePerGoal calls
DeriverTest::testRunKeepsNoMoreSolutionsThanTheLimit calls
DeriverTest::testRunKeepsReadingPastTheSearchBudgetOnlyAtDepthZero calls
DeriverTest::testRunMarksSolutionsTruncatedWhenTheirPathWasCutShort calls
DeriverTest::testRunReadsTheGoalsAfterRunningEachArrivalForward calls
EntryBinderTest::testBindingsBindEachPropertyOfThisToEveryValueTheClassLeavesIt calls
EntryBinderTest::testBindingsLeaveThePropertiesAloneWhereThereIsNoObject calls
EntryBinderTest::testBindingsLeaveThePropertiesAloneWithoutAReaderOfPropertyWrites calls
EntryBinderTest::testBindingsLeaveThePropertiesOpenOnAPathTheBudgetStopped calls
EntryBinderTest::testParameterBindingsBindMethodParametersFromCallsOnInstancesOfTheClass calls
EntryBinderTest::testParameterBindingsBlameTheBudgetWhenLookingForCallersSpentIt calls
EntryBinderTest::testParameterBindingsFollowEveryCallerOfTheBody calls
EntryBinderTest::testParameterBindingsLeaveAParameterNothingCallsOpen calls
EntryBinderTest::testParameterBindingsLeaveAParameterOpenOnceTheBudgetIsSpent calls
EntryBinderTest::testParameterBindingsLeaveEverythingOpenOnAPathTheBudgetStopped calls
EntryBinderTest::testParameterBindingsLeaveTheParameterOpenAndCutShortWhenNoCallCanBeConfirmed calls
EntryBinderTest::testParameterBindingsLeaveTheParameterOpenWithoutCuttingShortWhenNothingCallsIt calls
EntryBinderTest::testParameterBindingsMarkUndefinedLocalsAbsentWithoutAskingCallers calls
EntryBinderTest::testParameterBindingsReadWhatTheTopOfAFileIsDeclaredToHold calls
EntryBinderTest::testParameterBindingsStopAtTheDepthLimit calls
PropertyWritesTest calls
BackwardSlicerTest calls
LoopPassesTest calls
ExpressionEvaluatorTest calls
InterpreterTest calls
ModelQueriesTest calls
QueryModelInterfaceTest calls
BuilderQueriesTest calls
CallModelTest calls
AnalyzerTest calls
JsonReporterTest calls
TextReporterTest calls

Relations§

Instantiated in 3

new SqlCatalog\Core\Analysis\Derivation\EntryBinder::parameterValues() packages/sql-catalog/src/Core/Analysis/Derivation/EntryBinder.php:165
new SqlCatalog\Core\Analysis\Derivation\Slice\BackwardSlicer::sliceFrom() packages/sql-catalog/src/Core/Analysis/Derivation/Slice/BackwardSlicer.php:83
new SqlCatalog\Core\Analysis\Derivation\Slice\BackwardSlicer::arrive() packages/sql-catalog/src/Core/Analysis/Derivation/Slice/BackwardSlicer.php:230

Type declarations 2

type SqlCatalog\Core\Analysis\Derivation\EntryBinder packages/sql-catalog/src/Core/Analysis/Derivation/EntryBinder.php:104
type SqlCatalog\Core\Analysis\Derivation\EntryBinder packages/sql-catalog/src/Core/Analysis/Derivation/EntryBinder.php:189