classResolutionException

packages/deriver/src/Exception/ResolutionException.php:16

final class ResolutionException
    extends RuntimeException

Public API: explicitly declared with @visibility public.

Parsed source contains invalid names, lexical scope, or expression constraints.

Inspecting a failed name resolutiondoctest

(new \Deriver\Exception\ResolutionException('Duplicate alias', 'app.php', 3))->path // => 'app.php'

Properties§

public string $path

source §

public int $sourceLine = 1

source §

Methods§

public function __construct(
    string $message,
    public string $path,
    public int $sourceLine = 1,
    Throwable|null $previous = null,
)

source §

Parameters

`$message`	`string`	Resolution diagnostic
`$path`	`string`	Source containing the invalid construct
`$sourceLine`	`int`	One-based source line
`$previous`	`Throwable\|null`	Original diagnostic

Calls 1

static-call RuntimeException::__construct() line 26

Test cases 180§

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

Dedicated tests 1

ResolutionExceptionTest::testRetainsTheOriginalDiagnosticAndSourceLocation calls

Other tests reaching this symbol 179

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
CallableCheckTest calls
CallExecutorTest calls
CallResolutionTest calls
BindingTest calls
CaptureTest calls
EffectsTest calls
ExternalBodyTest calls
NativeArgumentsTest calls
AccessTest calls
ConstantsTest calls
InvocationTest calls
MethodInvocationTest calls
InvocationTest calls
PropertiesTest calls
SignaturesTest calls
ParameterBindingTest calls
PassedArgumentTest calls
ArgumentsTest calls
CreationTest calls
EntryPropertiesTest calls
MethodsTest calls
ModesTest calls
ResolutionTest calls
TransferTest calls
UnpackTest calls
ProviderDispatchTest calls
TypeBindingTest calls
TypeCheckTest calls
UnknownCallTest calls
AlternativeTest calls
AssessmentTest calls
CompletionTest calls
ExceptionalTest calls
ClassNamesTest calls
ConstraintsTest calls
ContextTest calls
CollectionCallsTest calls
ExceptionChainTest calls
ExceptionMatchTest calls
HandlerTest calls
IterationStepTest calls
IteratorCursorTest calls
LoopConvergenceTest calls
ObservationLimitTest calls
PathJoinTest calls
ResidualPathsTest calls
StateJoinTest calls
UnwindingTest calls
CellTest calls
ComponentsTest calls
DiscoveryTest calls
TableTest calls
DependenciesTest calls
EvaluatorTest calls
HavocTest calls
InstructionTransferTest calls
LocationTest calls
MemoryTest calls
SlotReferenceTest calls
StateStorageTest calls
ObservationCollectorTest calls
PathTest calls
ProtocolTest calls
ReaderTest calls
StringsTest calls
TransferTest calls
CallablePredicateTest calls
ConversionsTest calls
CountableCallsTest calls
ScalarErrorsTest calls
StateTest calls
EvaluationTest calls
InvocationTest calls
IsolationTest calls
DerivationTest calls
ExplanationTest calls
CallableTransferTest calls
CompoundAssignmentTest calls
ConstantTransferTest calls
ExternalTransferTest calls
IntrinsicTransferTest calls
MemoryStepTest calls
ObjectAccessTest calls
PropertyAccessCheckTest calls
PropertyLookupTest 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
CallSiteIndexTest calls
ConstantSignaturesTest calls
IndexerTest calls
IndexTest calls
ClassDeclarationTest calls
PropertyDeclarationTest calls
SymbolRefTest calls
CompositionTest calls
MembersTest calls
PropertyScopeTest 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
AccessTest calls
DispatchTest calls
InstructionEmitterTest calls
LowererTest calls
LoweringScopeTest calls
StatementLoweringTest calls
AssignmentPatternsTest::testEnterNodeRejectsPatternsBeforeExecutingAnyCallable calls
ClassScopeTest::testEnterNodeRejectsUndefinedLexicalClassReferences calls
ResolverTest::testResolveReportsSemanticErrorsWithTheirSourceLocation calls
CallObservationsTest calls
QueryValidationTest calls
DeriverTest::testPrepareReportsResolutionFailuresSeparatelyFromSyntaxErrors calls

Relations§

Instantiated in 1

new Deriver\Deriver\Resolver\Resolver::resolve() packages/deriver/src/Deriver/Resolver/Resolver.php:34