packages/sql-semantics-mysql/tests/Unit/SchemaRulesTest.php

1<?php
2
3declare(strict_types=1);
4
5namespace Tests\Unit;
6
7use PHPUnit\Framework\TestCase;
8use SqlSemantics\Core\Binder;
9use SqlSemantics\Core\Model\Expression;
10use SqlSemantics\Core\Model\ExpressionKind;
11use SqlSemantics\Core\SchemaBuilder;
12use SqlSemantics\Core\Type\Nullability;
13use SqlSemantics\Core\Type\TypeDescriptor;
14use SqlSemantics\Platform\MySql\Dialect;
15
16#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\SemanticException::class)]
17#[\PHPUnit\Framework\Attributes\CoversClass(SchemaBuilder::class)]
18#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Schema::class)]
19#[\PHPUnit\Framework\Attributes\CoversClass(Binder::class)]
20#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\NullFacts::class)]
21#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\TypeResolution::class)]
22#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\IdentitySequence::class)]
23#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\SyntaxGuard::class)]
24#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\Scope::class)]
25#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\BoundRelation::class)]
26#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\FromBinder::class)]
27#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\SelectModifiersBinder::class)]
28#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\TableResolver::class)]
29#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\SelectBinder::class)]
30#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\ProjectionBinder::class)]
31#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\ExpressionRules::class)]
32#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\ExpressionBinder::class)]
33#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Binding\LiteralBinder::class)]
34#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Schema\ColumnDefinition::class)]
35#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Schema\TableDefinition::class)]
36#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Schema\ConstraintKind::class)]
37#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Schema\TableConstraint::class)]
38#[\PHPUnit\Framework\Attributes\CoversClass(Nullability::class)]
39#[\PHPUnit\Framework\Attributes\CoversClass(TypeDescriptor::class)]
40#[\PHPUnit\Framework\Attributes\CoversClass(Expression::class)]
41#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\Join::class)]
42#[\PHPUnit\Framework\Attributes\CoversClass(ExpressionKind::class)]
43#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\BoundSelect::class)]
44#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\TableUse::class)]
45#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\ColumnBinding::class)]
46#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\Ordering::class)]
47#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\OutputColumn::class)]
48#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Model\JoinKind::class)]
49#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\TypeReader::class)]
50#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\DialectParser::class)]
51#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\TokenGroups::class)]
52#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\Tree::class)]
53#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\ColumnReader::class)]
54#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\SchemaReader::class)]
55#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\ConstraintReader::class)]
56#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\Identifiers::class)]
57#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Ast\StatementList::class)]
58#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Core\Policy\SyntaxRules::class)]
59#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Platform\MySql\QueryRules::class)]
60#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Platform\MySql\Platform::class)]
61#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Platform\MySql\TypeRules::class)]
62#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Platform\MySql\NameRules::class)]
63#[\PHPUnit\Framework\Attributes\CoversClass(\SqlSemantics\Platform\MySql\SchemaRules::class)]
64#[\PHPUnit\Framework\Attributes\CoversClass(Dialect::class)]
65#[\PHPUnit\Framework\Attributes\Medium]
66final class SchemaRulesTest extends TestCase
67{
68    public function testValidateAcceptsOrdinaryDeclarations(): void
69    {
70        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE items (id INTEGER PRIMARY KEY, label TEXT)');
71        self::assertCount(1, $schema->tables);
72    }
73
74    public function testColumnNodesPreserveOrder(): void
75    {
76        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE items (id INTEGER PRIMARY KEY, label TEXT)');
77        self::assertSame(['id', 'label'], array_column($schema->tables[0]->columns, 'name'));
78    }
79
80    public function testPrimaryNotNullPromotesAnIntegerKey(): void
81    {
82        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE items (id INTEGER PRIMARY KEY, label TEXT)');
83        self::assertSame(Nullability::NotNull, $schema->tables[0]->columns[0]->nullability);
84    }
85
86    public function testSchemaNodeRetainsOriginalDeclaration(): void
87    {
88        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE items (id INTEGER PRIMARY KEY, label TEXT)');
89        self::assertStringContainsString('CREATE TABLE', \SqlSemantics\Statement\Writer::render($schema->tables[0]->source));
90    }
91
92    public function testTableKeyDistinguishesNames(): void
93    {
94        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE first (id INT)', 'CREATE TABLE second (id INT)');
95        self::assertNotSame(Dialect::MySql->platform()->schema()->tableKey($schema->tables[0]), Dialect::MySql->platform()->schema()->tableKey($schema->tables[1]));
96    }
97
98    public function testQualifyPreservesExplicitNamespaces(): void
99    {
100        $schema = (new SchemaBuilder(Dialect::MySql))->build('CREATE TABLE app.items (id INT)');
101        self::assertSame('app', $schema->tables[0]->schema);
102    }
103
104    public function testOptionsRetainsStructuredTableChoices(): void
105    {
106        $state = (new \SqlSemantics\Facade\Schema(Dialect::MySql))->analyze('CREATE TABLE t (id INT) ENGINE=InnoDB');
107        self::assertNotEmpty($state->tables[0]->options);
108    }
109
110    public function testPrimaryOptionsNotNullAccountsForTablePolicy(): void
111    {
112        $dialect = Dialect::MySql;
113        $source = $dialect->platform()->parser()->parse('CREATE TABLE t (id INT) ENGINE=InnoDB');
114        self::assertSame(false, $dialect->platform()->schema()->primaryOptionsNotNull($source));
115    }
116
117}
118