1 | <?php |
||
2 | /** |
||
3 | * This file is part of NACL. |
||
4 | * |
||
5 | * For the full copyright and license information, please view the LICENSE |
||
6 | * file that was distributed with this source code. |
||
7 | * |
||
8 | * @copyright 2019 Nuglif (2018) Inc. |
||
9 | * @license http://www.opensource.org/licenses/mit-license.html MIT License |
||
10 | * @author Pierrick Charron <[email protected]> |
||
11 | * @author Charle Demers <[email protected]> |
||
12 | */ |
||
13 | |||
14 | declare(strict_types=1); |
||
15 | |||
16 | namespace Nuglif\Nacl; |
||
17 | |||
18 | abstract class AbstractLexer |
||
19 | { |
||
20 | protected const EOF = -1; |
||
21 | protected const STATE_INITIAL = 0; |
||
22 | |||
23 | private array $regexes = []; |
||
24 | private array $tokenMaps = []; |
||
25 | |||
26 | private int $state = self::STATE_INITIAL; |
||
27 | private array $stack = []; |
||
28 | |||
29 | protected int $line = 0; |
||
30 | protected string $content = ''; |
||
31 | protected int $count = 0; |
||
32 | protected string $filename = ''; |
||
33 | |||
34 | abstract protected function getRules(): array; |
||
35 | |||
36 | 591 | public function __construct() |
|
37 | { |
||
38 | 591 | foreach ($this->getRules() as $state => $patterns) { |
|
39 | 591 | $eofCallback = false; |
|
40 | |||
41 | 591 | if (isset($patterns[self::EOF])) { |
|
42 | 591 | $eofCallback = $patterns[self::EOF]; |
|
43 | 591 | unset($patterns[self::EOF]); |
|
44 | } |
||
45 | |||
46 | 591 | $this->regexes[$state] = $this->computeRegex(array_keys($patterns)); |
|
47 | 591 | $this->tokenMaps[$state] = array_values($patterns); |
|
48 | |||
49 | 591 | $this->tokenMaps[$state][-1] = $eofCallback; |
|
50 | } |
||
51 | } |
||
52 | |||
53 | /** |
||
54 | * @psalm-suppress InvalidReturnType |
||
55 | */ |
||
56 | 590 | public function yylex(): Token |
|
57 | { |
||
58 | do { |
||
59 | 590 | if (isset($this->content[$this->count])) { |
|
60 | 589 | if (!preg_match($this->regexes[$this->state], $this->content, $matches, 0, $this->count)) { |
|
61 | $this->error(sprintf('Unexpected character "%s"', $this->content[$this->count])); |
||
62 | } |
||
63 | 589 | for ($i = 1; '' === $matches[$i]; ++$i) { |
|
64 | } |
||
65 | 589 | $this->count += strlen($matches[0]); |
|
66 | 589 | $this->line += substr_count($matches[0], "\n"); |
|
67 | } else { |
||
68 | 585 | $i = 0; |
|
69 | 585 | $matches = [ '' ]; |
|
70 | } |
||
71 | |||
72 | 590 | if ($this->tokenMaps[$this->state][$i - 1]) { |
|
73 | 590 | $callback = $this->tokenMaps[$this->state][$i - 1]; |
|
74 | 590 | if ($token = $callback($matches[$i])) { |
|
75 | 589 | return new Token($token, $matches[$i]); |
|
76 | } |
||
77 | } |
||
78 | 586 | } while ($i); |
|
0 ignored issues
–
show
|
|||
79 | } |
||
80 | |||
81 | 3 | protected function error(string $errorMessage): void |
|
82 | { |
||
83 | 3 | throw new LexingException($errorMessage, $this->filename, $this->line); |
|
84 | } |
||
85 | |||
86 | 565 | protected function begin(int $state): void |
|
87 | { |
||
88 | 565 | $this->state = $state; |
|
89 | } |
||
90 | |||
91 | 591 | private function computeRegex(array $patterns): string |
|
92 | { |
||
93 | 591 | return '#\G(' . implode(')|\G(', $patterns) . ')#A'; |
|
94 | } |
||
95 | |||
96 | 590 | public function push(string $content, string $filename): void |
|
97 | { |
||
98 | 590 | if ('' !== $this->content) { |
|
99 | 10 | $this->stack[] = [ |
|
100 | 10 | $this->line, |
|
101 | 10 | $this->content, |
|
102 | 10 | $this->count, |
|
103 | 10 | $this->filename, |
|
104 | 10 | ]; |
|
105 | } |
||
106 | |||
107 | 590 | $this->line = 1; |
|
108 | 590 | $this->content = $content; |
|
109 | 590 | $this->count = 0; |
|
110 | 590 | $this->filename = $filename; |
|
111 | } |
||
112 | |||
113 | 582 | public function pop(): bool |
|
114 | { |
||
115 | 582 | if (empty($this->stack)) { |
|
116 | 582 | return false; |
|
117 | } |
||
118 | |||
119 | 10 | [ |
|
120 | 10 | $this->line, |
|
121 | 10 | $this->content, |
|
122 | 10 | $this->count, |
|
123 | 10 | $this->filename |
|
124 | 10 | ] = array_pop($this->stack); |
|
125 | |||
126 | 10 | return true; |
|
127 | } |
||
128 | |||
129 | 13 | public function getLine(): int |
|
130 | { |
||
131 | 13 | return $this->line; |
|
132 | } |
||
133 | |||
134 | 24 | public function getFilename(): string |
|
135 | { |
||
136 | 24 | return $this->filename; |
|
137 | } |
||
138 | } |
||
139 |
For hinted functions/methods where all return statements with the correct type are only reachable via conditions, ?null? gets implicitly returned which may be incompatible with the hinted type. Let?s take a look at an example: