packages/sql-faker/tests/Unit/Sqlite/Generation/SqlGeneratorFactoryTest.php

1<?php
2
3declare(strict_types=1);
4
5namespace Tests\Unit\Sqlite\Generation;
6
7use Faker\Factory;
8use PHPUnit\Framework\Attributes\CoversClass;
9use PHPUnit\Framework\Attributes\UsesClass;
10use PHPUnit\Framework\TestCase;
11use SqlFaker\Generation\Plan\GenerationPlan;
12use SqlFaker\Grammar\Model\Grammar;
13use SqlFaker\Grammar\Model\Production;
14use SqlFaker\Grammar\Model\ProductionRule;
15use SqlFaker\Grammar\Model\Terminal;
16use SqlFaker\Sqlite\Generation\SqlGeneratorFactory;
17
18#[CoversClass(SqlGeneratorFactory::class)]
19#[UsesClass(\SqlFaker\Generation\SqlGenerator::class)]
20#[UsesClass(\SqlFaker\Generation\Derivation\Derivation::class)]
21#[UsesClass(GenerationPlan::class)]
22#[UsesClass(\SqlFaker\Generation\Derivation\TerminationAnalyzer::class)]
23#[UsesClass(\SqlFaker\Generation\Derivation\TerminationCost::class)]
24#[UsesClass(Grammar::class)]
25#[UsesClass(\SqlFaker\Sqlite\Generation\Tokenization\KeywordIndex::class)]
26#[UsesClass(\SqlFaker\Generation\Value\RandomCharacters::class)]
27#[UsesClass(\SqlFaker\Sqlite\Generation\Value\LiteralGenerator::class)]
28#[UsesClass(\SqlFaker\Grammar\Model\TerminalInventory::class)]
29#[UsesClass(\SqlFaker\Grammar\Model\NonTerminal::class)]
30#[UsesClass(Production::class)]
31#[UsesClass(ProductionRule::class)]
32#[UsesClass(\SqlFaker\Grammar\Resource\SqlVersionRegistry::class)]
33#[UsesClass(\SqlFaker\Grammar\Resource\SqlVersion::class)]
34#[UsesClass(Terminal::class)]
35#[UsesClass(\SqlFaker\Sqlite\Generation\GenerationContext::class)]
36#[UsesClass(\SqlFaker\Sqlite\Generation\GrammarAdaptation::class)]
37#[UsesClass(\SqlFaker\Sqlite\Grammar\SqliteGrammar::class)]
38#[UsesClass(\SqlFaker\Sqlite\Generation\LexicalGrammar::class)]
39#[UsesClass(\SqlFaker\Sqlite\Generation\Tokenization\SqliteTokenizer::class)]
40#[UsesClass(\SqlFaker\Generation\Derivation\CompletionCosts::class)]
41#[UsesClass(\SqlFaker\Generation\Derivation\DerivationTrace::class)]
42#[UsesClass(\SqlFaker\Generation\Candidate\ChoiceLexemeGenerator::class)]
43#[UsesClass(\SqlFaker\Generation\Candidate\FixedLexemeGenerator::class)]
44#[UsesClass(\SqlFaker\Generation\Candidate\IntegerLexemeGenerator::class)]
45#[UsesClass(\SqlFaker\Generation\Lexeme\Lexeme::class)]
46#[UsesClass(\SqlFaker\Generation\Lexeme\LexemeCandidates::class)]
47#[UsesClass(\SqlFaker\Generation\Lexeme\LexemeInput::class)]
48#[UsesClass(\SqlFaker\Generation\Lexeme\LexemeSequence::class)]
49#[UsesClass(\SqlFaker\Generation\Candidate\MatchingLexemeGenerator::class)]
50#[UsesClass(\SqlFaker\Generation\Candidate\ValueLexemeGenerator::class)]
51#[UsesClass(\SqlFaker\Generation\Candidate\RegisteredLexemeGenerator::class)]
52#[UsesClass(\SqlFaker\Generation\Candidate\SequenceLexemeGenerator::class)]
53#[UsesClass(\SqlFaker\Generation\Output\CandidateResolver::class)]
54#[UsesClass(\SqlFaker\Generation\Lexeme\OutputPart::class)]
55#[UsesClass(\SqlFaker\Generation\Lexeme\ResolvedOutput::class)]
56#[UsesClass(\SqlFaker\Generation\Output\ReverseLexemeGenerator::class)]
57#[UsesClass(\SqlFaker\Generation\Output\SqlSerializer::class)]
58#[UsesClass(\SqlFaker\Generation\Output\CombinedSpacingRule::class)]
59#[UsesClass(\SqlFaker\Generation\Lexeme\SpacingConstraint::class)]
60#[UsesClass(\SqlFaker\Generation\Token\ProductionOccurrence::class)]
61#[UsesClass(\SqlFaker\Generation\Token\TerminalOccurrence::class)]
62#[UsesClass(\SqlFaker\Generation\Token\TerminalSequence::class)]
63#[UsesClass(\SqlFaker\Generation\Derivation\TokenGenerator::class)]
64#[UsesClass(\SqlFaker\Generation\Token\TokenRewriter::class)]
65#[UsesClass(\SqlFaker\Generation\Candidate\VersionCase::class)]
66#[UsesClass(\SqlFaker\Generation\Candidate\VersionedLexemeGenerator::class)]
67#[UsesClass(\SqlFaker\Sqlite\Generation\Lexeme\DefinitionFactory::class)]
68#[UsesClass(\SqlFaker\Sqlite\Generation\Lexeme\JoinLexemeGenerator::class)]
69#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\IdentifierListRule::class)]
70#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\JoinRule::class)]
71#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\RewriteDefinitions::class)]
72#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\StrictTableRule::class)]
73#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\TableOptionRule::class)]
74#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\WindowFrameRule::class)]
75#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\WithoutRowidRule::class)]
76#[UsesClass(\SqlFaker\Generation\Token\TerminalMappingRule::class)]
77#[UsesClass(\SqlFaker\Generation\Plan\ProductionPattern::class)]
78#[UsesClass(\SqlFaker\Generation\Exception\GenerationException::class)]
79#[UsesClass(\SqlFaker\Generation\Lexeme\LexemeBoundary::class)]
80#[UsesClass(\SqlFaker\Generation\Exception\LexicalException::class)]
81#[UsesClass(\SqlFaker\Sqlite\Generation\Lexeme\JoinModifiers::class)]
82#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\Expression\ExpressionGroupingRule::class)]
83#[UsesClass(\SqlFaker\Sqlite\Generation\Lexeme\WindowNameLexemeGenerator::class)]
84#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\CompoundSelectRule::class)]
85#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\UpsertSourceRule::class)]
86#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\FunctionArgumentRule::class)]
87#[UsesClass(\SqlFaker\Sqlite\Generation\Rewrite\GeneratedColumnRule::class)]
88#[UsesClass(\SqlFaker\Generation\Value\CharacterDomain::class)]
89#[UsesClass(\SqlFaker\Generation\Value\ChoiceDomain::class)]
90#[UsesClass(\SqlFaker\Generation\Value\IntegerDomain::class)]
91#[UsesClass(\SqlFaker\Generation\Value\SequenceDomain::class)]
92#[UsesClass(\SqlFaker\Generation\Output\BoundaryCompletion::class)]
93#[UsesClass(\SqlFaker\Generation\Derivation\CompletionState::class)]
94#[UsesClass(\SqlFaker\Generation\Derivation\CompletionFrontier::class)]
95#[UsesClass(\SqlFaker\Generation\Derivation\ConstrainedCompletion::class)]
96#[UsesClass(\SqlFaker\Generation\Value\ValueChoices::class)]
97#[UsesClass(\SqlFaker\Generation\Derivation\CompletionMemo::class)]
98#[UsesClass(\SqlFaker\Generation\Derivation\CompletionReduction::class)]
99#[UsesClass(\SqlFaker\Generation\Derivation\ConstraintDependencies::class)]
100#[UsesClass(\SqlFaker\Generation\Choice\BytePlanCompiler::class)]
101#[UsesClass(\SqlFaker\Sqlite\Generation\Value\IdentifierDomain::class)]
102#[UsesClass(\SqlFaker\Sqlite\Generation\Value\QuotedDomain::class)]
103#[UsesClass(\SqlFaker\Generation\Value\RepeatDomain::class)]
104#[UsesClass(\SqlFaker\Generation\Value\WordDomain::class)]
105#[UsesClass(\SqlFaker\Generation\Derivation\Completion\PatternProductions::class)]
106#[UsesClass(\SqlFaker\Generation\Derivation\Completion\CompletionWitness::class)]
107#[UsesClass(\SqlFaker\Generation\Value\Utf8::class)]
108#[UsesClass(\SqlFaker\Sqlite\Generation\Lexeme\LexicalDefinition::class)]
109final class SqlGeneratorFactoryTest extends TestCase
110{
111    public function testCreatePreservesTheGrammarEntryPointAndBindsLexicalDefinitions(): void
112    {
113        $faker = Factory::create();
114        $faker->seed(17);
115        $grammar = new Grammar('entry', [
116            'entry' => new ProductionRule('entry', [new Production([new Terminal('SELECT')])]),
117        ]);
118        $generator = SqlGeneratorFactory::create($faker, $grammar, 'sqlite-3.47.2');
119
120        self::assertMatchesRegularExpression('/SELECT/i', $generator->generate(GenerationPlan::all()));
121        self::assertSame('7', $generator->generate(GenerationPlan::lexical('integer_literal', ['min' => 7, 'max' => 7])));
122    }
123}
124