packages/sql-parser/tests/Unit/Automaton/ResolvedStateTest.php

1<?php
2
3declare(strict_types=1);
4
5namespace Tests\Unit\Automaton;
6
7use PHPUnit\Framework\Attributes\CoversClass;
8use PHPUnit\Framework\Attributes\Small;
9use PHPUnit\Framework\TestCase;
10use SqlParser\Automaton\ResolvedState;
11
12#[CoversClass(ResolvedState::class)]
13#[Small]
14final class ResolvedStateTest extends TestCase
15{
16    public function testPropertiesAreKept(): void
17    {
18        $state = new ResolvedState([1 => 4, 2 => -2], [1 => 1], 2, 1);
19
20        self::assertSame([1 => 4, 2 => -2], $state->actions);
21        self::assertSame([1 => 1], $state->reductionCounts);
22        self::assertSame(2, $state->shiftReduceConflicts);
23        self::assertSame(1, $state->reduceReduceConflicts);
24    }
25}
26