classProductionRule

packages/sql-faker/src/Grammar/Model/ProductionRule.php:15

final class ProductionRule

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

Represents a production rule in a formal grammar.

A production rule defines how a non-terminal symbol (left-hand side) can be expanded into a sequence of symbols (right-hand side alternatives).

Properties§

public string $lhs

source §

public list<Production> $alternatives

source §

Methods§

public function __construct(public string $lhs, public list<Production> $alternatives)

source §

Parameters

`$lhs`	`string`	Left-hand side: non-terminal symbol name
`$alternatives`	`list<Production>`	Right-hand side alternatives

Test cases 207§

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

Dedicated tests 3

ProductionRuleTest::testAlternatives calls
ProductionRuleTest::testExposesItsLeftHandSideAndAlternatives calls
ProductionRuleTest::testLhs calls

Other tests reaching this symbol 204

BisonGrammarCompilerTest calls
LemonGrammarCompilerTest calls
ByteChoicesTest calls
BytePlanCompilerTest::testCompileMapsTheHeaderIntoTheAllowedExpansionRange calls
BytePlanCompilerTest::testCompileResolvesChoicesIntoInspectableReusableInstructions calls
BytePlanCompilerTest::testCompileSeparatesProductionChoicesFromLexemesAndCompletesAnOddInput calls
BytePlanEncoderTest::testEncodeMakesOpenLexicalChoicesTheWayTheCompilerReadsThePadding calls
BytePlanEncoderTest::testEncodeStopsRecordingLexicalChoicesAtTheFirstNullAnswer calls
BytePlanEncoderTest::testEncodeWritesBytesTheCompilerDecodesToTheRecordedChoices calls
BytePlanEncoderTest::testEncodeWritesTheHeaderRelativeToTheConstraintsMinimumAndDefaultMaximum calls
PlanBuilderTest::testBuildFreezesScopedValuesAndDefaultsWhenChoiceBytesRunOut calls
PlanBuilderTest::testBuildPreservesEmptyMarkerCandidatesWithoutLosingNonEmptyCompletion calls
PlanBuilderTest::testBuildPreservesRepeatedProductionAndLexemeConstraints calls
PlanBuilderTest::testBuildPropagatesMissingCandidateFailuresWithoutRetrying calls
PlanBuilderTest::testBuildReportsAnUnknownRequestedRule calls
PlanBuilderTest::testBuildReservesAllPendingSiblingsAndRetainsTheOriginalOrdinal calls
PlanBuilderTest::testBuildUsesTheSameContextualRewriteAndPinsItsCompleteCandidate calls
PlanBuilderTest::testMinimumExpansionsIncludesTheConstrainedDescendantBeforeDrawingTheBudget calls
PlanBuilderTest::testMinimumExpansionsIncludesTheSelectedRootAlternativeBeforeAllocatingInputBudget calls
PlanBuilderTest::testMinimumExpansionsKeepsTheNonEmptyRequirementSeparateFromNullability calls
PlanBuilderTest::testMinimumExpansionsRetainsNonEmptyCostsAndTheUnreachableSentinelForRootPatterns calls
PlanBuilderTest::testRootResolvesOnlyAnExplicitReleaseAlias calls
CoverageSnapshotStoreTest calls
GrammarCoverageInventoryTest::testDifferencesRecordsBothRemovedAndTransformedOriginalProductions calls
GrammarCoverageInventoryTest::testIdKeepsOriginalOrdinalAfterFilteringAndChangesForRewrittenRhs calls
GrammarCoverageInventoryTest::testInventoryEntriesRetainOriginalIdentityAndExcludeUnreachableRulesFromTheDenominator calls
GrammarCoverageInventoryTest::testProductionIdsDistinguishRulesOrdinalsAndGrammarProfiles calls
GrammarCoverageInventoryTest::testReachableRulesCanInspectAPlanRootWithoutChangingTheInventory calls
GrammarCoverageInventoryTest::testReachableRulesIncludesRecursionAndEmptyAlternativesButSeparatesUnrelatedRules calls
GrammarCoverageInventoryTest::testRhsDistinguishesTheSymbolKindAndIncludesEmptyProduction calls
GrammarCoverageTest::testBeginAttemptRetainsAnEmptyAttemptBeforeAnyProductionIsSelected calls
GrammarCoverageTest::testBeginGenerationReplacesThePreviousSuccessfulTrace calls
GrammarCoverageTest::testCommitAttemptAndEndGenerationCommitOnlySuccessfulPaths calls
GrammarCoverageTest::testDiscardAttemptPreservesFailedReachability calls
GrammarCoverageTest::testEndGenerationPreservesFailureBeforeAnyAttemptWasOpened calls
GrammarCoverageTest::testEndGenerationSavesUnsavedDiscoveriesEveryHundredGenerations calls
GrammarCoverageTest::testFailedReachabilityAndLaterEmissionAreSavedAsSeparateDiscoveries calls
GrammarCoverageTest::testFlushRestoresOnlyCumulativeHistoryAndPreservesCurrentObservations calls
GrammarCoverageTest::testHooksWithoutAGenerationKeepTheTraceEmpty calls
GrammarCoverageTest::testLastGenerationStartsEmptyWithoutStorage calls
GrammarCoverageTest::testMergeIsIdempotentAndDoesNotCopyHistoricalCounters calls
GrammarCoverageTest::testMergePreservesDisjointHistoryAndDoesNotResaveIdenticalHistory calls
GrammarCoverageTest::testMergeRejectsChangedImplementationRevisions calls
GrammarCoverageTest::testReadingAMemorySnapshotDoesNotSaveUnflushedObservations calls
GrammarCoverageTest::testRecordIncludesOccurrenceParentsAndOriginalPositions calls
GrammarCoverageTest::testRecordOutputExposesCandidateAndBoundaryDecisions calls
GrammarCoverageTest::testRecordSequenceKeepsTransformedSelectionsOutOfPreservedOutputCoverage calls
GrammarCoverageTest::testRegisterLeavesOldHistoryWhenTheImplementationChanges calls
GrammarCoverageTest::testResetKeepsFlushedHistoryAndClearsTraceAndCurrentCounters calls
GrammarCoverageTest::testRestoreRejectsCorruptHistoryOnEveryRegistrationAttemptWithoutOverwritingIt calls
GrammarCoverageTest::testSnapshotPublishesTheRegisteredInventoryAndCurrentRunIdentity calls
GrammarCoverageTest::testSnapshotSeparatesReachedFromEmittedAndKeepsTheFullDenominator calls
SnapshotValidationTest::providerMalformedHistories calls
SnapshotValidationTest::testCompatibleRejectsAnUntrustedInventoryDigest calls
SnapshotValidationTest::testCompatibleRejectsEmittedProductionsThatWereNeverReached calls
SnapshotValidationTest::testCompatibleRejectsUnknownProductionIds calls
SnapshotValidationTest::testCompatibleRequiresEveryIdentityComponent calls
SnapshotValidationTest::testDecodeRestoresOnlyWellFormedSnapshotData calls
CompletionWitnessTest::testChoicesCachesBothOutputPossibilitiesUnderEachDistinctPattern calls
CompletionWitnessTest::testCompleteBoundsTheOptionalProbeWithoutClaimingImpossibility calls
CompletionWitnessTest::testCompleteWalksOccurrencePatternsAndPreservesPendingOutput calls
CompletionWitnessTest::testCompleteYieldsToTheSolverWhenAGreedyPathNeedsAnotherChoice calls
CompletionWitnessTest::testRememberCachesOnlyTheSuccessfulSuffixAndPreservesExactMinimumIndependence calls
PatternProductionsTest::testMatchingSeparatesPatternsAndRuleScopesWhenReusingItsCache calls
PatternProductionsTest::testMatchingUsesSourceSymbolNamesInSpecializedProductions calls
PatternProductionsTest::testSourceRuleAndMatchingUseOriginalNamesAndOrdinals calls
CompletionCostsTest::testAffordableRetainsExactlyTheAlternativesThatCanFinishWithinBudget calls
CompletionCostsTest::testHasTerminalOutputDistinguishesEmittedTerminalsFromMarkersAndPendingRules calls
CompletionCostsTest::testRuleFindsFiniteCompletionsThroughNullableRecursion calls
CompletionCostsTest::testSequenceCountsMarkersAsEmptyAndReservesAllSiblings calls
CompletionFrontierTest::testOfferPrunesOverBudgetAndEquivalentMoreExpensiveStates calls
CompletionFrontierTest::testOfferRemembersAlreadyEmittedOutputBeforeErasingTerminals calls
CompletionFrontierTest::testTakeOrdersAffordableCompletionsByEstimatedCost calls
CompletionMemoTest calls
CompletionReductionTest::testReduceKeepsBothIndependentOutputPossibilitiesAndTheirExactCosts calls
ConstrainedCompletionTest::testCompleteCachesNormalizedPendingFormsWithoutLosingAlreadyEmittedOutput calls
ConstrainedCompletionTest::testMinimumCountsOnlyTheUnconsumedPatternSuffix calls
ConstrainedCompletionTest::testMinimumIncludesDescendantsSiblingsAndRecursiveOccurrenceConstraints calls
ConstrainedCompletionTest::testSearchRetainsAFirstWitnessAsFeasibilityInsteadOfAMinimumProof calls
ConstrainedCompletionTest::testWithinRejectsARequiredOutputThatIndependentEmptySubtreesCannotSupply calls
ConstrainedCompletionTest::testWitnessCachesOnlyTheChosenSuffixAndKeepsMinimumQueriesIndependent calls
ConstraintDependenciesTest::testAffectedFindsRecursiveAncestorsAndDropsConsumedConstraints calls
ConstraintDependenciesTest::testAffectedPropagatesSourceConstraintsToEverySpecializationAndItsParents calls
DerivationNodeTest calls
DerivationTest::testAffordableAcceptsAnAlternativeThatExactlyUsesTheBudget calls
DerivationTest::testAffordableAllowsATerminalOnlyProductionWithNoExpansionBudgetLeft calls
DerivationTest::testAffordableCompletionRetainsOnlyProductionsWithAnAffordableNonEmptyContinuation calls
DerivationTest::testAffordableKeepsAnAlternativeThatStillLeavesRoomToFinish calls
DerivationTest::testAffordableRejectsAnAlternativeThatCannotFitAfterTheRemainder calls
DerivationTest::testAffordableRejectsARemainderThatExceedsTheWholeBudget calls
DerivationTest::testAffordableReturnsAListAfterDiscardingAnOverBudgetAlternative calls
DerivationTest::testAlternativesRespectsTheOccurrenceAndRejectsUnrealizableProductions calls
DerivationTest::testCompletableKeepsAnEmptyAlternativeWhenTheRemainingSiblingSatisfiesNonEmpty calls
DerivationTest::testFirstNonTerminalAnswersNothingWhenOnlyTerminalsAreLeft calls
DerivationTest::testFirstNonTerminalAnswersTheLeftmostPositionTheWalkActsOn calls
DerivationTest::testOfCountsOccurrencesAcrossSpecializedCopiesOfTheSameRule calls
DerivationTest::testOfOffersTheCandidatesToTheChoicePolicy calls
DerivationTest::testOfReportsAPlanNoAlternativeCanSatisfy calls
DerivationTest::testOfReportsASymbolTheGrammarDeclaresNoRuleFor calls
DerivationTest::testOfRewritesTheStartSymbolUntilOnlyTerminalsAreLeft calls
DerivationTest::testOfSelectsTerminationPolicyFromThePlan calls
DerivationTest::testOfStillRejectsAnEntirelyForcedPlanWhoseDescendantCannotSatisfyNonEmpty calls
DerivationTest::testSelectProductionChoosesFreelyWhileThePlanStillAllowsDepth calls
DerivationTest::testSelectProductionDrawsUniformlyAmongTheEligibleAlternativesBeforeTheThreshold calls
DerivationTest::testSelectProductionTakesTheShortestAlternativeOncePastThePlanDepth calls
DerivationTraceTest calls
TerminationAnalyzerTest::testComputesAViewThatExcludesUnsupportedTerminals calls
TerminationAnalyzerTest::testEstimateProductionLengthMixed calls
TerminationAnalyzerTest::testEstimateProductionLengthNonTerminals calls
TerminationAnalyzerTest::testEstimateProductionStepsBreaksARecursiveLengthTie calls
TerminationAnalyzerTest::testGetMinLengthChoosesShortestAlternative calls
TerminationAnalyzerTest::testGetMinLengthEmptyProduction calls
TerminationAnalyzerTest::testGetMinLengthNestedRules calls
TerminationAnalyzerTest::testGetMinLengthTerminalOnly calls
TerminationAnalyzerTest::testIsProductionViableAcceptsAProductionSomeDerivationFinishes calls
TerminationAnalyzerTest::testIsProductionViableRejectsAProductionThatCanNeverBeFinished calls
TerminationAnalyzerTest::testPropagatesLexicalImpossibilityThroughNonTerminals calls
TerminationCostTest::testOfCountsARuleThatCanOnlyExpandIntoItselfAsUnfinishable calls
TerminationCostTest::testOfCountsTheTokensOfTheCheapestAlternative calls
TerminationCostTest::testOfProductionAddsUpWhatEachSymbolCosts calls
TerminationCostTest::testOfProductionCountsExpansionsWhenThatIsWhatAStepIs calls
TerminationCostTest::testOfRefusesATokenNothingCanWrite calls
TerminationCostTest::testOfTreatsASymbolWithNoRuleAsAToken calls
TerminationCostTest::testSettledAnswersTheLeastEveryRuleCanCost calls
TerminationCostTest::testSumRefusesASequenceCarryingATokenNothingCanWrite calls
TokenGeneratorTest::testDeriveRetainsOriginalRuleIdentityForRepeatedChoices calls
TokenGeneratorTest::testGenerateCanChooseNullableChildrenWhenAnotherSiblingProvidesOutput calls
TokenGeneratorTest::testGenerateReservesVisibleOutputWithoutConsultingLexicalHandlerAvailability calls
TokenGeneratorTest::testMinimumExpansionsIncludesEveryPlannedListItem calls
TokenGeneratorTest::testMinimumExpansionsUsesTheCurrentRootPlanAndExplicitBudget calls
TokenGeneratorTest::testPrepareKeepsPlansAndUnconstrainedCallsIndependent calls
LexemeSequenceTest calls
CandidateResolverTest calls
GrammarCompilerTest::testCompileAppliesProductionConditionsToEachListItem calls
GrammarCompilerTest::testCompileContradictoryProductionConditionsAreRejected calls
GrammarCompilerTest::testCompileListItemsPreserveOutputOrderForBothRecursionDirections calls
GrammarCompilerTest::testHasChildrenConditionsPruneIncompatibleProductions calls
GrammarCompilerTest::testRuleDoesNotShareACompiledSubtreeBetweenDifferentLexicalScopes calls
GrammarCompilerTest::testRuleMemoizesRecursiveScopesBeforeWalkingTheirChildren calls
GrammarCompilerTest::testSymbolsApplyChildConditionsToARecursiveListTail calls
GrammarCompilerTest::testSymbolsKeepInfeasibleBranchesFromInvalidatingOtherAlternatives calls
GrammarCompilerTest::testSymbolsPreserveInheritedRulesWhenSelectingAnOperand calls
GrammarCompilerTest::testValidateAcceptsNestedChildAndListDeclarations calls
PreparedGrammarTest::testRestoreKeepsOriginalOrdinalsAndAncestorIdentity calls
PreparedGrammarTest::testRestoreRetainsTheLexicalScopeOfEachSelectedProduction calls
SqlGeneratorTest::testGenerateAllowsEmptyOutputWhenThePlanAllowsIt calls
SqlGeneratorTest::testGenerateClearsPreviousGrammarTraceBeforeALexicalPlan calls
SqlGeneratorTest::testGenerateClosesCoverageAfterARejectedEmptyLexicalResult calls
SqlGeneratorTest::testGenerateKeepsRewrittenSourcesReachedWithoutCreditingTheirOutput calls
SqlGeneratorTest::testGeneratePreservesTheFirstLexicalFailureWithoutRetrying calls
SqlGeneratorTest::testGenerateRecordsACompleteCoverageObservation calls
SqlGeneratorTest::testGenerateRejectsUnexpectedEmptyOutputWithoutRetrying calls
SqlGeneratorTest::testGenerateReplacesGrammarCoverageWithTheLatestLexicalTrace calls
SqlGeneratorTest::testGenerateReportsOnlyTheLatestRewrittenDerivation calls
SqlGeneratorTest::testGenerateReusesCompletionAnalysisAcrossDifferentPlans calls
SqlGeneratorTest::testGenerateUsesExplicitRulesAndSuppliedParserSemantics calls
SqlGeneratorTest::testGenerateUsesTheGrammarEntryPointWithoutDialectKnowledge calls
SqlGeneratorTest::testGenerateUsesTheSuppliedVersionSpecificRuleResolver calls
SqlGeneratorTest::testPlannerBindsTheSameGrammarEntryAndFreezesEveryChoice calls
SqlGeneratorTest::testRealizeOffersTheWholeZeroBasedCandidateRange calls
SqlGeneratorTest::testRealizeRetainsTheActualTerminalAndLexicalTrace calls
TerminalSequenceTest calls
GrammarTest::testExposesTheStartSymbolAndRuleMap calls
GrammarTest::testIdentifiedAssignsOriginalOrdinalsBeforeFiltering calls
GrammarTest::testIdentifiedPreservesTheSourceAndEveryExistingProductionIdentity calls
GrammarTest::testSourceOrdinalUsesAdaptedIndicesUntilAGrammarIsSpecialized calls
GrammarTest::testSourceRuleSurvivesSerializationAndIdentification calls
TerminalInventoryTest::testDeduplicatesAndSortsWithoutIncludingDefinedRules calls
TerminalInventoryTest::testFromGrammarNamesEveryTerminalTheRulesReach calls
TerminalInventoryTest::testIncludesDeclaredTerminalsAndUnknownLexerSymbols calls
GenerationContextTest::testBindsTheRequestedReleaseAndPreservesTheGrammarStart calls
GenerationContextTest::testLeavesThePlanInControlOfNullableProductionChoices calls
GenerationContextTest::testReportsAnUnknownNonterminalWithoutTreatingItAsSqlText calls
GenerationContextTest::testReportsMissingLexicalImplementationWhenTheTerminalIsActuallyGenerated calls
GenerationContextTest::testUsesTheGrammarStartWhenThePlanDoesNotSpecifyOne calls
GenerationPlansTest::testForeignKeyConstraintAdaptsToTheGrammarVersion calls
SqlGeneratorFactoryTest::testCreatePreservesTheGrammarEntryPointAndBindsLexicalDefinitions calls
SqlGeneratorFactoryTest::testCreateRealizesTheDocumentedSelectExample calls
StartRuleResolverTest::testStartSymbolForFallsBackToTheEntryPointOfTheReleaseItWasAskedOf calls
StartRuleResolverTest::testStartSymbolForHandsBackARequestNothingMatches calls
MySqlGrammarTest calls
MySqlProviderTest calls
GenerationContextTest::testBindsTheRequestedReleaseAndPreservesTheGrammarStart calls
GenerationContextTest::testLeavesThePlanInControlOfNullableProductionChoices calls
GenerationContextTest::testReportsAnUnknownNonterminalWithoutTreatingItAsSqlText calls
GenerationContextTest::testReportsMissingLexicalImplementationWhenTheTerminalIsActuallyGenerated calls
GenerationContextTest::testUsesTheGrammarStartWhenThePlanDoesNotSpecifyOne calls
SqlGeneratorFactoryTest::testCreatePreservesTheGrammarEntryPointAndBindsLexicalDefinitions calls
PgGrammarTest calls
PostgreSqlProviderTest calls
GenerationContextTest::testBindsTheRequestedReleaseAndPreservesTheGrammarStart calls
GenerationContextTest::testLeavesThePlanInControlOfNullableProductionChoices calls
GenerationContextTest::testReportsAnUnknownNonterminalWithoutTreatingItAsSqlText calls
GenerationContextTest::testReportsMissingLexicalImplementationWhenTheTerminalIsActuallyGenerated calls
GenerationContextTest::testUsesTheGrammarStartWhenThePlanDoesNotSpecifyOne calls
GrammarAdaptationTest::testAdaptedGivesEachStatementKindARuleOfItsOwn calls
GrammarAdaptationTest::testAdaptedLeavesAGrammarWithoutACmdRuleAlone calls
GrammarAdaptationTest::testStatementAlternativesKeepsAlterAndDropOnlyWhenTheyActOnATable calls
GrammarAdaptationTest::testStatementAlternativesSortsAnAlternativeByTheKeywordItLeadsWith calls
GrammarAdaptationTest::testStatementAlternativesSortsAnAlternativeThatBeginsWithAnOptionalWithClause calls
GrammarAdaptationTest::testWithStatementRulesPreservesEveryImportedAlternative calls
SqlGeneratorFactoryTest::testCreatePreservesTheGrammarEntryPointAndBindsLexicalDefinitions calls
SqliteGrammarTest calls
SqliteProviderTest calls

Relations§

Instantiated in 7

new SqlFaker\Compiler\Bison\BisonGrammarCompiler::compile() packages/sql-faker/src/Compiler/Bison/BisonGrammarCompiler.php:76
new SqlFaker\Compiler\Lemon\LemonGrammarCompiler::compile() packages/sql-faker/src/Compiler/Lemon/LemonGrammarCompiler.php:77
new SqlFaker\Compiler\Lemon\LemonGrammarCompiler::compile() packages/sql-faker/src/Compiler/Lemon/LemonGrammarCompiler.php:81
new SqlFaker\Generation\Plan\Compilation\GrammarCompiler::rule() packages/sql-faker/src/Generation/Plan/Compilation/GrammarCompiler.php:94
new SqlFaker\Generation\Plan\Compilation\GrammarCompiler::rule() packages/sql-faker/src/Generation/Plan/Compilation/GrammarCompiler.php:114
new SqlFaker\Grammar\Model\Grammar::identified() packages/sql-faker/src/Grammar/Model/Grammar.php:111
new SqlFaker\Sqlite\Generation\GrammarAdaptation::withStatementRules() packages/sql-faker/src/Sqlite/Generation/GrammarAdaptation.php:46

Type declarations 2

type SqlFaker\Sqlite\Generation\GrammarAdaptation packages/sql-faker/src/Sqlite/Generation/GrammarAdaptation.php:41
type SqlFaker\Sqlite\Generation\GrammarAdaptation packages/sql-faker/src/Sqlite/Generation/GrammarAdaptation.php:65