classSource
final class Source
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.
Captured source contents and their path, with no file access or parsing.
(new \Deriver\Deriver\Sources\Source('app.php', '<?php'))->path // => 'app.php'Properties§
public string $pathpublic string $contentspublic bool $declarationsOnly = falseMethods§
public function __construct(
public string $path,
public string $contents,
public bool $declarationsOnly = false,
)Parameters
$path | string | Source path |
$contents | string | Captured bytes |
$declarationsOnly | bool | Whether only declarations are available and callable bodies cannot be used |
Test cases 1391§
Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.
Dedicated tests 1
Other tests reaching this symbol 1390
BranchEvaluatorTest::testAnInterruptedSingletonDoesNotPruneTheOtherBranchcallsBranchEvaluatorTest::testDecliningABranchEvaluatorRetainsDefaultAlternativescallsBranchEvaluatorTest::testEveryBranchRetainsTheAcceptedEvaluatorAndUnknownDependencyEvidencecallsBranchEvaluatorTest::testPrunesOnlyExcludedBranchescallsBranchEvaluatorTest::testReplacesBranchSemanticsWithoutDemandingTheConditioncallsBranchEvaluatorTest::testStopsOpeningDependenciesAfterBothTruthscallsCallableIdentityTest::testAllObservationKindsUseTheResolvedCallableIdentitycallsCallableIdentityTest::testCallSelectorsFindClosuresInEveryCaseSensitivePathcallsCallableIdentityTest::testClosuresAtTheSameOffsetInDistinctPathsDoNotShareBodiescallsCallableIdentityTest::testEvaluatorCallsNormalizeQualifiedNamesWithoutMergingParameterDefaultscallsCallableIdentityTest::testFullyQualifiedReturnSelectorsObserveTheirResolvedFunctioncallsCallableIdentityTest::testNamespacedCallSelectorsUseTheResolvedSourceNamecallsCallableIdentityTest::testScriptQueriesKeepCaseSensitiveCapturedPathsDistinctcallsCallableReplacementTest::testDirectReplacementDemandsOnlyItsSelectedParametercallsCallableReplacementTest::testReplacesTheSelectedCallableBeforeItsBodycallsCallPathTest::testDepthBudgetRetainsAnUnfinishedPathInsteadOfUnrestrictedCandidatescallsCallPathTest::testDeriveUsesOnlyMatchingInvocationContextscallsCallPathTest::testRepeatedQueriesKeepPathIdentityAndCallEvidenceSeparatecallsCallPathTest::testReplacesTheTargetWithItsSelectedLazyInputscallsCallPathTest::testUnresolvedDispatchRetainsThePathBoundarycallsCandidateControlTest::testAnApplicationEvaluatorCanChooseToEvaluateAConditionalcallsCandidateControlTest::testCandidatesDoNotDemandPredicatescallsCandidateControlTest::testEvidenceContainsOnlyTheSelectedValueBranchcallsCandidateControlTest::testForeachKeysStayPairedWithTheirValuescallsCandidateControlTest::testLoopCarriedValuesRetainAnUpdateWithoutDeterminingIterationCountscallsCandidateControlTest::testUnusedTypedPredicateArgumentsDoNotOpenTheirValuescallsCandidateEvidenceTest::testE01E02OuterCallersDisambiguateAnIdenticalInnerSitecallsCandidateEvidenceTest::testE03EqualValuesKeepBothCallerscallsCandidateEvidenceTest::testE07E08IndependentQueriesKeepTheirOwnEvidencecallsCandidateEvidenceTest::testE09LiteralHasExactUtf8AndCrlfSourceCoordinatescallsCandidateResultTest::testT06UncalledParameterDoesNotTakeItsDefaultcallsCandidateResultTest::testT12SqlExampleKeepsDefaultAndUnresolvedBranchescallsCandidateResultTest::testThrowOnlyDoesNotManufactureNullcallsEvaluationLifetimeTest::testCandidateResultsAreNotRetainedAfterTheCallerDropsThemcallsEvaluationLifetimeTest::testIndependentQueriesEvaluateTheirDependenciesAgaincallsEvaluationLifetimeTest::testOneQueryMemoizesItsSharedDependencycallsEvaluationLifetimeTest::testOrderedResultsAreNotRetainedAfterTheCallerDropsThemcallsExecutionValueTest::testCustomAggregateSelectionsPreserveValuescallsExecutionValueTest::testCustomIntrinsicResultsPreserveReturnedValuescallsExecutionValueTest::testDerivedReturnsPreserveSuppliedInputscallsExecutionValueTest::testDerivedSelectionsPreserveValuescallsExecutionValueTest::testExceptionalStorageIncludesPropertiesWrittenBeforeTheThrowcallsExecutionValueTest::testExistenceResultsMatchSuppliedValuescallsExecutionValueTest::testNonUtf8BytesAndFloatingPointSpecialValuesRemainExactcallsExecutionValueTest::testNonUtf8IdentifierMetadataRemainsExactcallsExecutionValueTest::testStorageGraphPreservesReturnedObjectCyclesAndLocalAliasescallsExtensionFailureTest::testDeriveCannotTurnAModelFailureIntoAnApplicationExceptioncallsExtensionFailureTest::testDerivePropagatesDispatchFailurescallsExtensionFailureTest::testDerivePropagatesRefinementFailurescallsExtensionFailureTest::testMicroEvaluatorFailuresPropagateWithTheirIdentitycallsExtensionFailureTest::testOpenPropagatesDeclarationProviderFailurescallsExtensionFailureTest::testOpenPropagatesDomainFailurescallsExtensionFailureTest::testOpenPropagatesDomainProviderFailurescallsExtensionFailureTest::testOpenPropagatesEntryPointProviderFailurescallsExtensionFailureTest::testOpenPropagatesEnvironmentProviderFailurescallsExtensionFailureTest::testOpenPropagatesIntrinsicDescriptorFailurescallsExtensionFailureTest::testOpenPropagatesModelDescriptorFailurescallsExtensionFailureTest::testOpenPropagatesProviderIdentityFailurescallsFairEvaluationTest::testAnUnresolvedBranchDoesNotPreventAConcreteSiblingcallsFairEvaluationTest::testExplicitInputsReceiveWorkBeforeAnExpensiveInputFinishescallsFairEvaluationTest::testShortAlternativesSurviveAnExpensiveSiblingAndKeepItsRemaindercallsFairEvaluationTest::testShortDependencyAlternativesSurviveAnExpensiveSiblingcallsFairEvaluationTest::testWaitingDependenciesRetainCorrelationAcrossRepeatedReadscallsFiniteCandidatesTest::testATypeBoundDoesNotInventMissingWitnessescallsFiniteCandidatesTest::testStopsAtCompleteDomaincallsFiniteCandidatesTest::testTypedTruthStillRejectsInvalidStrictInputscallsLoopPruningTest::testDefaultCandidatesDoNotInspectLoopBoundscallsLoopPruningTest::testDefaultLoopCandidatesRetainConditionalBodyReturnscallsLoopPruningTest::testLoopCountDoesNotMultiplyCandidateExpansioncallsLoopPruningTest::testPrunesWithoutOpeningDiscardedCandidatescallsNativeOverloadContractTest::testAllocationWithADestructorCannotLeaveAnExactKnownReturncallsNativeOverloadContractTest::testFormattingCannotTreatAnUnconstrainedConversionAsPurecallsNativeOverloadContractTest::testImplicitConversionsInsideStandardModelsRetainPossibleThrowablescallsNativeOverloadContractTest::testInternalNullCoercionRetainsTheTargetDeprecationcallsNativeOverloadContractTest::testMalformedTrimRangesDoNotEmitWarningsFromTheAnalyzercallsNativeOverloadContractTest::testSymbolicCountableKeepsUserCodeEffectsAndThrowablescallsNativeOverloadContractTest::testUnknownCallsCannotRestoreAnUnseenStaticDefaultcallsNativeOverloadContractTest::testUnknownFilterModesKeepTheirCallbackEffectsUnresolvedcallsNativeOverloadContractTest::testUnknownJoinElementsCannotSuppressStringConversionEffectscallsNativeOverloadContractTest::testUnknownMergeCannotKeepAnOverwrittenFieldConstantcallsNativeOverloadContractTest::testUnknownSeparatorRetainsTheEmptySeparatorExceptioncallsNativeOverloadContractTest::testUnknownUnpackAfterTheMaximumIndexKeepsTheOccupiedIndexErrorcallsNativeOverloadContractTest::testUnknownUnpackRetainsItsPrefixAndSubsequentWritesSymbolicallycallsNativeOverloadContractTest::testUnsupportedCallableOverloadsRetainNormalValuesAndReferenceEffectscallsNativeOverloadContractTest::testWeakObjectCoercionReportsItsEffectsAndThrowableBoundarycallsPreparedDependenciesTest::testCapturedInputsDoNotCompileUnrelatedFunctionsAndQueriesReuseTheirGraphscallsPreparedDependenciesTest::testGlobalInputsCompileOnlyScriptsWhichCanSupplyTheRequestedNamecallsProjectionValueTest::testDerivedArrayOperationsPreserveValuescallsProjectionValueTest::testNullConvertsToAnEmptyArraycallsProjectionValueTest::testStateProjectionSelectsAnAggregateFieldcallsProjectionValueTest::testValueProjectionSelectsAnAggregateFieldcallsSessionContractTest::testCallSelectionDoesNotCompileUnrelatedFunctionscallsSessionContractTest::testFabricatedRegistersAreInvalidInsteadOfUnreachablecallsSessionContractTest::testFileOrderDoesNotChangeSnapshotOrSemanticResultcallsSessionContractTest::testMalformedSourceRaisesParserExceptioncallsSessionContractTest::testProvenUnreachableObservationHasNoResidualSuccesscallsSessionContractTest::testQueryIdentityIncludesArgumentsScopeAndBudgetcallsSessionContractTest::testRepeatedQueriesPerformTheSameLogicalWorkcallsSessionContractTest::testSourceCaptureDoesNotExecuteTopLevelCodecallsSessionContractTest::testSourceChangesInvalidateResultscallsStandardConstantsTest::testDoesNotInventAValueForAnUnresolvedConstantcallsStandardConstantsTest::testResolvesConstantsWithoutUsingHostDefinitionscallsCandidateCollectionTest::testCountIncludesPartialCandidatescallsCandidateCollectionTest::testForCallerRetainsSameContextAmbiguitycallsCandidateCollectionTest::testGetIteratorCannotChangeTheCollectioncallsCandidateCollectionTest::testGetIteratorReturnsCandidateRecordscallsCandidateCollectionTest::testOffsetExistsIncludesCandidatesWithNullValuescallsCandidateCollectionTest::testOffsetGetRejectsMissingAndNonIntegerOffsetscallsCandidateCollectionTest::testOffsetGetReturnsTheSameCandidatesAsIterationcallsCandidateCollectionTest::testOffsetSetRejectsAppendcallsCandidateCollectionTest::testOffsetSetRejectsReplacementcallsCandidateCollectionTest::testOffsetUnsetRejectsRemovalcallsResultRefTest::testPreservesItsSemanticContractcallsSnapshotTest::testPreservesItsSemanticContractcallsStatisticsTest::testPreservesItsSemanticContractcallsDeriverConfigTest::testPreservesItsSemanticContractcallsArrayFunctionsTest::testApplyPreservesTheSemanticContractcallsFunctionEvaluatorTest::testDescriptorPreservesTheSemanticContractcallsFunctionEvaluatorTest::testEvaluateWritesTheMutatedArrayThroughTheReferencecallsLibraryTest::testEvaluatorPreservesTheSemanticContractcallsScalarFunctionsTest::testApplyPreservesTheSemanticContractcallsTypePredicatesTest::testApplyPreservesTheSemanticContractcallsArgumentDemandTest::testDemandEvaluatesOnlyTheSelectionParametercallsCallDecisionTest::testHandledPreservesTheSemanticContractcallsCallDescriptionTest::testPreservesItsSemanticContractcallsCallDescriptorTest::testPreservesItsSemanticContractcallsEvaluatorsTest::testPreferredPreservesTheSemanticContractcallsActionTest::testReturnsPreservesTheSemanticContractcallsExpressionTest::testParameterPreservesTheSemanticContractcallsPlanCompilerTest::testChoiceJoinsFallingThroughBranchesBeforeTheCommonReturncallsPlanCompilerTest::testCompilePreservesTheSemanticContractcallsSemanticPlanTest::testPreservesItsSemanticContractcallsCallEvaluationTest::testActualBindsNamedArgumentscallsCallEvaluationTest::testDemandUsesActualBindingsBeforeSelectingAPlancallsCallEvaluationTest::testEvaluateReplacesSourceWithoutDemandingUnusedInputscallsCallEvaluationTest::testEvaluateSelectsBuiltInFunctionSemanticscallsCallsTest::testBindKeepsNamedArgumentsLazycallsCallsTest::testCapturesReadTheCreationDefinitioncallsCallsTest::testEffectUsesTheConcreteReceiverForReferenceWritescallsCallsTest::testExpandResolvesAnAlreadySelectedTargetcallsCallsTest::testFinalStorageKeepsTheLastWriteAtEachReturncallsCallsTest::testInvokePreservesCallDependenciescallsCallsTest::testMissingPreservesCallDependenciescallsCallsTest::testPassedIgnoresStorageNotPassedToTheCallcallsCallsTest::testPassThroughRecursionClosesOnlyProvenUnchangedBindingscallsCallsTest::testSelectedEffectUpdatesOnlyAReferenceArgumentcallsCallsTest::testSignatureKeepsTypeErrorsIndependentOfTheBodycallsCallsTest::testStableEnvironmentRejectsMutableObjectInputscallsCallsTest::testUnknownWritePreservesAReadBeforeTheCallcallsCallsTest::testValueExpandsOnlyADemandedCallcallsDeclarationLookupTest::testClassDistinguishesLiteralAndComputedDefaultscallsDeclarationLookupTest::testSignaturePreservesPassingModesAndOmissioncallsDeclarationLookupTest::testSymbolsIncludesLexicalClosuresWithoutInferringEntriescallsDeclarationsTest::testClassDistinguishesLiteralAndComputedDefaultscallsDeclarationsTest::testSignatureAndClassProjectRawDocCommentscallsDeclarationsTest::testSignaturePreservesPassingModesAndOmissioncallsDeclarationsTest::testSymbolsIncludesLexicalClosuresWithoutInferringEntriescallsParameterTest::testPreservesItsSemanticContractcallsSignatureTest::testPreservesItsSemanticContractcallsDemandTest::testFramesKeepExplicitBindingsOutOfOtherQueriescallsDemandTest::testObserveProjectsADemandedArrayEntrycallsDemandTest::testPathObservationPrunesAnExcludedArgumentSitecallsDemandTest::testProjectAppliesThePathOfTheTargetToTheSelectedValuecallsDemandTest::testReturnsRetainsConditionalImplementationscallsDemandTest::testSelectKeepsAMissingSymbolAsAnUnexpandedReferencecallsDemandTest::testTupleKeepsTheSelectedNamescallsLatticeTest::testTypePreservesTheSemanticContractcallsDeclarationsTest::testDomainRecognizesNullableEnumsWithoutOpeningAnyBodycallsDeclarationsTest::testMembersLeavesOpenTypesUnboundedcallsDemandTest::testThroughChecksStrictDeclarationsBeforeCountingWitnessescallsSuspensionTest::testExpressionRetainsLiteralAndReferenceOnStopcallsEvaluatorTest::testBoundedKeepsTheSameEvidenceWhenReusedcallsEvaluatorTest::testConstantKeepsMissingConstantIdentitycallsEvaluatorTest::testElementRespectsNumericStringKeyscallsEvaluatorTest::testEvaluateSelectsTheRequestedReturncallsEvaluatorTest::testExpressionUsesTheSameCallbackAndCastRulescallsEvaluatorTest::testInstructionKeepsTheOperatorWithAnUnknownOperandcallsEvaluatorTest::testIntrinsicSimplifiesKnownLibraryInputscallsEvaluatorTest::testOperationUsesTheOrdinaryArithmeticRulescallsEvaluatorTest::testPhiPrunesAKnownConditioncallsEvaluatorTest::testReduceRetainsUnsupportedOperandscallsEvaluatorTest::testReturnsIgnoresUnrelatedCallscallsEvaluatorTest::testValueSharesImmutableDependencyNodescallsFrontierTest::testPreservesItsSemanticContractcallsBatchObservationsTest::testBatchPreservesTupleCorrelationStateAndReturncallsBatchObservationsTest::testCompletionAgreesWithIndependentControlFlowcallsBatchObservationsTest::testEmptyAndDuplicateBatchesKeepRequestedOrderingcallsBatchObservationsTest::testInstructionSharesExecutionPrefixesAndKeepsSeparateValuescallsBatchObservationsTest::testMismatchedExecutionContractsAreRejectedcallsBatchObservationsTest::testSynchronizeKeepsSharedInterruptionAndRecoveredTypescallsAllocationTest::testApplyDestructorLifetimeSealsInclusiveOutcomesBeforeInventingObjectStatecallsAllocationTest::testApplyHonorsInitializationAndLifecycleEffectscallsAllocationTest::testApplyPreservesTheSemanticContractcallsAllocationTest::testInitializeCycleGuardsDoNotOverwriteExistingStatecallsAllocationTest::testInitializeEvaluatesEachAllocationDefaultIndependentlycallsAllocationTest::testInitializeKeepsParentPrivateSlotsAndSkipsStaticPropertiescallsAllocationTest::testInitializeNativeParentsBeforeSourcePropertyDefaultscallsAllocationTest::testInitializeResolvesRelativePropertyTypesInTheDeclaringClasscallsAllocationTest::testRecordClonesHeapAndModelStateWithTheirDeclaredSharingRulescallsAllocationTest::testRecordCreatesDistinctAbstractStatePerObjectcallsAllocationTest::testRecordFreshObjectsStartWithClosedStorageAndNoClonePermissionscallsAllocationTest::testRecordUnknownClonesRetainOpenPropertyStoragecallsArgumentBindingTest::testActualsDoesNotInventAddressesForLiteralArrayUnpackscallsArgumentBindingTest::testActualsPreservesNamesValuesAndReferencePermissionscallsArgumentBindingTest::testActualsPreservesTheSemanticContractcallsArgumentBindingTest::testActualsRetainsAnUnknownUnpackAsADependentRemaindercallsArgumentBindingTest::testActualsUnpacksKeysAndReadsReferenceElementsFromCurrentMemorycallsArgumentBindingTest::testBindMatchesNamedArgumentsBeforeEvaluatingTheCalleecallsArgumentBindingTest::testBindPreservesTheCallingClassWithoutAReceiverAndStopsOnTheFirstErrorcallsArgumentBindingTest::testBindRejectsArgumentOrderBeforeInitializingAnyParametercallsArgumentBindingTest::testBindRetainsCallerConditionsAndSeparatesCaptureModescallsArgumentOrderTest::testExtraRejectsUnknownNamedArgumentsWithoutAVariadicParametercallsArgumentOrderTest::testNormalizePreservesTheSemanticContractcallsCallableCheckTest::testEvaluateChecksCapturedFunctionsWithoutUsingHostDeclarationscallsCallableCheckTest::testMethodResolvesPublicInstancePairsWithoutGrantingPrivateAccesscallsCallableCheckTest::testPairRequiresExactlyTheTwoNumericCallableKeyscallsCallExecutorTest::testInstructionPreservesTheSemanticContractcallsCallExecutorTest::testInvokeBindsCapturedClosureValuescallsCallExecutorTest::testInvokePreservesCallableBindingIdentityAndCallingContextcallsCallExecutorTest::testInvokeRetainsAnOpenDispatchBoundaryForAnUnresolvedTargetcallsCallExecutorTest::testInvokeUnwrapsAResolvedCallableAndPropagatesStrictArgumentErrorscallsCallExecutorTest::testObjectDispatchesReferencedArrayCallableElementscallsCallExecutorTest::testObjectInvokesAnObjectCallablecallsCallExecutorTest::testObjectLeavesOtherCallableFormsToTheirOwnResolutioncallsCallExecutorTest::testSymbolPropagatesACompletedReferenceWriteBackToTheCallercallsCallExecutorTest::testSymbolRestoresCallerLocalsAndKeepsEveryExitEffectAndExplanationcallsCallExecutorTest::testSymbolUsesWeakCoercionByDefaultAndOverridesOnlyCalleeLateStaticBindingcallsCallResolutionTest::testBodyAllowsModelsToImplementAnExternalDeclarationUsingTheirSignaturecallsCallResolutionTest::testBodyHonorsSourcePrecedenceAndExplicitModelDecisionscallsCallResolutionTest::testBodyLeavesUnavailableSemanticsUnresolvedWhenStandardModelsAreDisabledcallsCallResolutionTest::testBodyPreservesTheSemanticContractcallsCallResolutionTest::testBodyRecordsModelVersionAndNativeArgumentSemanticscallsCallResolutionTest::testBodyRejectsInvalidPlansAndKeepsTheCallSpecificFailureReasoncallsCallResolutionTest::testDescriptionIncludesFormalReceiverAndCapturedVersionscallsCallResolutionTest::testDescriptionSuppliesEvaluatedActualsAndTheExplicitReceiverClasscallsCallResolutionTest::testNameResolvesStandardNamespaceFallbackButPreservesExplicitFunctionscallsCallResolutionTest::testNameSelectsOnlyAvailableNamespaceFallbackscallsBindingTest::testInvokeRestoresTheCallingObjectAndLateStaticContextcallsBindingTest::testScopeKeepsCallerCoercionModeAndCapturedAccessRightscallsBindingTest::testSignaturePreservesPrivateReferenceParametersAfterEscapecallsBindingTest::testStateRestoresCapturedThisWithoutChangingTheInvokingFramecallsCaptureTest::testApplyAllocatesDistinctFirstClassClosuresAtTheSameSourceSitecallsCaptureTest::testApplyKeepsExistingClosureIdentitycallsCaptureTest::testApplyRejectsPrivateAcquisitionOutsideTheClasscallsCaptureTest::testApplySeparatesLiteralAndRuntimeClassOperandscallsCaptureTest::testTargetFreezesParentLookupAndForwardsTheCalledClasscallsEffectsTest::testApplyPreservesUnrelatedCellsAndTheOptionalExceptionalExitcallsExternalBodyTest::testApplyRetainsReferenceEffectsAndPossibleExceptionscallsNativeArgumentsTest::testCoerceKeepsSourceAndNullableSignatureRulesSeparatecallsAccessTest::testCheckKeepsUnknownAllocationEffectsOpencallsAccessTest::testCheckRejectsInvalidOperandsWithoutAllocatingOrChangingLocalscallsAccessTest::testCheckRetainsOpenDispatchEffectsForASymbolicClasscallsAccessTest::testInvalidOperandDistinguishesAllocationFromCloningcallsAccessTest::testLifecycleChecksInstantiationAndMethodVisibilityBeforeEffectscallsAccessTest::testLifecycleRejectsAbstractConstructionBeforeBodyEffectscallsAccessTest::testNameResolvesKnownObjectAndLateStaticClasscallsAccessTest::testNameSeparatesLiteralAndRuntimeClassOperandscallsAccessTest::testNameUsesRuntimeClassIdentityAndLexicalRelativeNamescallsAccessTest::testWithoutConstructorAcceptsUnusedPositionalArgumentscallsAccessTest::testWithoutConstructorKeepsUnknownUnpackEffectsAndExceptionscallsAccessTest::testWithoutConstructorRejectsNamedActualscallsConstantsTest::testAllowedUsesTheLexicalClassAndVisibilitycallsConstantsTest::testFindRetainsTheDeclaringClassOfAnInheritedExpressioncallsInvocationTest::testCallEnforcesVisibilityInstanceBindingAndMagicDispatchcallsInvocationTest::testCallRejectsAnInstanceMethodCalledStaticallycallsInvocationTest::testCallUsesNativeSemanticsAndRegisteredModelsBeforeMissingMemberErrorscallsInvocationTest::testErrorRetainsThePostArgumentStatecallsInvocationTest::testInstanceAcceptsDeclaredReceiverTypesAndRejectsMissingTypeFactscallsInvocationTest::testInstanceRequiresTheRequestedClassRatherThanItsParentcallsInvocationTest::testMagicKeepsUnknownUnpacksAsEffectsAndExceptionalBoundariescallsInvocationTest::testMagicPreservesBoundCallableLateStaticClasscallsInvocationTest::testMagicPreservesNamedArgumentKeyscallsInvocationTest::testMagicRejectsInvalidArgumentOrderingBeforeItsBodycallsMethodInvocationTest::testApplyPreservesTheSemanticContractcallsMethodInvocationTest::testApplyRaisesAnErrorForConcreteNonObjectReceiverscallsMethodInvocationTest::testApplyRetainsUnresolvedMethodNamesAndBothCompletionscallsMethodInvocationTest::testApplySeparatesLiteralAndRuntimeClassOperandscallsMethodInvocationTest::testApplyUsesProvidersForUnresolvedTargetsAndKeepsKnownSourceTargetscallsMethodInvocationTest::testCalledClassForwardsEveryRelativeSpellingWithoutRebindingInstanceCallscallsMethodInvocationTest::testCalledClassForwardsRelativeNamesWithoutChangingCallerStatecallsMethodInvocationTest::testCandidatesKeepsAnUnresolvedBoundaryWhenNoFeasibleImplementationExistscallsMethodInvocationTest::testCandidatesKeepsApplicableProviderTargetsAndTheirReceiverOverridescallsMethodInvocationTest::testCandidatesRetainsKnownImplementationsAndUnknownRemaindercallsMethodInvocationTest::testCandidatesUsesOnlyExplicitCompletenessBoundscallsMethodInvocationTest::testHandledInvokesUserEvaluatorsOnATypeBoundWithoutSourcecallsMethodInvocationTest::testHandledLeavesSelectedSourceImplementationsAndUnhandledTypesToDispatchcallsMethodInvocationTest::testIdentityKeepsOnlyStableReceiverSpellingscallsMethodInvocationTest::testReceiverBindsTheCurrentInstanceForStaticSyntaxOnlyWhenOneExistscallsMethodInvocationTest::testReceiverPreservesForwardedLateStaticCallscallsInvocationTest::testApplyChecksInternalConstructorTypescallsInvocationTest::testApplyDeclinesUnknownNativeClassesAndMethodscallsInvocationTest::testApplyKeepsRuntimeStackAndSerializationMethodsBehindABoundarycallsInvocationTest::testApplyPreservesOracleCheckedNativeConstructorsAndGetterscallsInvocationTest::testApplyRejectsCloningAndIncompatibleReceiverscallsInvocationTest::testAssignedFollowsNativeFieldRetentionAndFilenameRulescallsInvocationTest::testAssignedPreservesPreviousAndNormalizesLineDefaultcallsInvocationTest::testCoercionsAppliesNullConversionOnlyInWeakNativeCallscallsInvocationTest::testCoercionsUsesParameterPositionAndNameWithoutChangingReferenceMetadatacallsInvocationTest::testInitializeRetainsInheritedNonzeroCodeWhenPassedZerocallsPropertiesTest::testFindPreservesProtectedAndPrivateNativeVisibilitycallsPropertiesTest::testGetterUsesTheBaseExceptionPrivateStoragecallsPropertiesTest::testInitializeAllocatesInheritedPreviousAndSeveritySlotscallsSignaturesTest::testFamilyRecognizesInheritedNativeConstructorscallsSignaturesTest::testGraphDisallowsSurplusNativeArgumentscallsSignaturesTest::testParametersIncludesErrorExceptionSpecificSlotscallsParameterBindingTest::testBindKeepsSymbolicInputsIndependentOfOmissioncallsParameterBindingTest::testBindPreservesBothOutcomesWhenAnActualMayViolateItsTypecallsParameterBindingTest::testBindPreservesTheSemanticContractcallsParameterBindingTest::testBindRejectsInvalidArgumentsWithoutInitializingTheLocalcallsParameterBindingTest::testBindUpdatesACallerReferenceAfterWeakCoercioncallsParameterBindingTest::testDefaultArgumentPreservesInitializerEffectsAndEveryCompletioncallsParameterBindingTest::testDefaultArgumentRetainsAnOmittedMarkerWithoutEnforcingAnAbsentTypecallsParameterBindingTest::testDefaultArgumentRunsOnlyWhenTheCallerOmitsItcallsParameterBindingTest::testValueReadsTheCurrentReferenceCellAfterEarlierParameterCoercionscallsParameterBindingTest::testVariadicPreservesNamedKeysAndChecksEveryElementcallsParameterBindingTest::testVariadicPreservesPossibleTypeFailureAlongsideTheNormalCollectioncallsParameterBindingTest::testVariadicPreservesTypedPropertyConstraintsBeforeCreatingAReferencecallsParameterBindingTest::testVariadicRejectsAnInvalidElementBeforePublishingTheCollectioncallsParameterBindingTest::testVariadicReportsWeakScalarWarningsAtTheBindingSourcecallsParameterBindingTest::testVariadicRetainsArbitraryThrowableFromAnUnresolvedObjectCoercioncallsParameterBindingTest::testVariadicRetainsNamedAliasesAndAppliesCoercionsToEveryCallerCellcallsPassedArgumentTest::testPreservesItsSemanticContractcallsArgumentsTest::testApplyExpandsReferenceVariadicsIntoSharedCellscallsArgumentsTest::testApplyUsesNamedReferenceModesBeforeReadingTypedPropertiescallsArgumentsTest::testComputedRejectsLiteralReferenceArgumentsImmediatelycallsArgumentsTest::testComputedSnapshotsReturnedReferencesWhenPassedByValuecallsArgumentsTest::testComputedUsesTemporaryCellsForFunctionResultsAndRecordsTheDiagnosticcallsArgumentsTest::testReadFreezesValueArgumentsBeforeLaterWritescallsArgumentsTest::testReadInitializesMissingReferenceArgumentsWithoutAReadDiagnosticcallsCreationTest::testResolveObtainsNativeThrowableSignaturescallsCreationTest::testResolveRecognizesInheritedReferenceConstructorscallsCreationTest::testResolveRejectsPrivateConstructorsBeforeTheirArgumentEffectscallsCreationTest::testResolveSeparatesLiteralAndRuntimeClassOperandscallsEntryPropertiesTest::testApplyKeepsASymbolicValueWithinTheDeclaredTypecallsEntryPropertiesTest::testApplyRejectsPropertiesNoPhpObjectCanHavecallsEntryPropertiesTest::testApplyResolvesTheClassOfAnExplicitReceiverIdentitycallsEntryPropertiesTest::testApplyWithoutPropertiesLeavesTheEntryStateUntouchedcallsEntryPropertiesTest::testApplyWritesDeclaredSlotsAndKeepsTheRecordOpenForUnsuppliedPropertiescallsMethodsTest::testDeclaredRejectsInstanceMethodsWithStaticSyntaxcallsMethodsTest::testMagicPassesOriginalArgumentsByValuecallsMethodsTest::testNativeRequiresAnInstanceAndObtainsGetterModescallsMethodsTest::testOpenDoesNotRejectPossibleSubtypeMethodscallsMethodsTest::testResolveRejectsPrivateCallsBeforeEvaluatingArgumentscallsMethodsTest::testResolveSeparatesLiteralAndRuntimeClassOperandscallsModesTest::testPositionCountsExpandedPositionalArgumentsAndRetainsUnknownUnpackcallsModesTest::testSelectResolvesNamedAndVariadicReferenceParameterscallsResolutionTest::testFunctionRejectsNonCallableScalarscallsResolutionTest::testNamedFindsStandardModelsThroughNamespaceFallbackcallsResolutionTest::testResolveCapturesConstructorAndMethodReferenceModescallsTransferTest::testApplyKeepsAutoloadEffectsAndExceptionsBeforeConstructorArgumentscallsTransferTest::testApplyRetainsEarlyLookupErrorsAndLaterExternalCallscallsUnpackTest::testApplyKeepsPropertyArraysAsTemporariescallsUnpackTest::testApplyRejectsScalarscallsUnpackTest::testBoundaryRetainsIteratorExceptionsAndMutationscallsUnpackTest::testElementPreservesSharedReferenceCellscallsUnpackTest::testSourceRetainsReturnedArrayReferencescallsProviderDispatchTest::testResolveKeepsTheWorldOpenWithoutAnApplicableProvidercallsSymbolicEnumsTest::testBindEnumeratesUnitEnumNamesWithoutNonCaseConstantscallsTypeBindingTest::testAcceptsChecksClassHierarchyIntersectionAndValueKindscallsTypeBindingTest::testAcceptsRecognizesCapturedCallableStringsAndEnumClassescallsTypeBindingTest::testCheckKeepsImplicitUserConversionsAndCallableValidationEffectfulcallsTypeBindingTest::testCheckPreservesTargetScalarAcceptancecallsTypeBindingTest::testCheckPreservesTheSemanticContractcallsTypeBindingTest::testCheckRejectsKnownIncompatibleValuesWithoutChangingThemcallsTypeBindingTest::testCheckRetainsSymbolicTypeFailuresWithoutErasingItsOperandcallsTypeBindingTest::testCoerceRecordsPrecisionLossOnlyForImplicitIntegerConversioncallsTypeBindingTest::testCoercibleRejectsNonNumericStringsAndUnboundedFloatscallsTypeBindingTest::testDeclaredResolvesSelfAndLateStaticTypescallsTypeBindingTest::testMatchingPreservesAnExactIntegerRegardlessOfUnionOrdercallsTypeBindingTest::testMatchingPromotesIntegersToFloatsAndReturnsNullForNoMatchcallsTypeBindingTest::testPreferenceUsesNumericStringCategoryForScalarUnionscallsTypeBindingTest::testReportInvalidatesReachableEffectsButPreservesPrivateLocalscallsTypeBindingTest::testReportRecordsAnAppliedTargetDiagnosticAtItsSourcecallsTypeBindingTest::testScalarAcceptsIntegerWideningButDistinguishesLiteralBooleanscallsTypeBindingTest::testScopeResolvesNullableSelfAndParentWithinTheDeclarationOwnercallsTypeCheckTest::testPreservesItsSemanticContractcallsUnknownCallTest::testApplyPreservesTheSemanticContractcallsAlternativeTest::testPreservesItsSemanticContractcallsAssessmentTest::testPreservesItsSemanticContractcallsCompletionKindTest::testResumingAJumpClearsItsPendingCompletioncallsCompletionTest::testPreservesItsSemanticContractcallsExceptionalTest::testPreservesItsSemanticContractcallsCorrelationTest::testBranchAlternativesKeepTheirElementRelationshipscallsCoverageTest::testUnsupportedOperationsMakeCoverageUnavailablecallsDependencyClosureTest::testUnavailableDependenciesKeepTheResultOpencallsEnumerationTest::testSymbolicInputsCannotBeExhaustivelyEnumeratedcallsValuePrecisionTest::testNestedOpaqueInputsAffectPrecisioncallsReachabilityTest::testEntrypointScopeCanProveAnObservationUnreachablecallsClassNamesTest::testCanonicalUsesCapturedAndSupportedNativeDeclarationSpellingcallsClassNamesTest::testObjectDoesNotTreatASubtypeBoundAsAnExactRuntimeClasscallsClassNamesTest::testReceiverPreservesInstanceBoundsAndStaticClassSyntaxcallsClassNamesTest::testResolveDistinguishesLexicalNamesFromRuntimeStringscallsClassNamesTest::testResolveRejectsRelativeNamesWithoutARuntimeScopecallsClassNamesTest::testRuntimeResolvesTheObjectClasscallsClassNamesTest::testRuntimeUsesOnlyEstablishedObjectClassescallsDefinitionsTest::testApplyRetainsFirstDefinitionAfterADuplicatecallsConstraintsTest::testAssumePreservesTheSemanticContractcallsConstraintsTest::testRefineForwardsTheObservedPredicateAndPolaritycallsConstraintsTest::testRefinePreservesOptionalPredicatesAndImpossibleImplicationscallsConstraintsTest::testRefinePropagatesProviderFailurecallsConstraintsTest::testRefineSkipsOtherProvidersAndAppliesEveryGuaranteedPredicatecallsContextTest::testAdmitCountsTransfersOnlyAfterBothBudgetsPermitWorkcallsContextTest::testAdmitDoesNotReopenASealedQuerycallsContextTest::testAdmitSealsTheContextAtTheLogicalWorkLimitcallsContextTest::testFrontierAccumulatesKnownDependencyNamescallsContextTest::testFrontierKeepsDifferentSitesCodesAndOperationsSeparatecallsContextTest::testFrontierPreservesBoundDependenciesAndDeduplicatesTheSameCausecallsContextTest::testFrontierPreservesTheSemanticContractcallsContextTest::testRetainsScopeAndVersionedProviderAssumptionscallsCollectionCallsTest::testApplyKeepsUnknownCollectionEffectsAndBothExitscallsCollectionCallsTest::testApplyPreservesKeysReferencesAndOrderedCallbackEffectscallsCollectionCallsTest::testApplyPreservesTheSemanticContractcallsCollectionCallsTest::testCompletePreservesTheAccumulatorValuecallsCollectionCallsTest::testCompletePublishesResultsWithoutReplacingExceptionscallsCollectionCallsTest::testElementEvaluatesCallbackEffectsInIterationOrdercallsCollectionCallsTest::testElementPassesArrayKeysToKeyCallbackscallsCollectionCallsTest::testFilterKeepsCorrelatedMembershipAndIndependentStoragecallsCollectionCallsTest::testFilterPreservesExistingEntriescallsCollectionCallsTest::testFilterRetainsOriginalKeysForAcceptedElementscallsCollectionCallsTest::testFilterSplitsUnknownMembershipOutcomescallsCollectionCallsTest::testKnownCallbackDistinguishesNullFromUnresolvedClassLookupcallsCollectionCallsTest::testKnownModeRejectsSymbolicFilterArgumentSelectioncallsExceptionChainTest::testAncestorsTerminatesOnCyclesAndUnknownObjectscallsExceptionChainTest::testAppendPreservesAnExistingChainAndRejectsCyclescallsExceptionChainTest::testLocationResolvesBothNativeFamiliesAndSourceInheritancecallsExceptionChainTest::testUnwindLeavesUnrelatedCompletionsUnchangedcallsExceptionChainTest::testUnwindLinksNativeFailuresWhilePreservingTheThrownObjectcallsExceptionMatchTest::testArmsExpandsThrowableRootsAndPreservesIntersectionscallsExceptionMatchTest::testConcreteClassSeparatesSourceAndNativeClassesFromInterfacescallsExceptionMatchTest::testExactRecognizesRuntimeValuesAndClassIdentitycallsExceptionMatchTest::testExcludedRemovesAllSubclassesOfAnEarlierCatchcallsExceptionMatchTest::testImpliesDistinguishesNecessaryAndPossibleSubclassRelationscallsExceptionMatchTest::testIntersectionRetainsIndependentInterfaceBoundscallsExceptionMatchTest::testOverlapsRetainsUnknownInterfacesAndRejectsSiblingClassescallsExceptionMatchTest::testPartitionPreservesExclusionsAcrossRepeatedCatchClausescallsExceptionMatchTest::testPartitionRetainsExactlyTheFeasibleSubsetscallsExceptionMatchTest::testPartitionRetainsUnknownParentsForAllocatedObjectscallsExceptionMatchTest::testRefineDeduplicatesBoundscallsHandlerPhaseTest::testEnteringFinallyRetainsTheSavedCompletioncallsHandlerTest::testPreservesItsSemanticContractcallsIterationStepTest::testAdvanceForgetsTheTrackedBucketWhenLiveStorageBecomesUnknowncallsIterationStepTest::testAdvanceStoresTheCursorAndReportsKnownHeadEntriescallsIterationStepTest::testCandidatesRetainsTheUnknownPrefixBesideAKnownSuffixcallsIterationStepTest::testEvaluateAdvancesExactlyOnePositionAndReportsAvailabilitycallsIterationStepTest::testEvaluateKeepsUnknownIterableAvailabilitySymboliccallsIterationStepTest::testEvaluateNeverReadsOperandsOfSymbolicIterablesAsEntriescallsIterationStepTest::testEvaluatePreservesTheSemanticContractcallsIterationStepTest::testEvaluateReadsCursorValuesAndKeyscallsIterationStepTest::testEvaluateReleasesOnlyTheSelectedIteratorcallsIterationStepTest::testEvaluateResolvesLiveAddressesFromThePinnedStoragecallsIterationStepTest::testEvaluateReturnsAnExplicitBoundaryWhenNoCurrentEntryExistscallsIterationStepTest::testEvaluateVisitsTheKnownHeadOfAMergeBeforeItsUnknownSourcecallsIterationStepTest::testInitializePinsTheArrayCellForLiveTraversalcallsIterationStepTest::testInitializeSkipsANonIterableSubjectWithAWarningcallsIterationStepTest::testInitializeSnapshotsByValueWithoutAllocatingLiveStoragecallsIterationStepTest::testIterableAcceptsOnlyArraysAndObjectscallsIterationStepTest::testKeyIsCertainOnlyForTrackedClosedStorageAndKnownSnapshotEntriescallsIterationStepTest::testReferencedCreatesAMissingElementBeforeSkippingItcallsIterationStepTest::testReferencedLeavesAnUndefinedVariableUndefinedcallsIterationStepTest::testUnknownElementInvalidatesArrayOrObjectStoragecallsIteratorCursorTest::testPreservesItsSemanticContractcallsLoopConvergenceTest::testLoopsOverUnknownIterablesReachAFixedPointWithTheirInitialPrefixcallsLoopConvergenceTest::testPositionDistinguishesOnlyKnownEntriescallsLoopConvergenceTest::testStructureHashesSharedArrayGraphsWithoutExpansioncallsLoopConvergenceTest::testWidenPreservesTheSemanticContractcallsObservationLimitTest::testBoundaryRecordsBudgetAndCorrelationSeparatelycallsObservationLimitTest::testDistinctExceptionsKeepsDifferentExceptionClassescallsObservationLimitTest::testDistinctMergesOnlyIdenticalValuesStateAndStoragecallsObservationLimitTest::testEnforceKeepsIdenticalOutcomesWithinTheBudgetcallsObservationLimitTest::testEnforceMergesRepeatedOutcomesBeforeJoiningcallsObservationLimitTest::testEnforceRetainsValuesOutsideTheFirstPartitioncallsObservationLimitTest::testGuardKeepsSharedEntriesAndReportsRelaxationcallsObservationLimitTest::testJoinPreservesEqualFieldsAndIncludesAbsentFieldscallsObservationLimitTest::testKeySeparatesValuesStateAndStoragecallsObservationLimitTest::testStorageWidensDifferentHeapFieldsAndKeepsCommonAliasescallsPathJoinTest::testCommonKeepsEqualMetadataPresentOnEveryPathcallsPathJoinTest::testJoinKeepsRegisterMetadataOnlyWhenEveryPathAgreescallsPathJoinTest::testJoinRejectsDifferentAliasesAndObjectscallsPathJoinTest::testJoinRejectsDifferentPredecessorscallsPathJoinTest::testJoinWidensCompletedReturnValuesWithoutComparingRegisterscallsPathJoinTest::testJoinWidensDifferingPlainValuesAndKeepsSharedFactscallsPathJoinTest::testLocationsGeneralizeDifferingAddressesIntoOneRootcallsPathJoinTest::testLoopsKeepOnlyBookkeepingBothPathsSharecallsPathJoinTest::testMergeAccumulatesBookkeepingConservativelycallsPathJoinTest::testOffsetsWidenKeysBelowOneParentcallsPathJoinTest::testPlainRejectsNestedIdentitiescallsPathJoinTest::testStructureIgnoresValuesButNotPositionsOrAliasescallsPathJoinTest::testValuesKeepObjectRecordsExactcallsPathJoinTest::testValuesWidensDifferencesAndRejectsIdentitiescallsResidualPathsTest::testCompleteKeepsTheGivenResidualWithoutRecordingAnotherFrontiercallsResidualPathsTest::testInvocationHavocsOnlyStorageTheCalleeCanReachcallsResidualPathsTest::testSealKeepsNormalAndExceptionalResidualsAndHavocsStatecallsResidualPathsTest::testSealPreservesInaccessibleCallerCellscallsStateJoinTest::testCandidateKeysSeparateStatesWithDifferentStoragecallsStateJoinTest::testClustersJoinCompatiblePathsAndKeepOtherStructurescallsStateJoinTest::testCompletedHavocsLateExceptionsThatCannotBeJoinedcallsStateJoinTest::testCompletedIncludesLateReturnsAfterThePartitionLimitcallsStateJoinTest::testCompletedKeepsNormalAndExceptionalGroupsIndependentAtTheExactLimitcallsStateJoinTest::testCompletedRetainsUnobservedExceptionalStateFromLaterPartitionscallsStateJoinTest::testEncodeSharesTermsAndDistinguishesValuescallsStateJoinTest::testFingerprintIgnoresObjectSharingAndKeepsArrayOrdercallsStateJoinTest::testLimitGroupsIndependentProgramPointsBeforeApplyingTheBudgetcallsStateJoinTest::testLimitJoinsExcessPathsThatDifferOnlyInPlainValuescallsStateJoinTest::testLimitKeepsClustersWithinTheBudgetAndSealsTheStorageOfTheRestcallsStateJoinTest::testLimitPassesCompletedResidualsThroughcallsStateJoinTest::testLimitPreservesTheSemanticContractcallsStateJoinTest::testOrderKeyIgnoresEvidenceMultiplicityButRetainsScalarTypescallsStateJoinTest::testOrdersCoalescesPureCallsWithoutDroppingEffectAlternativescallsStateJoinTest::testSealKeepsTheRootsOfEverySealedPathcallsUnwindingTest::testCaptureDoesNotInventAConcreteClassForAnUnknownThrowablecallsUnwindingTest::testCapturePreservesExistingObjectIdentityAndRuntimeErrorscallsUnwindingTest::testCaptureTurnsRuntimeErrorsIntoInspectableObjectscallsUnwindingTest::testResumeMatchesConcreteThrowValidationAndFinallyChainingcallsUnwindingTest::testResumePopsRegionsWithoutFinallyBeforeLeavingTheCallablecallsUnwindingTest::testResumePreservesTheSemanticContractcallsUnwindingTest::testResumeSavesThePendingCompletionBeforeEnteringFinallycallsUnwindingTest::testResumeStopsAtTheJumpDepthAndDoesNotRepeatAnActiveFinallycallsUnwindingTest::testRoutesKeepsPossibleCatchesAndAnUncaughtThrowableRemaindercallsUnwindingTest::testRoutesPreservesNonthrowingPathsWhileResumingTheirJumpscallsUnwindingTest::testRoutesRunsFinallyBeforeAnEscapingThrowablecallsUnwindingTest::testThrowRoutesKeepsAnOuterHandlerWhenTheCompletionStopsAtItsDepthcallsUnwindingTest::testThrowRoutesPartitionsOrderedCatchesAndSavesOnlyTheRemainingThrowForFinallycallsUnwindingTest::testThrowRoutesUsesThrowableTypeBoundsAndCatchOrdercallsCellTest::testPendingProgressIsSeparateFromEmptyApproximationcallsComponentsTest::testFindGroupsMutualRecursionBeforeItsDependentcallsComponentsTest::testOrderVisitsEveryNodeOnceIncludingSelfCyclescallsDemandStatusTest::testAStableDependentBecomesPendingWhenItsInputChangescallsDiscoveryTest::testInstructionsFollowsArgumentsAndReferenceLocationsThroughRepeatedDependenciescallsDiscoveryTest::testInstructionsRetainsAnUnusedCallButOmitsAnUnusedLiteralcallsDiscoveryTest::testInstructionsStopsOnlyAfterExceedingTheNodeBudgetcallsDiscoveryTest::testObservationDemandsOnlyTheRequestedPureRegistercallsDiscoveryTest::testRootRetainsThrowingOperatorsWithoutAResultUsecallsDiscoveryTest::testRootSelectsOnlyTheRequestedPureObservationcallsTableTest::testContextsCountsUniqueSpecializationscallsTableTest::testInvalidateSchedulesCompletedDependentscallsTableTest::testReadyDoesNotConfuseRunningWithCompletedBottomcallsTableTest::testRegisterInternsOneDemandAndFreezesItsEntrycallsDependenciesTest::testRecordIncludesDataStorageAndControlParentscallsEvaluatorTest::testBlockDropsAStableHeaderWithoutALoopTestAsSubsumedcallsEvaluatorTest::testBlockPreservesNormalAndExceptionalResidualsWhenWorkIsExhaustedcallsEvaluatorTest::testBlockSkipsUndemandedInstructionscallsEvaluatorTest::testBlockTransfersOnlyDemandedDefinitionscallsEvaluatorTest::testBranchAtAStableLoopHeaderKeepsOnlyTheExitPathcallsEvaluatorTest::testBranchEliminatesAContradictedConstantPathcallsEvaluatorTest::testBranchForksMemoryAndRetainsUniqueControllingEvidencecallsEvaluatorTest::testExecuteDoesNotReexecuteAnAlreadyCompletedEntrycallsEvaluatorTest::testExecuteTransfersOnceWithoutPublishingSpeculativeObservationscallsEvaluatorTest::testRecursiveBoundsSymbolicActivationsBeforeConcreteOnescallsEvaluatorTest::testReturnedCoercesSharedCellsAndRetainsReferenceIdentitycallsEvaluatorTest::testReturnedEnforcesTheDeclaredReturnTypecallsEvaluatorTest::testReturnedKeepsExceptionsOutsideReturnTypeValidationcallsEvaluatorTest::testReturnedKeepsThePreCoercionCellOnAnUncertainTypeErrorcallsEvaluatorTest::testReturnedResolvesLateStaticTypesAgainstTheBoundReceiverClasscallsEvaluatorTest::testReturnedValidatesFinalValuesUnderTheDeclaringFileModecallsEvaluatorTest::testRunRestoresActiveDepthAndKeepsTheLastPermittedRecursiveEntrycallsEvaluatorTest::testRunRetainsBothResidualExitsAfterTheRecursionLimitcallsEvaluatorTest::testRunReturnsTheObservedValuecallsEvaluatorTest::testRunSealsSymbolicRecursionWithoutHavockingTheCallercallsEvaluatorTest::testStepRecordsAConstantDefinitioncallsEvaluatorTest::testStepTurnsThrowableResultsIntoExceptionalCompletionsAndRecordsEvidencecallsEvaluatorTest::testTerminateCompleteJumpUnwindsOnlyTheExitedRegioncallsEvaluatorTest::testTerminateDistinguishesReferenceAndValueReturnscallsEvaluatorTest::testTerminateJumpRecordsThePredecessorAndUsesTheFirstTargetcallsEvaluatorTest::testTerminateLeaveTryKeepsOuterHandlersAndResumesAtTheRegionContinuationcallsEvaluatorTest::testTerminateLeaveTryRunsFinallyBeforeContinuingcallsEvaluatorTest::testTerminateResidualCompletesWithTheBoundaryValueAndAnUnknownThrowablecallsEvaluatorTest::testTerminateResumeRestoresTheSavedCompletionAndRemovesItsHandlercallsEvaluatorTest::testTerminateResumeWithoutASavedCompletionReturnsNullcallsEvaluatorTest::testTerminateUsesTheAlreadyEvaluatedReturnRegistercallsHavocTest::testCallPreservesTheSemanticContractcallsInstructionTransferTest::testApplyArrayConstructionPreservesSharedReferenceCellscallsInstructionTransferTest::testApplyArrayConstructionRetainsAnUncomputedElementcallsInstructionTransferTest::testApplyDispatchesEffectsAndReturnsTheFinalStatecallsInstructionTransferTest::testApplyPreservesTheSemanticContractcallsInstructionTransferTest::testBoundaryInvalidatesStateAndKeepsIndependentExitStatescallsInstructionTransferTest::testBoundaryKeepsBothCaughtAndNormallyCompletedUnknownCodecallsInstructionTransferTest::testOffsetReadPreservesSilentAbsenceOnComputedArrayscallsInstructionTransferTest::testOtherConvertsEvalIntoAnExplicitStateBoundarycallsInstructionTransferTest::testOtherPushesTheSelectedExceptionRegionOntoExistingHandlerscallsInstructionTransferTest::testOtherThrowRetainsTheEvaluatedThrowableIdentitycallsInstructionTransferTest::testPreparationAppliesExplicitModelWriteFootprintsBeforeContinuingcallsInstructionTransferTest::testPreparationLeavesOrdinaryOperationsToValueTransfercallsInstructionTransferTest::testPreparationResolvesRegisteredModelStateStoragecallsInstructionTransferTest::testStorageRetainsUnknownReferenceEffectsAndExceptionscallsInstructionTransferTest::testStorageRoutesOffsetReadsThroughContainerSemanticscallsInstructionTransferTest::testUnpackIntoAnAppendableArrayCannotReachTheOccupiedMaximumIndexcallsInstructionTransferTest::testUnpackMergesClosedArraysInInsertionOrdercallsInstructionTransferTest::testUnpackOpenArraysKeepsBothContinuationsAndKnownDependenciescallsInstructionTransferTest::testUnpackRejectsNonIterableValuescallsInstructionTransferTest::testUnpackRetainsUnknownIterableEffectsAndBothExitscallsLocationTest::testPreservesItsSemanticContractcallsMemoryTest::testFreshPreservesTheSemanticContractcallsSlotReferenceTest::testApplyRejectsAnIncompatibleSourceBeforeChangingEitherCellcallsStateStorageTest::testAddressDoesNotExposeAnOrdinaryPropertycallsStateStorageTest::testAddressInitializesAcceptedExternalIdentitiesWithSymbolicStatecallsStateStorageTest::testAddressRejectsInvalidReceiversAndUnknownSlotscallsStateStorageTest::testInitializeAppliesDistinctCloneRulesAndPreservesCopiedReferencescallsStateStorageTest::testInitializeCloningAnUnobservedSourceRetainsItsStateIdentitycallsStateStorageTest::testInitializeCopiesTheCurrentValueOnClonecallsStateStorageTest::testInitializeDoesNotAssumeAnExternalReceiverHasItsNewObjectDefaultscallsStateStorageTest::testObserveRetainsInvalidReceiverDependenciesAndOptionalProvenancecallsStateStorageTest::testObserveSelectsTheRegisteredAbstractRecordcallsObservationCollectorTest::testCompletionExportsOnlyEscapingPreObservationExceptionscallsObservationCollectorTest::testCompletionKeepsTheExceptionalStateAtTheThrowcallsObservationCollectorTest::testCompletionSelectsReturnSymbolsAndScopeWithoutDuplicatingRecursiveRootscallsObservationCollectorTest::testInstructionCapturesStateAndTupleValuesAtTheMatchingPointcallsObservationCollectorTest::testInstructionCapturesValueStateGuardAndEvidenceInTheRequestedScopecallsObservationCollectorTest::testInstructionIgnoresDifferentOwnersRegistersPointsAndPhasescallsObservationCollectorTest::testInstructionNormalizesNamedOwnersBeforeCapturingValuescallsObservationCollectorTest::testInstructionPreservesTheSemanticContractcallsObservationCollectorTest::testProjectDelegatesRegisteredDomainProjectioncallsObservationCollectorTest::testProjectFollowsObjectAndReferenceHandlescallsObservationCollectorTest::testProjectFollowsObjectIdentityWithoutDroppingSiblingFieldscallsObservationCollectorTest::testProjectReadsAbstractSlotscallsObservationCollectorTest::testProjectRetainsUnknownDomainAndMissingFieldDependenciescallsObservationCollectorTest::testProjectSelectsTheRequestedValuecallsObservationCollectorTest::testRepeatedRecognizesAControlFlowCyclecallsPathTest::testChainPreservesTheOriginalContainerAndNestedKeyscallsPathTest::testChainRetainsUnknownBasesAndDirectLocationscallsPathTest::testCreateAllowsNullableArrayPropertiescallsPathTest::testCreateAppliesTheTypesOfPropertiesSharingAnEscapedReferencecallsPathTest::testCreateChecksDirectPropertyTypesBeforeArrayCreationcallsPathTest::testLocateAppendStoresTheResolvedKeyForSubsequentReadscallsPathTest::testLocateNormalizesArrayKeysAndRetainsTheOriginalRootcallsPathTest::testLocatePreservesIntermediateArraysWhenTheLastKeyFailscallsPathTest::testLocatePreservesOverloadedReceiversAndUnevaluatedSuffixescallsPathTest::testLocateRejectsNestedStringMutationWithoutChangingStoragecallsPathTest::testLocateRetainsArrayCreationBeforeAnInvalidKeycallsPathTest::testLocateRetainsUnknownKeyDependenciescallsPathTest::testLocateReturnsStringStorageWithoutCoercingTheOriginalKeycallsPathTest::testLocateUnsetDoesNotCreateMissingIntermediateArrayscallsPathTest::testPrepareChangesOnlyLegalAutovivifiedContainerscallsPathTest::testPrepareRejectsScalarMutationWithoutChangingTheScalarcallsPathTest::testReadDefersAnOverloadedElementWithTheRemainingChaincallsPathTest::testReadDoesNotAutovivifyNullContainerscallsPathTest::testReadStopsAtErrorsAndHonorsSilentAbsencecallsProtocolTest::testApplyPreservesRecordedArrayAccessValuesEffectsAndExceptionscallsProtocolTest::testApplyReturnsAssignmentValueAfterOffsetSetcallsProtocolTest::testCallPreservesOriginalArrayKeysForUserMethodscallsProtocolTest::testGetReturnsTheSourceMethodResultcallsProtocolTest::testIndirectCreatesTemporaryReferencesForValueReturnscallsProtocolTest::testNestedContinuesFromTheReturnedReferenceCellcallsProtocolTest::testSilentDistinguishesExistenceFromCoalescingReadscallsReadCandidatesTest::testApplyKeepsInvalidKeyExceptionForSymbolicArrayscallsReadCandidatesTest::testApplyKeepsRepeatedSelectionsCorrelatedcallsReaderTest::testArrayReadsOnlyIntegerHeadKeysOfAnUnknownMergeExactlycallsReaderTest::testArrayRejectsIllegalKeysEvenInExistenceCheckscallsReaderTest::testKeyTruncatesFloatKeysAndRecordsLossOfPrecisioncallsReaderTest::testPlainObjectRecognizesArrayAccessImplementationscallsReaderTest::testReadScalarOffsetsReturnNullWithAWarningcallsReaderTest::testReadTreatsScalarPatternEntriesAsNullWithoutOffsetDiagnosticscallsStringsTest::testConvertRecordsArrayConversionWithoutExecutingObjectCodecallsStringsTest::testIndexDistinguishesExistenceChecksFromReadscallsStringsTest::testIndexFollowsTheStringOffsetConversionContractcallsStringsTest::testIndexReportsInvalidKeysAsUninitializedWhenSilentcallsStringsTest::testReadPreservesByteBoundariesAndAbsentOffsetscallsStringsTest::testReadUsesBytesNegativePositionsAndSilentAbsencecallsStringsTest::testStringIndexAcceptsIntegerSpellingsButRejectsDecimalStringscallsStringsTest::testWarningDeduplicatesDiagnosticsAtOneOffsetOperationcallsStringsTest::testWritePadsWithSpacesAndRejectsAnEmptyRightHandStringcallsStringsTest::testWritePreservesTheOriginalOnFailureAndReturnsTheAssignedBytecallsStringsTest::testWriteReturnsFirstByteAndPreservesTheRemaindercallsTransferTest::testApplyCreatesAReferenceCellForAnAbsentArrayElementcallsTransferTest::testApplyPreservesRecordedOffsetValuesEffectsAndExceptionscallsTransferTest::testBoundaryPreservesBothExitKindsAndInvalidatesAffectedStatecallsTransferTest::testCompoundRejectsStringOffsetsAfterCheckingTheOriginalKeycallsTransferTest::testResultMarksConcreteErrorsAsExceptionalcallsTransferTest::testStringRejectsReferencesWithoutChangingTheContainingStringcallsCallablePredicateTest::testApplyPreservesKnownPredicatesAndUnknownReferenceOutputscallsConversionsTest::testApplyDefersScalarAndStrictComparisonOperationscallsConversionsTest::testApplyKeepsUnsupportedObjectProtocolsExplicitcallsConversionsTest::testApplyLeavesNonconversionInstructionsToOrdinaryTransfercallsConversionsTest::testBoundaryIncludesBothCompletionKindsAndEffectscallsConversionsTest::testConcatKeepsLeftStringBeforeTheRightMethodMutatesItsReceivercallsConversionsTest::testObjectDistinguishesProvenScalarTypesFromPossibleObjectscallsConversionsTest::testObjectRecognizesEveryScalarTypeAndConservativeObjectBoundcallsConversionsTest::testReturnedEnforcesTheImplicitStringContractcallsConversionsTest::testReturnedPartitionsAnUnknownReturnIntoValidStringsAndTypeErrorscallsConversionsTest::testReturnedPreservesThrownCompletionsWithoutCheckingTheirReturnRegistercallsConversionsTest::testStringInvokesSourceEffectsOncecallsConversionsTest::testStringPreservesOracleCheckedSourceEffectsAndCompletioncallsConversionsTest::testStringRecordsArrayWarningscallsCountableCallsTest::testApplyRetainsReceiverWritesAndExceptionscallsPartialFormattingTest::testApplyDoesNotChangeCompletelyKnownFormatscallsPartialFormattingTest::testApplyFormatsVectorArgumentsInValueOrdercallsPartialFormattingTest::testApplyKeepsTheFormattedKnownPrefixBeforeAnExplicitResidualcallsPartialFormattingTest::testApplyLeavesUndecidablePrefixesToTheOrdinaryModelcallsScalarErrorsTest::testEligibleKeepsAlreadyConcreteErrorsInOrdinaryTransfercallsScalarErrorsTest::testEligibleRestrictsSplittingToUnresolvedNumericOperationscallsScalarErrorsTest::testMayTypeErrorRecognizesArrayUnionAndStringBitwiseOperatorscallsScalarErrorsTest::testNumericAcceptsOnlyGuaranteedScalarNumericConversionscallsScalarErrorsTest::testNumericRejectsUnconstrainedStringsAndAcceptsScalarNumberscallsScalarErrorsTest::testPathsRetainsDivisionByZeroForASymbolicIntegercallsScalarErrorsTest::testPathsRetainsNumericConversionFailureDependenciesAndProvenancecallsScalarErrorsTest::testPredicateUsesDivisionOrIntegralFailureRulescallsScalarErrorsTest::testPredicateUsesIntegralConversionForModulocallsScalarErrorsTest::testSplitHonorsAnExistingNonzeroGuardcallsScalarErrorsTest::testSplitKeepsOnlyFeasiblePathsAndIndependentMemorycallsScalarErrorsTest::testUnaryKeepsThePossibleBitwiseTypeFailurecallsScalarErrorsTest::testUnaryPreservesNormalExpressionsAndOnlyAddsPossibleTypeFailurescallsStringJoiningTest::testApplyPreservesStringConversionEffectscallsStringJoiningTest::testJoinConvertsEveryKnownElementInOrdercallsStringJoiningTest::testPartialJoinsTheHeadExactlyForAnEmptySourceAndKeepsItBeforeTheResidualOtherwisecallsStringJoiningTest::testPartialRetainsUnknownArrayInputscallsStringJoiningTest::testPartialRunsHeadConversionsBeforeTheUnknownSourcecallsStringJoiningTest::testSuffixKeepsTheEmptyAndNonemptyPrefixAlternativescallsStateTest::testForkPreservesTheSemanticContractcallsEvaluationTest::testCloseEvaluatesPendingComputationsAndClearsTheSolvingFlagcallsEvaluationTest::testCloseResolvesCyclicPendingCellsBeforeExportcallsEvaluationTest::testCloseSealsARecursiveComponentWithNoProductiveOutcomecallsEvaluationTest::testEligibleRejectsHiddenReferencesDespiteAPureBodycallsEvaluationTest::testEligibleRejectsNonSymbolicReturnObservationscallsEvaluationTest::testEligibleRequiresAnIsolatedValueForEveryLocalcallsEvaluationTest::testEvaluateInvalidatesDependentsOnlyAfterItsApproximationGrowscallsEvaluationTest::testEvaluateMeasuresOnlyItsOwnTransfersAndAllocationEventscallsEvaluationTest::testEvaluateRestoresHistoryAndDetectsAnUnchangedApproximationcallsEvaluationTest::testEvaluateSealsAtTheExactRecursionBudgetcallsEvaluationTest::testEvaluateSealsOnlyWhenPriorFrontiersInvalidateRemainingEffectscallsEvaluationTest::testEvaluateStoresAnIndependentCompletionAndLogicalCostcallsEvaluationTest::testReplayPreservesOrdinaryExceptionscallsEvaluationTest::testRunAllowsTheLastAvailableSpecializationcallsEvaluationTest::testRunCannotReplayAClosedSummaryAfterTheContextIsSealedcallsEvaluationTest::testRunChargesMemoizedWorkOnlyWhenItFitsTheRemainingBudgetcallsEvaluationTest::testRunExecutesStatefulBodiesWithoutPublishingReusableOutcomescallsEvaluationTest::testRunKeepsAnEmptyRunningApproximationProvisionalcallsEvaluationTest::testRunReplaysAvailableApproximationsWithoutExecutingAgaincallsEvaluationTest::testRunReusesCallsAtTheSameSiteWithoutMergingDifferentArgumentscallsEvaluationTest::testRunSealsAnAdditionalSpecializationAtTheOwnerLimitcallsEvaluationTest::testRunSealsAtTheSharedSpecializationBudgetcallsEvaluationTest::testSealInvalidatesACompletedDependentAndKeepsResidualExceptionscallsEvaluationTest::testSealRetainsTheBoundedKnownOutcomeBeforeResidualscallsInvocationTest::testKeyIgnoresUnrelatedCallerCellsAndEarlierCallHistorycallsInvocationTest::testKeySeparatesBoundInputsAndConstraintPartitionscallsInvocationTest::testKeySeparatesCaseSensitiveInitializersDuringMemoizationcallsIsolationTest::testCallableChecksAnImpureSiblingAfterTraversingACyclecallsIsolationTest::testCallableChecksTheWholeMutuallyRecursiveComponentcallsIsolationTest::testCallableExcludesRuntimeErrorObjectAllocationscallsIsolationTest::testCallableRejectsReferencesAndUnknownCallscallsIsolationTest::testCallableRejectsTransitiveGlobalMutationcallsIsolationTest::testDependenciesHonorsTheRemainingInstructionBudgetcallsIsolationTest::testDependenciesIncludesDefaultInitializersAndEveryResolvedCalleecallsIsolationTest::testDependenciesStopsAnOptionalProofAtItsNodeBudgetcallsIsolationTest::testInstructionsChecksTransitiveDependenciesAfterResolvingNamescallsIsolationTest::testInstructionsRejectsExternalStateEvenIfNoReturnUsesItcallsIsolationTest::testLocalRejectsCapturedVariablesScriptFramesAndModeledBodiescallsIsolationTest::testLocalRejectsReferenceBearingFramescallsIsolationTest::testLocalRequiresAnIndependentInvocationFramecallsIsolationTest::testObservedExcludesBatchReturnOwnersFromSummaryReplaycallsIsolationTest::testValueAbandonsAnOversizedOptionalProofcallsIsolationTest::testValueChecksDeepSharedInputsIterativelycallsIsolationTest::testValueCountsUniqueNodesAtTheExactProofBudgetcallsIsolationTest::testValuePreservesSharedGraphComplexitycallsIsolationTest::testValueRejectsReferencesHiddenInsideArrayCopiescallsIsolationTest::testValueRequiresEveryNestedOperandToBeIndependentcallsDerivationKindTest::testExplanationsDistinguishValueDependenciesFromWritescallsDerivationTest::testPreservesItsSemanticContractcallsExplanationTest::testPreservesItsSemanticContractcallsCallableTransferTest::testClosureReferenceCaptureSharesTheCellAfterReassignmentcallsCallableTransferTest::testEvaluatePreservesTheSemanticContractcallsCallableTransferTest::testInstanceRecognizesFirstClassClosuresAndTheirBuiltInClasscallsCallableTransferTest::testInstanceSeparatesLiteralAndRuntimeClassOperandscallsCompoundAssignmentTest::testApplyReadsStorageAfterRightOperandEffectscallsCompoundAssignmentTest::testApplyRetainsArrayCreationWhenTheOperatorThrowscallsConstantTransferTest::testApplyEvaluatesCapturedConstantExpressionscallsConstantTransferTest::testFinishPropagatesClassResolutionErrorsWithoutWritingAValuecallsConstantTransferTest::testFinishRecordsTheUnresolvedClassDependencyAtItsSourcecallsConstantTransferTest::testFinishRetainsTheExactClassValueAndExistingStatecallsConstantTransferTest::testInitializerBuildsAnEnumFromItsBackingExpressioncallsConstantTransferTest::testInitializerChecksDeclaredTypesAndConstructsEnumIdentitycallsConstantTransferTest::testInitializerPropagatesFailureBeforeEnforcingTheConstantTypecallsConstantTransferTest::testInitializerRetainsEnumCaseNameBackingValueAndDeclaringClasscallsConstantTransferTest::testInitializerUsesCapturedAndBuiltinFallbacksWithoutExecutingMissingBodiescallsConstantTransferTest::testMemberChecksAccessBeforeReturningAnInitializercallsConstantTransferTest::testMemberKeepsUnavailableDynamicClassLookupsExplicitcallsConstantTransferTest::testMemberPreservesOracleCheckedClassNameAndConstantSemanticscallsConstantTransferTest::testMemberPreservesResolutionErrorsAndClassNamescallsConstantTransferTest::testMemberResolvesTheClassNameAndMemberSelectorcallsExternalTransferTest::testApplyDistinguishesFreshEventsFromStableEnvironmentInputscallsExternalTransferTest::testClockTypeKeepsBothOverloadsForAnUnknownFlagcallsExternalTransferTest::testEnvironmentKeySeparatesLocalAndSapiLookupscallsExternalTransferTest::testEnvironmentTypeIncludesTheCompleteEnvironmentOverloadcallsExternalTransferTest::testRandomPreservesThePossibleMtRandRangeErrorForSymbolicBoundscallsExternalTransferTest::testRandomRetainsEntropyFailureAlongsideAValidSamplecallsExternalTransferTest::testRandomReturnsAnEqualEndpointWithoutAnEntropyRequestcallsExternalTransferTest::testRangeErrorAllowsReversedRandBoundscallsExternalTransferTest::testRangeErrorRejectsReversedBoundsAndOneMissingBoundcallsIntrinsicTransferTest::testApplyPreservesScalarResultMetadatacallsIntrinsicTransferTest::testApplyPreservesTheSemanticContractcallsIntrinsicTransferTest::testApplyPropagatesIntrinsicFailurescallsIntrinsicTransferTest::testApplyRecordsOnlyContractFailuresAsModelFrontierscallsIntrinsicTransferTest::testApplyRoutesEnvironmentAndRandomOperationsThroughTheirDeclaredSemanticscallsIntrinsicTransferTest::testApplySelectsTheRegisteredIntrinsicAndPassesOrderedValuesAndTargetcallsIntrinsicTransferTest::testApplyUnknownOverloadsRetainPossibleReferenceEffectsAndExceptionscallsMemoryStepTest::testAddressKeepsTheActualVariableBindingcallsMemoryStepTest::testAddressKeepsUnknownKeysAtTheParentLocationcallsMemoryStepTest::testAddressResolvesReturnedCellsAndRejectsValuescallsMemoryStepTest::testBindingCreatesExternalGlobalsAndRemovesOnlySelectedArrayElementscallsMemoryStepTest::testBindingInitializesUnseenStaticsAndKeepsUnknownSharedStatecallsMemoryStepTest::testBindingUnsetsOnlyOneLocalAliascallsMemoryStepTest::testBindingUsesExistingGlobalAndStaticStorageWithoutReinitializingcallsMemoryStepTest::testEvaluateBindsScriptLocalsToSharedGlobalStoragecallsMemoryStepTest::testEvaluateFailedIncrementCannotWriteTheThrowableIntoStoragecallsMemoryStepTest::testEvaluateIncrementKeepsPreAndPostValuesSeparatecallsMemoryStepTest::testEvaluatePreservesTheSemanticContractcallsMemoryStepTest::testEvaluateReferencesAndAliasesShareWritescallsMemoryStepTest::testEvaluateSilentReadsPreserveAbsenceWithoutWarningscallsMemoryStepTest::testEvaluateWritesAndReadsTheResolvedAddresscallsMemoryStepTest::testIncrementedRetainsNoEffectValuesAndRecordsTargetWarningscallsMemoryStepTest::testPrepareAddressAppendsUsingTheStoredCountercallsMemoryStepTest::testPrepareAddressRejectsAnOccupiedMaximumAppendIndexWithoutOverwritingItcallsMemoryStepTest::testPrepareAddressRetainsOriginalOffsetAndPropertyMetadatacallsMemoryStepTest::testPrepareStorageResolvesAConcreteDynamicLocalcallsMemoryStepTest::testReadReportsAnUnconfiguredGlobalcallsMemoryStepTest::testReturnedAddressAnchorsTemporaryValuesAndReportsOnlyRequiredReferenceNoticescallsMemoryStepTest::testReturnedAddressRetainsAnExistingReturnedCellWithoutAReferenceNoticecallsMemoryStepTest::testUninitializedNamesTheReadVariablecallsMemoryStepTest::testUninitializedRetainsAWarningForAnUndefinedVariablecallsMemoryStepTest::testUninitializedTypedPropertiesAndThisProduceErrorsWithoutWarningscallsMemoryStepTest::testUnknownSharedMakesALazilyCreatedGlobalUnknowncallsMemoryStepTest::testUnsetKeepsAVariableUndefinedAcrossUnknownSymbolTablescallsMemoryStepTest::testVariableNamesGlobalAndLocalStorageOnlycallsObjectAccessTest::testAddressPreservesTheSemanticContractcallsObjectAccessTest::testAddressSeparatesLiteralAndRuntimeClassOperandscallsObjectAccessTest::testPrepareCapturesAnExternalReceiverFieldAndItsTypecallsObjectAccessTest::testPrepareCapturesFieldsOnlyOfReceiversThatMayBeObjectscallsObjectAccessTest::testPrepareSeedsOnlyUnreadFieldsOfOpenRecordscallsObjectAccessTest::testReceiverClassKeepsObjectIdentitySeparateFromStaticNamescallsObjectAccessTest::testSlotKeepsPrivateDeclarationsDistinctcallsObjectAccessTest::testSymbolicRecognizesOnlyStableExternalIdentitiescallsPropertyAccessCheckTest::testApplyRejectsIndirectReadonlyArrayChangescallsPropertyAccessCheckTest::testApplySilentlyReadsNullReceiversForIssetcallsPropertyAccessCheckTest::testIndirectReadonlyAllowsMutationThroughAnObjectHandlecallsPropertyLookupTest::testAccessibleAllowsProtectedAccessFromRelatedClassescallsPropertyLookupTest::testFindPrefersTheLexicalPrivateSlotInASubclasscallsPropertyMagicTest::testApplyCallsTheSetterAndKeepsTheAssignedExpressioncallsPropertyMagicTest::testSilentRunsIssetBeforeTheGettercallsPropertyReferenceTest::testAliasRejectsReadonlySourcescallsPropertyReferenceTest::testBindChecksPropertyAndSourceConstraintsBeforeRebindingcallsPropertyReferenceTest::testBindCoercesTheSharedSourceOnlyWhenEveryDeclarationAcceptsItcallsPropertyReferenceTest::testBindPreservesRecordedReferenceAndPropertyMutationSemanticscallsPropertyReferenceTest::testBindRejectsReadonlyPropertiesBeforeReadingTheSourcecallsPropertyReferenceTest::testBindSeparatesSymbolicTypeFailuresBeforeMutatingEitherStoragecallsPropertyReferenceTest::testIncrementLeavesStorageAndResultUntouchedWhenRejectedcallsPropertyReferenceTest::testIncrementPreservesTheOldValueOnIntegerOverflowcallsPropertyReferenceTest::testIncrementRejectsUninitializedTypedPropertiesBeforeAnyWritecallsPropertyReferenceTest::testReadExposesTheCellOfAnUndeclaredDynamicPropertycallsPropertyReferenceTest::testReadInitializesNullableStorageBeforeExposingItsReferencecallsPropertyReferenceTest::testReadRejectsAnUninitializedNonnullableReferencecallsPropertyTransferTest::testApplyHandlesInaccessibleSilentReadscallsPropertyTransferTest::testApplyPreservesPropertyValuesAndErrorscallsPropertyTransferTest::testErrorRetainsTheUnchangedMemorycallsPropertyTransferTest::testInitializeEvaluatesInheritedStaticDefaultscallsPropertyTransferTest::testTransferChecksTheDeclaredTypeBeforeCommittingAWritecallsPropertyTransferTest::testUncertainKeepsKnownPresenceWithoutForkingcallsPropertyTransferTest::testUncertainPreservesPresentAndAbsentPropertyStatescallsPropertyTransferTest::testUncertainRetainsErrorsAfterUnknownCallsCanUnsetTypedPropertiescallsPropertyTransferTest::testWriteChecksEveryPropertySharingTheDestinationCellcallsPropertyTransferTest::testWriteConsumesOnlyTheSuccessfulReadonlyCloneOpportunitycallsPropertyTransferTest::testWriteEnforcesReadonlyClassescallsPropertyTransferTest::testWritePreservesBothTypeOutcomesAndTheirIndependentMemorycallsPropertyTransferTest::testWriteRejectsAnAbsentDeclarationWithoutTouchingStoragecallsPureStepTest::testArrayReadDereferencesSharedCellscallsPureStepTest::testArrayReadKeepsOpenAbsenceAndRejectsIllegalKeyscallsPureStepTest::testArrayReadRetainsUnknownContainerAndKeyExpressionscallsPureStepTest::testArrayReadSelectsTheRequestedValuecallsPureStepTest::testBinaryRecordsTargetWarningsWithoutHostRangeConversionscallsPureStepTest::testConstantDoesNotUseEnvironmentNamesAsDefinitionscallsPureStepTest::testConstantReadsTargetConstantsIndependentlyOfTheHostcallsPureStepTest::testConstantUsesTheTargetVersioncallsPureStepTest::testEvaluateDispatchesPureOperationscallsPureStepTest::testEvaluatePreservesLiteralIdentityAndExplicitErrorscallsPureStepTest::testEvaluatePreservesTheSemanticContractcallsPureStepTest::testExternalCreatesDistinctEvaluationEventscallsPureStepTest::testExternalPreservesEventMetadataWithoutUsingNamedEnvironmentValuescallsPureStepTest::testMagicPreservesCapturedPathsAndCallableIdentitycallsPureStepTest::testMagicUsesTheCapturedSourceLinecallsPureStepTest::testNotNullDistinguishesAnUninitializedCellFromAFalseValuecallsPureStepTest::testNotNullDistinguishesPresenceFromTruthinesscallsPureStepTest::testNotNullKeepsTheSymbolicNullComparisoncallsPureStepTest::testPhiSelectsThePredecessorValuecallsReferenceAssignmentTest::testApplyChecksAReferenceThatOutlivesItsOriginalPropertycallsReferenceAssignmentTest::testCheckAllowsMixedToFollowAPropertyCoercioncallsReferenceAssignmentTest::testCheckRejectsConflictingCoercionscallsArrayConstructionTest::testAppendPreservesTheOrderAfterAnUnknownKeycallsArrayConstructionTest::testChainPreservesAppendAfterAnExplicitKeycallsArrayConstructionTest::testChoicesLimitRetainsFixedArrayEntriescallsArrayConstructionTest::testChoicesPreservesCorrelationBetweenArrayEntriescallsArrayConstructionTest::testValueDoesNotLoseAnUnknownMiddleEntrycallsConditionalEvaluatorTest::testAlternativesCanProjectTruthWithoutPruningValueChoicescallsConditionalEvaluatorTest::testEvaluateBothAlternativesWithoutEvaluatingThePredicatecallsDefinitionEvaluatorTest::testEvaluateRequestsAndCombinesItsOperandscallsGuardsTest::testAtKeepsBothSymbolicBranchIdentitiescallsGuardsTest::testEdgeDoesNotEnumerateAnIrrelevantConditioncallsGuardsTest::testEdgeRetainsBothBranchesOfAConstantPredicatecallsGuardsTest::testWalkKeepsAnExcludedBlockEmptycallsOriginsTest::testBindingEvidenceRetainsActualAndFormalRelationcallsOriginsTest::testCallersKeepsActualsCorrelatedcallsOriginsTest::testCallersKeepsMatchingActualsWhenOtherClassesUseTheSameMethodNamecallsOriginsTest::testCallersPreservesAnEmptyArgumentFromAMatchingCallcallsOriginsTest::testCallersReturnsNullWhenOnlyUnrelatedMethodsHaveCallSitescallsOriginsTest::testParameterPreservesAnUnboundInputcallsOriginsTest::testParameterRetainsExternalInputThroughSameNamedForwardingMethodscallsOriginsTest::testPropertyCollectsOrdinaryWritescallsOriginsTest::testUnboundKeepsTheDeclaredInputTypecallsReturnEvaluatorTest::testEvaluateTheSelectedAlternativecallsStorageTest::testBranchesWriteLocalRecognizesConditionalAssignmentscallsStorageTest::testDeclarationKeepsTheSelectedStorageOrigincallsStorageTest::testElementWriteUpdatesTheDemandedParentArraycallsStorageTest::testInitialRetainsTheInputIdentitycallsStorageTest::testKeySeparatesDifferentLocalscallsStorageTest::testLookupReadsACompletedAssignmentcallsStorageTest::testMergeSharesIdenticalPredecessorValuescallsStorageTest::testModifiedFindsEscapingLocalscallsStorageTest::testReachingKeepsTheSelectedStorageOrigincallsStorageTest::testReadSelectsTheReachingDefinitioncallsStorageTest::testSearchFollowsBranchSpecificWritescallsStorageTest::testSearchSharesTheSameDefinitionAcrossDependencyPathscallsStorageTest::testTypeDoesNotRestoreAnOverwrittenParametercallsStorageTest::testWritePreservesCompoundArithmeticcallsBodyIndexTest::testReachableBlocksIncludesExceptionHandlerEntriescallsBodyIndexTest::testReturnsIndexesAllReturnOriginsWithoutEvaluatingThemcallsBodyIndexTest::testReturnsPreservesTheDefinitionBeforeFinallycallsBodyIndexTest::testRootFindsThePropertyBehindAnElementMutationcallsBodyIndexTest::testWritesIncludesEveryDirectStorageMutationcallsControlDependenciesTest::testBuildDoesNotControlAJoinWithIrrelevantBranchescallsControlDependenciesTest::testOrderStartsAtTheVirtualExitcallsControlDependenciesTest::testPostdominatorsIncludesTheSingleExitcallsDefinitionIndexTest::testCallersKeepsAllMatchingSitescallsDefinitionIndexTest::testClassNameResolvesTheKnownParentcallsDefinitionIndexTest::testDeclaredPropertyResolvesItsDeclaringClasscallsDefinitionIndexTest::testGraphDoesNotDeriveACompiledBodycallsDefinitionIndexTest::testLiteralKeepsAStringNamecallsDefinitionIndexTest::testMethodDoesNotTreatAMissingAncestorAsAKnownMethodcallsDefinitionIndexTest::testPropertyDoesNotMixUnrelatedDeclarationscallsDefinitionIndexTest::testTargetResolvesAnInheritedDeclarationcallsDefinitionIndexTest::testTypeRetainsADeclaredReceivercallsDefinitionIndexTest::testWritesCollectsOnlyTheRequestedDeclarationcallsArgumentsTest::testActualsExpandsNamedUnpackcallsArgumentsTest::testBindPreservesVariadicNamescallsBodiesTest::testSelectSharesOneReplacementAcrossOutputRequestscallsBodyTest::testEnterCountsOnlySelectedSourceImplementationscallsCallbackTest::testValueUsesInstanceDispatchcallsDispatchTest::testApplyPreservesReceiverChoicesThroughInheritedMethodscallsDispatchTest::testTargetKeepsPrivateMethodsLexicallyBoundcallsOriginTest::testCallRetainsCallerDerivedInputsWithoutEnteringTheBodycallsCallersTest::testSitesFiltersBeforeLoweringUnrelatedCallerscallsCallersTest::testWithinKeepsDynamicTargetsForDispatchcallsEdgeTest::testDispatchRejectsAnotherResolvedCalleecallsEdgeTest::testFollowBindsTheSelectedCallAndRetainsItsEvidencecallsEdgeTest::testObservePrunesBeforeOpeningTheValuecallsReachabilityTest::testAllowsRejectsOnlyUnreachableStructuralCyclescallsTraversalTest::testJoinPreservesIndependentAlternativescallsTraversalTest::testResidualKeepsUnfinishedAncestryOnTheObservedValuecallsTraversalTest::testSelectBindsEverySelectedContextcallsTraversalTest::testWalkLeavesTheOuterPrefixOpencallsCallbacksTest::testApplyExpandsFiniteMapcallsCallbacksTest::testCollectFiltersUsingTheCapturedPredicatecallsCallbacksTest::testMapManyPreservesLongestInputcallsCallbacksTest::testSortUsesTheCapturedComparatorcallsCatchesTest::testRegionsIndexesTheLexicalHandlercallsCatchesTest::testResolveFollowsTheCatchSelectedByADemandedValuecallsConstantsTest::testValueUsesTheTargetIntegerProfilecallsDeclarationCoercionTest::testAcceptUsesDeclaredSemanticscallsDeclarationCoercionTest::testCallableUsesDeclaredSemanticscallsDeclarationCoercionTest::testCheckUsesDeclarationCoercionscallsDeclarationCoercionTest::testCoerceUsesDeclaredSemanticscallsExpressionsTest::testConstantUsesLexicalDeclarationscallsExpressionsTest::testCopyAllocatesADistinctIdentitycallsExpressionsTest::testEnumCasesKeepsDeclarationOrdercallsExpressionsTest::testIdentityResolvesInheritedMethodsOnFirstClassCallablescallsExpressionsTest::testObjectKeepsConvertedPropertyWritesDistinctcallsExpressionsTest::testStringUsesCapturedMagicMethodcallsFinalizersTest::testApplyUsesConditionalFinallyCompletioncallsFinalizersTest::testCompletionsStayInsideTheFinallyRegioncallsAliasesTest::testKeyTracksTheCellAssignedThroughAnotherNamecallsAliasesTest::testMapKeepsAnAliasBoundToItsCellcallsAliasesTest::testReturnedAliasesTheNamedReferenceArgumentcallsCapturesTest::testAtRetainsTheDefinitionAtClosureCreationcallsCapturesTest::testContainsDistinguishesValueAndReferenceCapturecallsCapturesTest::testEffectWritesOnlyReferenceCapturescallsCapturesTest::testValueFindsALexicalCaptureWithoutInvokingTheCallbackcallsElementsTest::testMutatePreservesNestedCompoundAndUnsetcallsElementsTest::testWritePreservesUnchangedSiblingscallsGlobalsTest::testDeclaresDistinguishesLocalFromGlobalcallsGlobalsTest::testEffectUsesTheKnownCallPositioncallsGlobalsTest::testOriginFindsScriptInitializerscallsMutationsTest::testApplyPreservesCompoundAndPostIncrementValuescallsMutationsTest::testIncrementKeepsDiagnosticResultsAndTheirSourcecallsMutationsTest::testIncrementSharesPhpStringCarrySemanticscallsMutationsTest::testValueDistinguishesPostfixExpressionAndStoredValuecallsPropertiesTest::testAllocatedBindsConstructorInputsPerAllocationcallsPropertyEffectsTest::testAddressUsesTheObservedAllocationcallsPropertyEffectsTest::testEffectUsesTheObservedAllocationcallsPropertyEffectsTest::testIncomingUsesTheObservedAllocationcallsPropertyEffectsTest::testSelectedDoesNotExpandMethodsThatCannotWriteAnInitializedReadonlyFieldcallsPropertyEffectsTest::testSelectedFollowsReadonlyInitializersOutsideConstructorscallsPropertyEffectsTest::testSelectedUsesTheObservedAllocationcallsPropertyHooksTest::testReadUsesTheBackingSlotInsideItsOwnGettercallsPropertyHooksTest::testResolveUsesAnInheritedGettercallsPropertyHooksTest::testWritePassesTheAssignedValueToTheSettercallsPropertyOriginsTest::testInitialReadsOnlyTheDeclarationDefaultcallsPropertyOriginsTest::testSelectedWritesNeverEnterAReplacedBodycallsPropertyOriginsTest::testValueAndWritesKeepCompoundStoredResultscallsPropertyOriginsTest::testWritesUsesTheReadBeforeEachMutationcallsSlotsTest::testBeforeUsesOnlyTheRequestedAllocatedDefaultcallsSlotsTest::testEffectIgnoresUnmodeledUnrelatedSlotscallsSlotsTest::testInitialRetainsTheExternalReceivercallsSlotsTest::testReadRetainsAnExternalStateReferencecallsStaticsTest::testIncomingPreservesUnknownHistorycallsStaticsTest::testInitializedPreservesUnknownHistorycallsStaticsTest::testPreviousFollowsTheFirstCallInAKnownPrefixcallsConfiguredEvaluatorTest::testEvaluateDeclinesOutsideItsSourceRangeWithoutRunningTheCallbackcallsConfiguredEvaluatorTest::testEvaluatePreservesTheCauseOfCallbackFailurecallsDispatchTest::testEvaluateContinuesToTheBuiltinWithFreshInputEvidenceAfterDecliningcallsInstructionEvaluatorTest::testEvaluateComposesStoredValuesWithOrdinaryArithmeticcallsMicroEvaluatorTest::testEvaluateAcceptsBothInstructionAndFunctionImplementationscallsRequestTest::testInputMemoizesADemandedNamedArgumentWithoutOpeningItsSiblingcallsRequestTest::testInputsRetainsOnlyDemandedOperandscallsRequestTest::testInstructionKeepsInstructionAndSiteDemandsDistinctcallsRequestTest::testNameNormalizesResolvedFunctionsWithoutChangingOperatorscallsRequestTest::testOperationKeepsInstructionAndSiteDemandsDistinctcallsRequestTest::testRegisterRejectsAbsentInputsWithoutExpandingSourcecallsRequestTest::testSourceKeepsInstructionAndSiteDemandsDistinctcallsRequestTest::testTruthKeepsInstructionAndSiteDemandsDistinctcallsReturnEvaluatorTest::testEvaluateKeepsConditionalDefinitionsInTheFallbackcallsReturnEvaluatorTest::testInputResolvesOnlyTheNamedFormalParametercallsReturnEvaluatorTest::testSelectFallsBackToTheCapturedReturncallsBranchTest::testConditionDefaultsToBothBranchesWithoutOpeningItsInputcallsBranchTest::testEvaluateRequiresNoInstructionOrInputForDefaultSelectioncallsBranchTest::testInputRejectsAnAbsentConditionOperandcallsControlsTest::testApplySharesConditionsWithoutSharingTheObservedValuecallsTruthTest::testDefinitionRetainsUnknownPredicatescallsTruthTest::testEvaluatePropagatesNegationToTheBooleanDemandcallsTruthTest::testIterationExcludesTheBodyOfAKnownEmptyIterablecallsTruthTest::testValueKeepsTheBooleanCacheSeparateFromFullValueCandidatescallsProjectionTest::testPreservesItsSemanticContractcallsBoundsTest::testDeriveDoesNotCountAllIterationscallsBoundsTest::testKnownDoesNotExcludeUnknownAlternativescallsBoundsTest::testOfReusesLoopBoundsForEveryStorageLocationcallsBoundsTest::testResultRetainsTheEvidenceForPruningcallsCandidatesTest::testResolveKeepsACycleBetweenDifferentStorageLocationsPartialcallsCandidatesTest::testUpdateRetainsThePreviousValueInADependentUpdatecallsCandidatesTest::testValueKeepsAnInitialValueAndAnIndependentWritecallsDefinitionsTest::testParentsInAnEvaluatorPlanSeparatesTheFirstBodyFromLaterVersionscallsDefinitionsTest::testPostConditionInAnEvaluatorPlanKeepsTheMandatoryFirstBodycallsDefinitionsTest::testPredecessorDoesNotChangeAnOrdinaryFramecallsDefinitionsTest::testValueInAnEvaluatorPlanSolvesOnlyTheDemandedFiniteRecurrencecallsDefinitionsTest::testVersionInAnEvaluatorPlanKeepsAnEarlierVersionSeparatecallsInvariantTest::testCheckKeepsUnmodifiedReceiverDefinitionscallsIterationTest::testValueInAnEvaluatorPlanUsesFiniteKeysAndValuescallsObservationTest::testBodiesSharesStructuralMembershipAcrossObservationscallsObservationTest::testConditionSeparatesEntryAndExitObservationscallsObservationTest::testFrameUsesEntryBindingsOnlyInsideOnePassBodiescallsBudgetTest::testPreservesItsSemanticContractcallsEntryPointTest::testPreservesItsSemanticContractcallsObservationTest::testArgumentPreservesTheSemanticContractcallsQueryScopeTest::testSymbolicPreservesTheSemanticContractcallsReturnQueryTest::testScopePreservesTheSemanticContractcallsStateQueryTest::testScopePreservesTheSemanticContractcallsTupleQueryTest::testScopePreservesTheSemanticContractcallsValueQueryTest::testScopePreservesTheSemanticContractcallsArithmeticTest::testApplyPreservesTheSemanticContractcallsArraysTest::testNextPreservesTheSemanticContractcallsComparisonTest::testApplyPreservesTheSemanticContractcallsOperationsTest::testTruthPreservesTheSemanticContractcallsBindingTest::testBindingRetainsTheCallerAndUnevaluatedRegistercallsBindingTest::testFiniteDoesNotTruncateAnOrdinaryValueReadcallsBindingTest::testTruthRetainsTheOriginalValueBindingcallsBindingTest::testValueAppliesTheCallingScalarModeToADemandedArgumentcallsContextTest::testBoundaryKeepsDepthAndResourceReasonsSeparatecallsContextTest::testRecordCapturesOnlyRequestedInstructionEvidencecallsContextTest::testReferenceCarriesSourceScopeTypeAndStopReasoncallsContextTest::testWorkStopsAtTheTransferBudgetcallsFrameTest::testIterationRetainsTheOriginalFrameAndSelectsDistinctDefinitionVersionscallsTargetKindTest::testResolutionClassifiesReturnSelectionscallsTargetProfileTest::testIdPreservesTheSemanticContractcallsTermTest::testConstantPreservesTheSemanticContractcallsDerivationResultTest::testDefiniteRejectsResultsThatDependOnMoreThanTheSourcecallsDerivationResultTest::testDefiniteSelectsTheOnlyConcreteOutcomecallsPartialObservationTest::testReadKeepsUnknownStorageUntypedcallsPartialObservationTest::testRecoverDoesNotInventMutableStatecallsPartialObservationTest::testValueBoundsUnknownDependenciescallsQueryExecutionTest::testDeriveAddsAResidualWhenEntrySourceIsMissingcallsQueryExecutionTest::testDeriveDistinguishesAnUnreachedCallableFromAnIncompleteEntrycallsQueryExecutionTest::testDerivePreservesTheSemanticContractcallsQueryExecutionTest::testDeriveRetainsEveryDeclaredEntrypointAndItsArgumentscallsQueryExecutionTest::testEntryInstallsSuppliedReceiverPropertiesOnlyForInstanceEntriescallsQueryExecutionTest::testEntryKeepsExternalParametersSymbolicDespiteTheirDefaultscallsQueryExecutionTest::testEntryReportsBindingErrorsWithoutRunningTheBodycallsQueryExecutionTest::testEntryUsesDefaultsOnlyInConcreteScopecallsQueryExecutionTest::testEntryUsesTheSuppliedInstanceReceiverAndIgnoresItForStaticMethodscallsQueryExecutionTest::testInitialStateCapturesGlobalsBeforeEffectscallsQueryExecutionTest::testOwnerAllowsARegisteredStateSlotOnAValidValueReferencecallsQueryExecutionTest::testOwnerRejectsFabricatedInstructionReferencescallsQueryExecutionTest::testOwnerRejectsUnregisteredStateSlotsBeforeReferenceLookupcallsQueryExecutionTest::testResultKeepsSharedExecutionIdentitySeparateFromIndependentQueriescallsQueryExecutionTest::testTogetherRejectsForeignReferencesBeforeRunningAnyEntrycallsResultAssessmentTest::testAssessClassifiesNormalAbstractAndOpaqueAlternativesWithoutOrderDependencecallsResultAssessmentTest::testAssessIncludesAbstractExceptionsInTheSharedPrecisioncallsResultAssessmentTest::testAssessIncludesExceptionalValuesAndTheirReachableStoragecallsResultAssessmentTest::testAssessKeepsTheQualityAxesIndependentForEachBoundarycallsResultAssessmentTest::testAssessPreservesTheSemanticContractcallsResultContractTest::testExecutionResultsIdentifyTheirSemanticContractcallsStableInputsTest::testRecoverDoesNotTreatScriptGlobalsAsImmutableParameterscallsStableInputsTest::testRecoverRejectsCatchBindingsEvenWithoutExplicitWritescallsStableInputsTest::testTypeIncludesImplicitlyNullableDefaultscallsValueGraphTestcallsAggregateLoweringTest::testLowerPreservesTheSemanticContractcallsAssignmentLoweringTest::testAssignReturnsTheWriteResultForTypeCoercioncallsAssignmentLoweringTest::testLowerPreservesRecordedPatternSemanticscallsAssignmentLoweringTest::testLowerPreservesTheSemanticContractcallsAssignmentLoweringTest::testOperatorMapsCompoundConcatenationcallsCallLoweringTest::testInvokeCapturesTheSignatureBeforeArgumentSideEffectscallsCallLoweringTest::testLowerPreservesTheSemanticContractcallsCallLoweringTest::testLowerPreservesWhetherAClassOperandIsLiteralcallsCallLoweringTest::testNullsafeUsesThePreviouslyEvaluatedReceivercallsConditionalLoweringTest::testBinaryKeepsTheRightCallOffTheShortCircuitPathcallsConditionalLoweringTest::testChoiceLinksEachPhiOperandToItsBranchcallsConditionalLoweringTest::testCoalesceAssignEvaluatesTheAddressOncecallsConditionalLoweringTest::testIssetExpressionDelaysLaterOperandsUntilTheFirstIsPresentcallsConditionalLoweringTest::testLowerBuildsAnEmptyProbeFromASilentReadcallsConditionalLoweringTest::testLowerBuildsLazyFullTernaryBranchescallsConditionalLoweringTest::testLowerPreservesSelectedBranchEffectscallsConditionalLoweringTest::testLowerPreservesTheSemanticContractcallsConditionalLoweringTest::testLowerRetainsAnExplicitBoundaryForAnUnexpectedExpressioncallsConditionalLoweringTest::testLowerReusesTheEvaluatedConditionInAnAbbreviatedTernarycallsConditionalLoweringTest::testMatchExpressionIncludesAnUnmatchedExceptioncallsConditionalLoweringTest::testSilentMarksComputedOffsetExistenceWithoutAllocatingAnAddresscallsConditionalLoweringTest::testSilentRecordsAnExistenceProbeWithoutAnOrdinaryReadcallsDestructuringLoweringTest::testAssignmentDelegatesOrdinaryVariableAssignmentscallsDestructuringLoweringTest::testAssignmentPreservesRecordedValuesReferenceEffectsAndExceptionscallsDestructuringLoweringTest::testAssignPreservesExplicitKeysAndMissingNumericPositionscallsDestructuringLoweringTest::testSourceDistinguishesWritableStorageAndTemporaryValuescallsExceptionLoweringTest::testLowerPreservesTheSemanticContractcallsExceptionLoweringTest::testScopedRecordsTheRegionPartOnlyWhileLoweringItsBodycallsGotoLoweringTest::testExitedListsInnermostScopesFirstAndRejectsUnmodeledJumpscallsGotoLoweringTest::testJumpEndsTheBlockUntilResolutioncallsGotoLoweringTest::testLabelAloneDoesNotDisturbStatecallsGotoLoweringTest::testResolveJumpsBackwardToALoopHeaderLabelcallsGotoLoweringTest::testResolveLeavesForwardLabelsOutOfLoopWideningcallsGotoLoweringTest::testResolveReleasesForeachIteratorsAfterNestedFinallyBlockscallsGotoLoweringTest::testResolveSealsJumpsIntoLoopsAsExplicitBoundariescallsGotoLoweringTest::testUnwindSplitsTheJumpOnlyWhenAFinallyMustRunBeforeAReleasecallsLoopLoweringTest::testBindIterationAliasesTheActualElementForReferenceForeachcallsLoopLoweringTest::testBindIterationPreservesRecordedPatternSemanticscallsLoopLoweringTest::testCompletionResolvesTheRequestedEnclosingLoopAndHandlerDepthcallsLoopLoweringTest::testConditionUsesTrueForAnOmittedForConditioncallsLoopLoweringTest::testInitializeTakesAnAddressForReferenceForeachcallsLoopLoweringTest::testLowerPreservesTheSemanticContractcallsMatchLoweringTest::testArmsPreservesTheSemanticContractcallsMatchLoweringTest::testConditionsUsesStrictComparisonAndTheSharedSubjectcallsScopeKindTest::testJumpsCanLeaveATryBodyButCannotSkipAFinallyBodycallsStaticLoweringTest::testLowerGuardsTheInitializerWithItsStorageStatecallsSwitchLoweringTest::testLowerPreservesTheSemanticContractcallsCallableSourceTest::testPreservesItsSemanticContractcallsCallSiteIndexTest::testContainsDoesNotAttributeANestedFunctionCallToItsParentcallsCallSiteIndexTest::testCreationMatchesConstructorSelectorscallsCallSiteIndexTest::testFallbackOnlyMatchesUnqualifiedFunctionNamescallsCallSiteIndexTest::testOwnersFindsCreationsWithoutCompilingBodiescallsCallSiteIndexTest::testOwnersFindsResolvedNamespaceAndImportedNamesWithoutCompilingBodiescallsCallSiteIndexTest::testOwnersIndexesNestedClosuresAsSeparateOwnerscallsCommentsTest::testWithinKeepsNestedStatementLocationsWithoutCompilingBodiescallsConstantSignaturesTest::testInitializersKeepsBackingExpressionsInTheirDeclaringScopecallsConstantSignaturesTest::testReadKeepsEnumBackingTypesAndCaseIdentitycallsIndexerTest::testClassDeclarationPreservesEachDeclarationKindcallsIndexerTest::testClassDeclarationPreservesTraitUseOrderAndMethodNamescallsIndexerTest::testClassDeclarationRetainsInheritanceAndInterfacescallsIndexerTest::testConditionalMethodsRetainsBothImplementationscallsIndexerTest::testConstantsDistinguishesScalarLiteralsFromUnevaluatedInitializerscallsIndexerTest::testConstantsKeepsEnumCaseIdentityAndBackingValuescallsIndexerTest::testConstantsKeepsNamespacedEnumIdentityAndOptionalBackingValuescallsIndexerTest::testExistingClassRejectsDuplicateSourceDeclarationscallsIndexerTest::testPromotionsCapturesPropertyModifiersWithoutCopyingParameterDefaultscallsIndexerTest::testPromotionsDoesNotUseTheParameterDefaultAsAPropertyDefaultcallsIndexerTest::testPropertiesKeepsEachDefaultInItsOwnLexicalGraphcallsIndexerTest::testPropertiesPreservesTypesStorageAndVisibilitycallsIndexerTest::testPropertiesRetainsVisibilityReadonlyAndUnevaluatedDefaultscallsIndexerTest::testScanIndexesConditionalDeclarationsAsCandidateOriginscallsIndexerTest::testScanLeavesNestedAndAnonymousDeclarationsToRuntimeBoundariescallsIndexerTest::testScanRetainsNamespaceCaseAndStrictModeWithoutLoweringBodiescallsIndexerTest::testScanUsesUnqualifiedNamesWhenNoResolverAnnotationsExistcallsIndexerTest::testStrictPreservesTheSemanticContractcallsIndexerTest::testStrictReadsOnlyTheIntegerStrictTypesDirectivecallsIndexTest::testBuilderRetainsTheCapturedBytescallsIndexTest::testBuilderReusesTheCapturedLineMapAndSnapshotOwnershipcallsIndexTest::testCallableUsesCaseInsensitiveFunctionResolutioncallsIndexTest::testCallOwnersDoesNotCompileUnrelatedBodiescallsIndexTest::testClassesIncludesDeclarationsBeforeAnyGraphIsDemandedcallsIndexTest::testClosureOwnersFindsTheLexicalParentBeforeLoweringcallsIndexTest::testConstantCompilesARequestedInitializerOncecallsIndexTest::testConstantPreservesConstantCaseAndNormalizesOnlyItsDeclaringClasscallsIndexTest::testDiagnosticsDistinguishesConflictingDeclarationsFromAnEmptyIndexcallsIndexTest::testGlobalOwnersExcludesFunctionLocalscallsIndexTest::testGraphCountCountsOnlyDemandedBodiesAndReusesTheGraphcallsIndexTest::testHasSymbolPreservesExactSpellingWithoutCompilingcallsIndexTest::testPropertyOwnersDoesNotLowerUnrelatedBodiescallsIndexTest::testRegisterClosureInheritsStrictModeWithoutCompilingItcallsIndexTest::testRegisterClosureKeepsLexicalScopesAndRegistersDeclarationscallsIndexTest::testRegisterReportsDuplicateCaseInsensitiveSymbolscallsIndexTest::testRegisterRetainsTheOriginalDeclarationAndReportsTheDuplicateLocationcallsIndexTest::testScanNormalizesPathsAndKeepsFilesHashesAndDeclarationsInStableOrdercallsIndexTest::testScanPreservesScriptRangesStrictnessAndCaseSensitiveFileIdentitiescallsIndexTest::testScanPreservesTheSemanticContractcallsIndexTest::testScanReportsConflictingDeclarationsWithTheirSourceCoordinatescallsIndexTest::testSymbolsReturnsStableSourceIdentitiescallsIndexTest::testVariantsRetainsBothConditionalDeclarationscallsClassDeclarationTest::testPreservesItsSemanticContractcallsPropertyDeclarationTest::testPreservesItsSemanticContractcallsVisibilityTest::testDeclarationMetadataRetainsAccessLevelscallsPropertyWriteIndexTest::testContainsFindsNestedElementWritescallsPropertyWriteIndexTest::testMutationRecognizesCompoundAssignmentscallsPropertyWriteIndexTest::testOwnersExcludesUnrelatedBodiescallsReferencesTest::testAddIndexesNestedClosuresWithoutLoweringAnyBodycallsReferencesTest::testCallsRetainNamespaceFallbacksAndLexicalConstructorscallsReferencesTest::testClosuresKeepTraitConsumerScopesSeparatecallsReferencesTest::testGlobalsDoNotIncludeLocalsInFunctionsOrClosurescallsReferencesTest::testNestedAnonymousMethodsExtendTheIndexesWithoutRebuildingOtherBodiescallsReferencesTest::testPropertiesPreserveDynamicNamesAndClosureBoundariescallsReferencesTest::testPropertyIndexesMutationFormsWithoutReadOnlyUsescallsSymbolRefTest::testPreservesItsSemanticContractcallsCompositionTest::testComposeImportsNestedPrivateMembersIntoTheConsumercallsCompositionTest::testComposeRecordsMissingTraitsAndCyclesAtTheConsumingSourcecallsCompositionTest::testComposeRemembersCaseInsensitiveVisitsAndLeavesUnknownTargetsUntouchedcallsCompositionTest::testComposeWaitsForBothDeclarationAndCapturedClassSyntaxcallsCompositionTest::testConstantsCopiesUnevaluatedSourceIdentityAndPreservesExistingConsumerDefinitionscallsCompositionTest::testConstantsRetainsUnevaluatedInitializersInConsumerScopecallsCompositionTest::testImportPreservesClassContractsAndRebindsCopiedMethodscallsCompositionTest::testImportPreservesClassMethodPrecedencecallsCompositionTest::testImportRetainsConstantVisibilityTypesAndConsumerOwnershipcallsCompositionTest::testImportRetainsReadonlyAbstractAndEnumDeclarationscallsCompositionTest::testPropertiesCreatesSeparatePrivateSlotsForEachConsumercallsCompositionTest::testPropertiesRetainsTypesVisibilityStaticReadonlyAndInitializerAbsencecallsMembersTest::testAliasesAppliesUnqualifiedVisibilityChangesToTheSelectedImplementationcallsMembersTest::testAliasesClonesSyntaxWhileRetainingProvenanceAndUnchangedFlagscallsMembersTest::testAliasesKeepsTheOriginalAlongsideAnExcludedTraitAliascallsMembersTest::testAliasesLeavesUnresolvedAdaptationsAndNonMethodSourcesUnselectedcallsMembersTest::testCandidatesRetainsSourceIdentityAndSkipsUnavailableTraitBodiescallsMembersTest::testCandidatesUsesImmediateTraitNamesForAdaptationscallsMembersTest::testPrecedenceFiltersOnlyTheNamedMethodAndRetainsExplicitAliasSourcescallsMembersTest::testPrecedenceRemovesOnlyExplicitlyExcludedVariantscallsMembersTest::testSelectPrefersAClassDeclarationAndDeduplicatesDiamondImplementationscallsMembersTest::testSelectReportsAConflictAtItsTraitSourceAndContinuesOtherMethodscallsMembersTest::testSelectReportsUnresolvedConcreteConflictscallsPropertyScopeTest::testGraphKeepsProvenanceWhileBindingSelfToTheConsumercallsEffectInspectionTest::testConflictsPreservesTheSemanticContractcallsExpressionLoweringTest::testBinaryMarksInteractingEffectsWithUnspecifiedOrdercallsExpressionLoweringTest::testComputedPreservesPrintOperandConversioncallsExpressionLoweringTest::testComputedReadsOffsetsWithoutCreatingAnAddresscallsExpressionLoweringTest::testComputedRegistersAClosureWithoutLoweringItsBodycallsExpressionLoweringTest::testLowerKeepsLiteralClassSyntaxDistinctFromEvaluatedClassValuescallsExpressionLoweringTest::testLowerPreservesLiteralTypesAndBytescallsExpressionLoweringTest::testLowerPreservesTheSemanticContractcallsExpressionLoweringTest::testLowerResolvesSourceLineWithoutLexicalMetadatacallsExpressionLoweringTest::testLowerRetainsUnresolvedConstantNamescallsExpressionLoweringTest::testMagicRejectsNonStringLexicalMetadatacallsExpressionLoweringTest::testMagicSelectsOnlyTheMatchingCapturedLexicalNamecallsExpressionLoweringTest::testMagicUsesLexicalNamesForSeparateDefaultGraphscallsExpressionLoweringTest::testOperationReadsAnAddressableVariablecallsExpressionLoweringTest::testOtherCapturesIncludeBoundariesWithoutReadingTheFilecallsExpressionLoweringTest::testOtherKeepsBothClassConstantNamescallsExpressionLoweringTest::testOtherKeepsTheInstanceofReceiverAndClasscallsExpressionLoweringTest::testOtherKeepsTheThrowOperandAndItsResultRegistercallsExpressionLoweringTest::testOtherMakesEvalASymbolTableBoundarycallsExpressionLoweringTest::testOtherPreservesCloneIdentityAsAnExplicitOperationcallsExpressionLoweringTest::testOtherPreservesUnaryAndCastOperationscallsExpressionLoweringTest::testOtherPreservesWhetherAClassOperandIsLiteralcallsArgumentTest::testPreservesItsSemanticContractcallsBasicBlockTest::testPreservesItsSemanticContractcallsCallableGraphTest::testPreservesItsSemanticContractcallsCatchTargetTest::testPreservesItsSemanticContractcallsExceptionRegionTest::testPreservesItsSemanticContractcallsExpressionRefTest::testPreservesItsSemanticContractcallsInstructionTest::testPreservesItsSemanticContractcallsObservationPhaseTest::testPhaseSelectsStateBeforeOrAfterACallcallsParameterTest::testPreservesItsSemanticContractcallsPointRefTest::testPreservesItsSemanticContractcallsProgramTest::testCallOwnersDoesNotCompileUnrelatedBodiescallsProgramTest::testClassesIncludesDeclarationsBeforeAnyGraphIsDemandedcallsProgramTest::testClosureOwnersFindsTheLexicalParentBeforeLoweringcallsProgramTest::testConstantCompilesARequestedInitializerOncecallsProgramTest::testDiagnosticsDistinguishesConflictingDeclarationsFromAnEmptyIndexcallsProgramTest::testGlobalOwnersExcludesFunctionLocalscallsProgramTest::testGraphCountCountsOnlyDemandedBodiesAndReusesTheGraphcallsProgramTest::testHasSymbolPreservesExactSpellingWithoutCompilingcallsProgramTest::testPropertyOwnersDoesNotLowerUnrelatedBodiescallsProgramTest::testSymbolsReturnsStableSourceIdentitiescallsProgramTest::testVariantsRetainsBothConditionalDeclarationscallsTerminatorKindTest::testLoweringClassifiesBranchesAndReturnscallsTerminatorTest::testPreservesItsSemanticContractcallsAccessTest::testAllowsProtectedAccessAcrossRelatedScopescallsAccessTest::testTargetKeepsLexicalPrivateImplementationcallsDispatchTest::testCandidatesExcludesAbstractClassesAndKeepsEveryConcreteImplementationcallsDispatchTest::testClassNameDistinguishesLexicalAndLateStaticScopecallsDispatchTest::testCompleteChecksTheEntireInheritanceChaincallsDispatchTest::testMethodPreservesTheSemanticContractcallsDispatchTest::testSubtypeFollowsInterfaceInheritancecallsInstructionEmitterTest::testBlockPreservesTheSemanticContractcallsLiteralArrayLoweringTest::testLiteralNeverEvaluatesApplicationConstantscallsLiteralArrayLoweringTest::testLowerKeepsScalarObservationsAndFallsBackForReferencescallsLiteralArrayLoweringTest::testObserveRetainsTheSignedExpressionAndItsOperandcallsLowererTest::testCapturesExcludesArrowParameterscallsLowererTest::testCompileOmitsAnExternalImplementationButRetainsItsSignaturecallsLowererTest::testCompilePreservesTheSemanticContractcallsLowererTest::testExpressionProducesAnIndependentReturnGraphcallsLowererTest::testFreeVariablesDeduplicatesLexicalReadscallsLowererTest::testParametersCapturesReferenceAndDefaultExpressionSeparatelycallsLowererTest::testParametersPreservesTheDeclaringScalarModeForNewDefaultscallsLowererTest::testParametersUsesTheDeclarationFileModeAcrossCallerFilescallsLowererTest::testPromotionsInitializeSymbolicConstructorObservationscallsLowererTest::testPromotionsPreserveAliasesAndReadonlyErrorscallsLowererTest::testTypePreservesNullableUnionsAndIntersectionscallsLoweringScopeTest::testAddressableRejectsComputedValuescallsLoweringScopeTest::testArgumentsRetainsNamedStorageArgumentscallsLoweringScopeTest::testExpressionPreservesTheSemanticContractcallsLoweringScopeTest::testLocationDoesNotReadTheVariablecallsLoweringScopeTest::testLocationPreservesWhetherAClassOperandIsLiteralcallsLoweringScopeTest::testNameUsesTheResolvedNamespacecallsLoweringScopeTest::testStatementsStartsASeparateBlockAfterReturncallsOrderLoweringTest::testBinaryExploresBothOrdersWithoutDuplicatingCallSitescallsStatementLoweringTest::testConditionalChecksElseifOnlyAfterAnEarlierFalseBranchcallsStatementLoweringTest::testConditionalKeepsReturnsSeparateFromTheCommonContinuationcallsStatementLoweringTest::testLowerBareReturnsCompleteWithoutAnImplicitValueInstructioncallsStatementLoweringTest::testLowerPreservesTheSemanticContractcallsStatementLoweringTest::testLowerReferenceReturnsExposeTheCellWithoutReadingItcallsStatementLoweringTest::testLowerStartsALabelBlockAndDefersTheGotoTargetcallsStatementLoweringTest::testOtherEvaluatesEachStorageAddressBeforeApplyingItsEffectcallsStatementLoweringTest::testOtherExecutesNamespaceAndDeclareBodiesInSourceOrdercallsStatementLoweringTest::testOtherInitializesEveryFunctionStaticInItsOwnConditionalBlockcallsStatementLoweringTest::testOtherLeavesDeclarationsWithoutRuntimeEffectsUnemittedcallsStatementLoweringTest::testOtherMarksUnsupportedStatementsAtTheirOwnSourceRangecallsStatementLoweringTest::testOtherUnsetsTheStorageLocationWithoutReadingItcallsMicroEvaluatorConversionTest::testConvertAdaptsInternalInstructionsToPublicOperationscallsFileTest::testGetStartLineAndOtherPositionsDescribeTheCompleteSourcecallsFileTest::testGetSubNodeNamesAllowsTraversalFromTheRootToNestedExpressionscallsFileTest::testGetTypeDistinguishesTheRootFromStatementsAndExpressionscallsParserTest::testParseAcceptsSourceLargerThanTheFormerFileLimitcallsParserTest::testParseAcceptsSyntaxDeeperThanTheFormerLimitcallsParserTest::testParseCanBeReusedAfterAnErrorcallsParserTest::testParseIsDeterministicForTheSameSourceAndConfigurationcallsParserTest::testParseKeepsConsecutiveSourcesIndependentcallsParserTest::testParseLeavesSemanticValidationToResolutioncallsParserTest::testParsePreservesTheSourceWithoutReadingOrExecutingItcallsParserTest::testParsePreservesUnresolvedNamesAndMagicConstantscallsParserTest::testParseRejectsSyntaxNewerThanTheConfiguredVersioncallsParserTest::testParseThrowsWithTheSourcePathAndLineOnMalformedSyntaxcallsParserTest::testParseUsesTheSuppliedPhpVersioncallsTargetSyntaxTest::testEnterNodeAllowsSupportedSyntaxcallsTargetSyntaxTest::testUnparenthesizedNewAndOtherUnsupportedSyntaxRaiseParserExceptionscallsDeclarationProviderTestcallsProviderExpansionTestcallsCandidateCollectorTest::testCollectKeepsOneSymbolicCandidateSeparateFromEnumerationcallsCandidateCollectorTest::testCollectRetainsTheRequestedSourceRangeAtTheEvidenceRootcallsCandidateCollectorTest::testCollectRetainsTheUnresolvedInputIdentitycallsCandidateQueryTest::testDeriveBuildsTheCandidatesFromOneContextPerQuerycallsCandidateQueryTest::testDeriveUsesTheCandidateContractByDefaultcallsObservationRootTest::testOfIdentifiesTheTargetAboveTheValueForestcallsAssignmentPatternsTest::testEnterNodeRejectsPatternsBeforeExecutingAnyCallablecallsClassScopeTest::testEnterNodeRejectsUndefinedLexicalClassReferencescallsClassScopeTest::testValidateDefersRebindableScopesAndOrdinaryClassNamescallsResolverTest::testResolveBindsNamesAndMagicContextWithoutMutatingParsedSyntaxcallsResolverTest::testResolveReportsSemanticErrorsWithTheirSourceLocationcallsResolverTest::testResolveResetsScopeAndDiagnosticsAfterAFailurecallsCallObservationsTest::testClassNameResolvesOnlyLiteralSelfAndParentcallsCallObservationsTest::testDeclaredRecognisesOnlyCapturedCallablesAndRegisteredModelscallsCallObservationsTest::testFindPreservesTheSemanticContractcallsCallObservationsTest::testNameAppliesTheRecordedFallbackOnlyWhenItIsDeclaredOrStandardcallsCallObservationsTest::testObservationRetainsTheObjectOperandcallsCallObservationsTest::testWithinFindsCallsAfterBothOperandOrderscallsCallObservationsTest::testWithinSelectsCreationsByConstructorAndResolvesLexicalClassescallsExpressionResolutionTest::testExpressionRejectsAnUncapturedRangecallsQueryValidationTest::testOwnerRejectsAnEmptyReturnSymbolcallsQueryValidationTest::testReferenceAcceptsAnActualCapturedInstructioncallsQueryValidationTest::testReferenceRejectsForeignSnapshotscallsSelectorResolutionTest::testCallAtSelectsAnExactCallAmongCallsOnTheSameLinecallsSelectorResolutionTest::testResolveBindsSymbolSelectorscallsSelectorResolutionTest::testResolveRejectsUnsupportedOrMissingTargetscallsTargetResolutionTest::testResolveBindsEverySupportedQueryFormToItsOwnerAndSelectioncallsTargetResolutionTest::testResolveRejectsAReferenceFromAnotherSnapshotcallsSnapshotIdentityTest::testIdDependsOnlyOnSourcesEvaluatorsEnvironmentAndTargetcallsSnapshotIdentityTest::testSnapshotHashesInputValuesWithoutDependingOnTopLevelKeyOrdercallsSnapshotIdentityTest::testSnapshotPublishesTheIdentityWithTheDeclarationDiagnosticscallsCollectorTestcallsSourcesTest::providerInvalidSourcePathscallsSourcesTest::testGetIteratorCannotChangeTheCollectioncallsSourcesTest::testOffsetExistsRejectsMissingAndNonIntegerOffsetscallsSourcesTest::testOffsetGetRetainsSourceIdentityAndCallerOrderWithoutReadingFilescallsSourcesTest::testOffsetSetRejectsAppendingcallsSourcesTest::testOffsetSetRejectsReplacementcallsSourcesTest::testOffsetUnsetRejectsRemovalcallsDeriverTestcalls