classCompletionMemo

Generation packages/sql-faker/src/Generation/Derivation/CompletionMemo.php:12

final class CompletionMemo

Reuses exact minima, affordable witnesses and exhausted-budget proofs within one immutable plan.

Methods§

public function recall(
    GenerationPlan<bool> $plan,
    string $key,
    int $budget,
    bool $minimum,
): ?int

Never treats a nonminimal witness as proof that a smaller budget is impossible.

Parameters

`$plan`	`GenerationPlan<bool>`
`$key`	`string`
`$budget`	`int`
`$minimum`	`bool`

Returns

?int

Test cases 4

Called from 3

Calls 1

method-call CompletionMemo::activate() line 37

public function remember(
    GenerationPlan<bool> $plan,
    string $key,
    int $budget,
    int $result,
    bool $minimum,
): void

A finite result is a constructive witness; exhaustion proves only the searched budget range.

Parameters

`$plan`	`GenerationPlan<bool>`
`$key`	`string`
`$budget`	`int`
`$result`	`int`
`$minimum`	`bool`

Test cases 3

CompletionMemoTest::testActivateDropsProofsForAnotherPlanEvenWhenItsPendingFormMatches covers and calls
CompletionMemoTest::testRecallDoesNotConfuseAnAffordableWitnessWithAnExactMinimum covers and calls
CompletionMemoTest::testRememberExhaustionDoesNotRuleOutLargerBudgetsOrAnotherPlan covers and calls

Called from 3

Calls 3

method-call CompletionMemo::activate() line 53
function-call max line 55
function-call min line 57

public function activate(GenerationPlan<bool> $plan): void

Prevents queries or witness writes for another immutable plan from sharing state.

Parameters

$plan GenerationPlan<bool>

Test cases 3

Called from 2

Private surface 4§

Implementation details, listed for orientation only.

private GenerationPlan<bool>|null $plan = null

private array<string, int> $minimums = []

private array<string, int> $witnesses = []

private array<string, int> $failures = []

Test cases 27§

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

Dedicated tests 3

CompletionMemoTest::testActivateDropsProofsForAnotherPlanEvenWhenItsPendingFormMatches covers and calls
CompletionMemoTest::testRecallDoesNotConfuseAnAffordableWitnessWithAnExactMinimum covers and calls
CompletionMemoTest::testRememberExhaustionDoesNotRuleOutLargerBudgetsOrAnotherPlan covers and calls

Other tests reaching this symbol 24

BytePlanCompilerTest calls
PlanBuilderTest calls
CompletionWitnessTest::testChoicesCachesBothOutputPossibilitiesUnderEachDistinctPattern calls
CompletionWitnessTest::testCompleteBoundsTheOptionalProbeWithoutClaimingImpossibility calls
CompletionWitnessTest::testCompleteWalksOccurrencePatternsAndPreservesPendingOutput calls
CompletionWitnessTest::testCompleteYieldsToTheSolverWhenAGreedyPathNeedsAnotherChoice calls
CompletionWitnessTest::testRememberCachesOnlyTheSuccessfulSuffixAndPreservesExactMinimumIndependence calls
CompletionReductionTest calls
ConstrainedCompletionTest calls
ConstraintDependenciesTest calls
DerivationTest calls
DerivationTraceTest calls
TokenGeneratorTest calls
LexemeSequenceTest calls
CandidateResolverTest calls
SqlGeneratorTest calls
TerminalSequenceTest calls
GenerationContextTest calls
MySqlProviderTest calls
GenerationContextTest calls
PostgreSqlProviderTest calls
SqlGeneratorFactoryTest calls
GenerationContextTest calls
SqliteProviderTest calls

Relations§

Instantiated in 1

new SqlFaker\Generation\Derivation\ConstrainedCompletion::__construct() packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:28

Method calls 6

Type declarations 2