packages/sql-faker/tests/Unit/Generation/Derivation/DerivationTraceTest.php

1<?php
2
3declare(strict_types=1);
4
5namespace Tests\Unit\SqlFaker\Generation\Derivation;
6
7use PHPUnit\Framework\Attributes\CoversClass;
8use PHPUnit\Framework\Attributes\UsesClass;
9use PHPUnit\Framework\TestCase;
10use SqlFaker\Generation\Candidate\ChoiceLexemeGenerator;
11use SqlFaker\Generation\Candidate\FixedLexemeGenerator;
12use SqlFaker\Generation\Candidate\MatchingLexemeGenerator;
13use SqlFaker\Generation\Candidate\RegisteredLexemeGenerator;
14use SqlFaker\Generation\Candidate\SequenceLexemeGenerator;
15use SqlFaker\Generation\Candidate\ValueLexemeGenerator;
16use SqlFaker\Generation\Candidate\VersionCase;
17use SqlFaker\Generation\Candidate\VersionedLexemeGenerator;
18use SqlFaker\Generation\Derivation\CompletionCosts;
19use SqlFaker\Generation\Derivation\Derivation;
20use SqlFaker\Generation\Derivation\DerivationTrace;
21use SqlFaker\Generation\Derivation\TerminationAnalyzer;
22use SqlFaker\Generation\Derivation\TerminationCost;
23use SqlFaker\Generation\Derivation\TokenGenerator;
24use SqlFaker\Generation\Exception\GenerationException;
25use SqlFaker\Generation\Exception\LexicalException;
26use SqlFaker\Generation\Lexeme\Lexeme;
27use SqlFaker\Generation\Lexeme\LexemeBoundary;
28use SqlFaker\Generation\Lexeme\LexemeCandidates;
29use SqlFaker\Generation\Lexeme\LexemeGenerator;
30use SqlFaker\Generation\Lexeme\LexemeInput;
31use SqlFaker\Generation\Lexeme\LexemeSequence;
32use SqlFaker\Generation\Lexeme\OutputPart;
33use SqlFaker\Generation\Lexeme\ResolvedOutput;
34use SqlFaker\Generation\Lexeme\SpacingConstraint;
35use SqlFaker\Generation\Lexeme\SpacingRule;
36use SqlFaker\Generation\Output\CandidateResolver;
37use SqlFaker\Generation\Output\CombinedSpacingRule;
38use SqlFaker\Generation\Output\ReverseLexemeGenerator;
39use SqlFaker\Generation\Output\SqlSerializer;
40use SqlFaker\Generation\Plan\GenerationPlan;
41use SqlFaker\Generation\Token\ProductionOccurrence;
42use SqlFaker\Generation\Token\RewriteRule;
43use SqlFaker\Generation\Token\TerminalOccurrence;
44use SqlFaker\Generation\Token\TerminalSequence;
45use SqlFaker\Generation\Token\TokenRewriter;
46use SqlFaker\Grammar\Model\Grammar;
47use SqlFaker\Grammar\Model\NonTerminal;
48use SqlFaker\Grammar\Model\Production;
49use SqlFaker\Grammar\Model\ProductionRule;
50use SqlFaker\Grammar\Model\Terminal;
51use SqlFaker\MySql\Generation\Spacing\KeywordPhraseSpacingRule;
52
53#[CoversClass(DerivationTrace::class)]
54#[UsesClass(RewriteRule::class)]
55#[UsesClass(TokenGenerator::class)]
56#[UsesClass(ProductionOccurrence::class)]
57#[UsesClass(TerminalSequence::class)]
58#[UsesClass(TokenRewriter::class)]
59#[UsesClass(TerminalOccurrence::class)]
60#[UsesClass(CandidateResolver::class)]
61#[UsesClass(ReverseLexemeGenerator::class)]
62#[UsesClass(ResolvedOutput::class)]
63#[UsesClass(OutputPart::class)]
64#[UsesClass(SqlSerializer::class)]
65#[UsesClass(VersionCase::class)]
66#[UsesClass(VersionedLexemeGenerator::class)]
67#[UsesClass(KeywordPhraseSpacingRule::class)]
68#[UsesClass(CombinedSpacingRule::class)]
69#[UsesClass(LexemeBoundary::class)]
70#[UsesClass(SpacingRule::class)]
71#[UsesClass(SpacingConstraint::class)]
72#[UsesClass(Lexeme::class)]
73#[UsesClass(LexemeGenerator::class)]
74#[UsesClass(ValueLexemeGenerator::class)]
75#[UsesClass(LexemeSequence::class)]
76#[UsesClass(RegisteredLexemeGenerator::class)]
77#[UsesClass(LexemeCandidates::class)]
78#[UsesClass(SequenceLexemeGenerator::class)]
79#[UsesClass(ChoiceLexemeGenerator::class)]
80#[UsesClass(FixedLexemeGenerator::class)]
81#[UsesClass(MatchingLexemeGenerator::class)]
82#[UsesClass(LexemeInput::class)]
83#[UsesClass(CompletionCosts::class)]
84#[UsesClass(Derivation::class)]
85#[UsesClass(GenerationPlan::class)]
86#[UsesClass(TerminationAnalyzer::class)]
87#[UsesClass(TerminationCost::class)]
88#[UsesClass(Grammar::class)]
89#[UsesClass(NonTerminal::class)]
90#[UsesClass(Production::class)]
91#[UsesClass(ProductionRule::class)]
92#[UsesClass(Terminal::class)]
93#[UsesClass(GenerationException::class)]
94#[UsesClass(LexicalException::class)]
95#[UsesClass(\SqlFaker\Generation\Plan\ProductionPattern::class)]
96#[UsesClass(\SqlFaker\Generation\Output\BoundaryCompletion::class)]
97#[UsesClass(\SqlFaker\Generation\Derivation\CompletionState::class)]
98#[UsesClass(\SqlFaker\Generation\Derivation\CompletionFrontier::class)]
99#[UsesClass(\SqlFaker\Generation\Derivation\ConstrainedCompletion::class)]
100#[UsesClass(\SqlFaker\Generation\Value\ValueChoices::class)]
101#[UsesClass(\SqlFaker\Generation\Derivation\CompletionMemo::class)]
102#[UsesClass(\SqlFaker\Generation\Derivation\CompletionReduction::class)]
103#[UsesClass(\SqlFaker\Generation\Derivation\ConstraintDependencies::class)]
104#[UsesClass(\SqlFaker\Generation\Choice\BytePlanCompiler::class)]
105#[UsesClass(\SqlFaker\Generation\Derivation\Completion\PatternProductions::class)]
106#[UsesClass(\SqlFaker\Generation\Derivation\Completion\CompletionWitness::class)]
107final class DerivationTraceTest extends TestCase
108{
109    public function testExpandPreservesRuleAncestorsAndProductionOrdinals(): void
110    {
111        $trace = new DerivationTrace('root');
112        $trace->expand(0, new Production([new NonTerminal('child')]), 2);
113        $trace->expand(0, new Production([new Terminal('IDENT'), new Terminal('.')]), 4);
114        $result = $trace->terminals();
115        self::assertSame(['IDENT', '.'], $result->names());
116        self::assertSame(['root', 'child'], $result->terminals[0]->rules);
117        self::assertSame([0, 1], $result->terminals[0]->ancestors);
118        self::assertNull($result->productions[0]->parent);
119        self::assertSame(0, $result->productions[1]->parent);
120        self::assertSame(4, $result->productions[1]->ordinal);
121    }
122
123    public function testTerminalsRetainsASelectedEmptyProduction(): void
124    {
125        $trace = new DerivationTrace('root');
126        $trace->expand(0, new Production([]), 1);
127        $result = $trace->terminals();
128        self::assertSame([], $result->terminals);
129        self::assertCount(1, $result->productions);
130        self::assertSame(1, $result->productions[0]->ordinal);
131    }
132}
133