classDeriver

packages/deriver/src/Deriver.php:37

final class Deriver

Public API: explicitly declared with @visibility public.

Derives candidate values repeatedly from one captured set of PHP sources.

Preparing source once for independent queriesdoctest

$path = tempnam(sys_get_temp_dir(), 'deriver-example-');
    file_put_contents($path, '<?php function answer() { return 42; } function other() { return 7; }');
    $deriver = \Deriver\Deriver::prepare([$path]);
    unlink($path);
    $deriver->derive('answer#return')[0]->result // => 42
    $deriver->derive('other#return')[0]->result // => 7

Methods§

public static function prepare(
    list<string> $files,
    DeriverConfig|null $configuration = null,
): self

source §

Captures and parses the selected files without executing application code. Builds reverse indexes for calls, property writes, closure owners and script globals. Function, method and closure bodies are compiled on demand and reused by later queries. The returned instance keeps these contents even if the files later change or disappear.

Parameters

`$files`	`list<string>`	Local paths, for example the result of Finder::files()
`$configuration`	`DeriverConfig\|null`	Independent language and evaluation settings; null selects the defaults

Returns

self

Throws

CollectorException If a selected file cannot be collected

ParserException If a selected source cannot be parsed

ResolutionException If a selected source cannot be resolved

InvalidInputException If declarations are incomplete or declarations or evaluator registrations conflict

Test cases 56

Called from 1

static-call Deriver\Command\DeriveCommand::execute() packages/deriver/src/Command/DeriveCommand.php:84

Calls 25

static-call DeriverConfig::default() line 60
method-call Collector::collect() line 61
new Collector line 61
new TargetProfile line 62
function-call array_map line 63
static-call Term::fromNative() line 63
new EvaluatorConfig line 64
method-call MicroEvaluatorConversion::convert() line 64
new MicroEvaluatorConversion line 64
new Evaluators line 65
new SnapshotIdentity line 66
new Parser line 67
new ParserConfig line 67
new Resolver line 68
method-call Resolver::resolve() line 71
method-call Parser::parse() line 71
new Index line 73
method-call Index::diagnostics() line 74
new InvalidInputException line 77
method-call SnapshotIdentity::snapshot() line 80
static-call Frontier::fromDiagnostic() line 80
new self line 81
new SelectorResolution line 81
new CandidateQuery line 81
new DefinitionIndex line 81

public function derive(string $query): CandidateCollection

source §

Answers a selector against the prepared sources with fresh evaluation state. Each result owns its evidence; the deriver does not retain query results.

Parameters

$query string Callable or source-position selector

Returns

CandidateCollection Candidates and their self-contained evidence

Throws

InvalidInputException If the selector cannot identify a supported target

Test cases 8

Calls 3

method-call CandidateQuery::derive() line 93
method-call SelectorResolution::resolve() line 93
static-call Query::parse() line 93

Private surface 3§

Implementation details, listed for orientation only.

private SelectorResolution $selection

private CandidateQuery $evaluation

private function __construct(
    private SelectorResolution $selection,
    private CandidateQuery $evaluation,
)

Test cases 200§

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

Dedicated tests 19

Other tests reaching this symbol 181

CliBench::benchFirstQuery calls
CliBench::benchPrepare calls
CliBench::benchQueryBatch calls
CliBench::prepare calls
CliBench::prepareWithBranchPruning calls
LaravelBench::benchFirstQuery calls
LaravelBench::benchPrepare calls
LaravelBench::benchQueryBatch calls
LaravelBench::prepare calls
LaravelBench::prepareWithBranchPruning calls
SymfonyBench::benchFirstQuery calls
SymfonyBench::benchPrepare calls
SymfonyBench::benchQueryBatch calls
SymfonyBench::prepare calls
SymfonyBench::prepareWithBranchPruning calls
WebBench::benchFirstQuery calls
WebBench::benchPrepare calls
WebBench::benchQueryBatch calls
WebBench::prepare calls
WebBench::prepareWithBranchPruning calls
PhpContext::derive calls
EnvironmentTest::testDeriveIdentifiesEnvironmentContentsAndSourceChanges calls
EnvironmentTest::testDeriveKeepsUnspecifiedInputsAndEventsUnresolved calls
EnvironmentTest::testDeriveUsesVariableAndEnvironmentNames calls
MicroEvaluatorTest::testCallbackFailureReportsTheEvaluatorIdentity calls
MicroEvaluatorTest::testCanReturnAPartialExpressionWithItsDemandedInput calls
MicroEvaluatorTest::testComposesOperandEvaluationWithBuiltInFunctions calls
MicroEvaluatorTest::testConditionalEvaluationDemandsOnlyTheSelectedBranch calls
MicroEvaluatorTest::testDecliningContinuesWithBuiltInAndSourceEvaluation calls
MicroEvaluatorTest::testDisabledStandardEvaluatorsDoNotDisableConfiguredEvaluators calls
MicroEvaluatorTest::testEvaluatesOnlyDemandedArguments calls
MicroEvaluatorTest::testEvaluationStateIsFreshForEachQuery calls
MicroEvaluatorTest::testInvalidInputDemandReportsTheEvaluatorIdentity calls
MicroEvaluatorTest::testPriorityAndEvidenceDoNotDependOnRegistrationOrder calls
MicroEvaluatorTest::testRejectsConflictingMicroEvaluatorsDuringPreparation calls
MicroEvaluatorTest::testUsesNamedArgumentsAndLeavesOtherArgumentsUnopened calls
SelectorQueryTest::testDeriveDoesNotAddAFileNamedOnlyByTheSelector calls
SelectorQueryTest::testDeriveFindsArgumentsInsideClosures calls
SelectorQueryTest::testDeriveRejectsAnUnknownFormalParameter calls
SelectorQueryTest::testDeriveRejectsCallsSharingTheSameStartPosition calls
SelectorQueryTest::testDeriveResolvesRelativePathsAgainstTheWorkingDirectory calls
SelectorQueryTest::testDeriveSelectsArgumentExpressionsWithoutExecutingTheCall calls
SelectorQueryTest::testDeriveSelectsNamespacedReturnsAndFormalParameterOrigins calls
SelectorQueryTest::testDeriveUsesByteColumnsWithUtf8AndCrLfSource calls
SelectorQueryTest::testPreparedRelativeSourcesAndSelectorsKeepTheirOriginalDirectory calls
ResultRefTest calls
SnapshotTest calls
StatisticsTest calls
DeriverConfigTest calls
ArrayFunctionsTest calls
FunctionEvaluatorTest calls
LibraryTest calls
ScalarFunctionsTest calls
TypePredicatesTest calls
CallDecisionTest calls
CallDescriptionTest calls
CallDescriptorTest calls
EvaluatorsTest calls
ActionTest calls
ExpressionTest calls
PlanCompilerTest calls
SemanticPlanTest calls
ParameterTest calls
SignatureTest calls
LatticeTest calls
FrontierTest calls
AllocationTest calls
ArgumentBindingTest calls
ArgumentOrderTest calls
CallExecutorTest calls
CallResolutionTest calls
BindingTest calls
CaptureTest calls
AccessTest calls
InvocationTest calls
MethodInvocationTest calls
InvocationTest calls
ParameterBindingTest calls
PassedArgumentTest calls
ArgumentsTest calls
CreationTest calls
MethodsTest calls
ResolutionTest calls
UnpackTest calls
TypeBindingTest calls
TypeCheckTest calls
UnknownCallTest calls
AlternativeTest calls
AssessmentTest calls
CompletionTest calls
ExceptionalTest calls
ConstraintsTest calls
ContextTest calls
CollectionCallsTest calls
HandlerTest calls
IterationStepTest calls
IteratorCursorTest calls
LoopConvergenceTest calls
StateJoinTest calls
UnwindingTest calls
HavocTest calls
InstructionTransferTest calls
LocationTest calls
MemoryTest calls
ObservationCollectorTest calls
ProtocolTest calls
TransferTest calls
ConversionsTest calls
CountableCallsTest calls
ScalarErrorsTest calls
StateTest calls
EvaluationTest calls
InvocationTest calls
DerivationTest calls
ExplanationTest 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
ProjectionTest calls
BudgetTest calls
EntryPointTest calls
ObservationTest calls
QueryScopeTest calls
ReturnQueryTest calls
StateQueryTest calls
TupleQueryTest calls
ValueQueryTest calls
ArithmeticTest calls
ArraysTest calls
ComparisonTest calls
OperationsTest calls
TargetProfileTest calls
TermTest calls
DerivationResultTest calls
QueryExecutionTest calls
ResultAssessmentTest calls
ValueGraphTest calls
AggregateLoweringTest calls
AssignmentLoweringTest calls
CallLoweringTest calls
ConditionalLoweringTest calls
DestructuringLoweringTest calls
ExceptionLoweringTest calls
GotoLoweringTest calls
LoopLoweringTest calls
MatchLoweringTest calls
StaticLoweringTest calls
SwitchLoweringTest calls
CallableSourceTest calls
IndexerTest calls
IndexTest calls
ClassDeclarationTest calls
PropertyDeclarationTest calls
SymbolRefTest calls
EffectInspectionTest calls
ExpressionLoweringTest calls
ArgumentTest calls
BasicBlockTest calls
CallableGraphTest calls
CatchTargetTest calls
ExceptionRegionTest calls
ExpressionRefTest calls
InstructionTest calls
ParameterTest calls
PointRefTest calls
TerminatorTest calls
DispatchTest calls
InstructionEmitterTest calls
LowererTest calls
LoweringScopeTest calls
StatementLoweringTest calls
CallObservationsTest calls

Relations§

Static calls 1

static-call Deriver\Command\DeriveCommand::execute() packages/deriver/src/Command/DeriveCommand.php:84