yiisoft /
db-sqlite
| 1 | <?php |
||||||
| 2 | |||||||
| 3 | declare(strict_types=1); |
||||||
| 4 | |||||||
| 5 | namespace Yiisoft\Db\Sqlite; |
||||||
| 6 | |||||||
| 7 | use ArrayAccess; |
||||||
| 8 | use Stringable; |
||||||
| 9 | |||||||
| 10 | use function array_splice; |
||||||
| 11 | use function count; |
||||||
| 12 | use function end; |
||||||
| 13 | use function in_array; |
||||||
| 14 | use function mb_substr; |
||||||
| 15 | use function reset; |
||||||
| 16 | |||||||
| 17 | /** |
||||||
| 18 | * Represents SQL tokens produced by {@see SqlTokenizer} or its child classes. |
||||||
| 19 | * |
||||||
| 20 | * @template-implements ArrayAccess<int, SqlToken> |
||||||
| 21 | */ |
||||||
| 22 | final class SqlToken implements ArrayAccess, Stringable |
||||||
| 23 | { |
||||||
| 24 | public const TYPE_CODE = 0; |
||||||
| 25 | public const TYPE_STATEMENT = 1; |
||||||
| 26 | public const TYPE_TOKEN = 2; |
||||||
| 27 | public const TYPE_PARENTHESIS = 3; |
||||||
| 28 | public const TYPE_KEYWORD = 4; |
||||||
| 29 | public const TYPE_OPERATOR = 5; |
||||||
| 30 | public const TYPE_IDENTIFIER = 6; |
||||||
| 31 | public const TYPE_STRING_LITERAL = 7; |
||||||
| 32 | private int $type = self::TYPE_TOKEN; |
||||||
| 33 | private string|null $content = null; |
||||||
| 34 | private int|null $startOffset = null; |
||||||
| 35 | private int|null $endOffset = null; |
||||||
| 36 | private SqlToken|null $parent = null; |
||||||
| 37 | /** |
||||||
| 38 | * @var array list of child tokens. |
||||||
| 39 | * |
||||||
| 40 | * @psalm-var array<int, SqlToken> |
||||||
| 41 | */ |
||||||
| 42 | private array $children = []; |
||||||
| 43 | |||||||
| 44 | /** |
||||||
| 45 | * Returns the SQL code representing the token. |
||||||
| 46 | * |
||||||
| 47 | * @return string SQL code. |
||||||
| 48 | */ |
||||||
| 49 | 36 | public function __toString(): string |
|||||
| 50 | { |
||||||
| 51 | 36 | return $this->getSql(); |
|||||
| 52 | } |
||||||
| 53 | |||||||
| 54 | /** |
||||||
| 55 | * Returns whether there is a child token at the specified offset. |
||||||
| 56 | * |
||||||
| 57 | * This method is required by the SPL {@see ArrayAccess} interface. |
||||||
| 58 | * |
||||||
| 59 | * It's implicitly called when you use something like `isset($token[$offset])`. |
||||||
| 60 | * |
||||||
| 61 | * @param int $offset The child token offset. |
||||||
| 62 | * |
||||||
| 63 | * @return bool Whether the token exists. |
||||||
| 64 | */ |
||||||
| 65 | 129 | public function offsetExists($offset): bool |
|||||
| 66 | { |
||||||
| 67 | 129 | return isset($this->children[$this->calculateOffset($offset)]); |
|||||
| 68 | } |
||||||
| 69 | |||||||
| 70 | /** |
||||||
| 71 | * Returns a child token at the specified offset. |
||||||
| 72 | * |
||||||
| 73 | * This method is required by the SPL {@see ArrayAccess} interface. |
||||||
| 74 | * |
||||||
| 75 | * It's implicitly called when you use something like `$child = $token[$offset];`. |
||||||
| 76 | * |
||||||
| 77 | * @param int $offset The child token offset. |
||||||
| 78 | * |
||||||
| 79 | * @return SqlToken|null The child token at the specified offset, `null` if there's no token. |
||||||
| 80 | */ |
||||||
| 81 | 171 | public function offsetGet($offset): self|null |
|||||
| 82 | { |
||||||
| 83 | 171 | $offset = $this->calculateOffset($offset); |
|||||
| 84 | |||||||
| 85 | 171 | return $this->children[$offset] ?? null; |
|||||
| 86 | } |
||||||
| 87 | |||||||
| 88 | /** |
||||||
| 89 | * Adds a child token to the token. |
||||||
| 90 | * |
||||||
| 91 | * This method is required by the SPL {@see ArrayAccess} interface. |
||||||
| 92 | * |
||||||
| 93 | * It's implicitly called when you use something like `$token[$offset] = $child;`. |
||||||
| 94 | * |
||||||
| 95 | * @param mixed $offset The child token offset. |
||||||
| 96 | * @param mixed $value Token to add. |
||||||
| 97 | * |
||||||
| 98 | * @psalm-suppress MixedPropertyTypeCoercion |
||||||
| 99 | */ |
||||||
| 100 | 171 | public function offsetSet(mixed $offset, mixed $value): void |
|||||
| 101 | { |
||||||
| 102 | 171 | if ($value instanceof self) { |
|||||
| 103 | 171 | $value->parent = $this; |
|||||
| 104 | } |
||||||
| 105 | |||||||
| 106 | 171 | if ($offset === null) { |
|||||
| 107 | 171 | $this->children[] = $value; |
|||||
| 108 | } else { |
||||||
| 109 | $this->children[$this->calculateOffset((int) $offset)] = $value; |
||||||
| 110 | } |
||||||
| 111 | |||||||
| 112 | 171 | $this->updateCollectionOffsets(); |
|||||
| 113 | } |
||||||
| 114 | |||||||
| 115 | /** |
||||||
| 116 | * Removes a child token at the specified offset. |
||||||
| 117 | * |
||||||
| 118 | * This method is required by the SPL {@see ArrayAccess} interface. |
||||||
| 119 | * |
||||||
| 120 | * It's implicitly called when you use something like `unset($token[$offset])`. |
||||||
| 121 | * |
||||||
| 122 | * @param int $offset Child token offset. |
||||||
| 123 | */ |
||||||
| 124 | 64 | public function offsetUnset($offset): void |
|||||
| 125 | { |
||||||
| 126 | 64 | $offset = $this->calculateOffset($offset); |
|||||
| 127 | |||||||
| 128 | 64 | if (isset($this->children[$offset])) { |
|||||
| 129 | 64 | array_splice($this->children, $offset, 1); |
|||||
| 130 | } |
||||||
| 131 | |||||||
| 132 | 64 | $this->updateCollectionOffsets(); |
|||||
| 133 | } |
||||||
| 134 | |||||||
| 135 | /** |
||||||
| 136 | * Returns child tokens. |
||||||
| 137 | * |
||||||
| 138 | * @return SqlToken[] Child tokens. |
||||||
| 139 | */ |
||||||
| 140 | 15 | public function getChildren(): array |
|||||
| 141 | { |
||||||
| 142 | 15 | return $this->children; |
|||||
| 143 | } |
||||||
| 144 | |||||||
| 145 | /** |
||||||
| 146 | * Sets a list of child tokens. |
||||||
| 147 | * |
||||||
| 148 | * @param SqlToken[] $children Child tokens. |
||||||
| 149 | */ |
||||||
| 150 | 1 | public function setChildren(array $children): void |
|||||
| 151 | { |
||||||
| 152 | 1 | $this->children = []; |
|||||
| 153 | |||||||
| 154 | 1 | foreach ($children as $child) { |
|||||
| 155 | 1 | $child->parent = $this; |
|||||
| 156 | 1 | $this->children[] = $child; |
|||||
| 157 | } |
||||||
| 158 | |||||||
| 159 | 1 | $this->updateCollectionOffsets(); |
|||||
| 160 | } |
||||||
| 161 | |||||||
| 162 | /** |
||||||
| 163 | * Returns whether the token represents a collection of tokens. |
||||||
| 164 | * |
||||||
| 165 | * @return bool Whether the token represents a collection of tokens. |
||||||
| 166 | */ |
||||||
| 167 | 171 | public function getIsCollection(): bool |
|||||
| 168 | { |
||||||
| 169 | 171 | return in_array($this->type, [self::TYPE_CODE, self::TYPE_STATEMENT, self::TYPE_PARENTHESIS], true); |
|||||
| 170 | } |
||||||
| 171 | |||||||
| 172 | /** |
||||||
| 173 | * Returns whether the token represents a collection of tokens and has a non-zero number of children. |
||||||
| 174 | * |
||||||
| 175 | * @return bool Whether the token has children. |
||||||
| 176 | */ |
||||||
| 177 | 171 | public function getHasChildren(): bool |
|||||
| 178 | { |
||||||
| 179 | 171 | return $this->getIsCollection() && !empty($this->children); |
|||||
| 180 | } |
||||||
| 181 | |||||||
| 182 | /** |
||||||
| 183 | * Returns the SQL code representing the token. |
||||||
| 184 | * |
||||||
| 185 | * @return string SQL code. |
||||||
| 186 | */ |
||||||
| 187 | 49 | public function getSql(): string |
|||||
| 188 | { |
||||||
| 189 | 49 | $sql = ''; |
|||||
| 190 | 49 | $code = $this; |
|||||
| 191 | |||||||
| 192 | 49 | while ($code->parent !== null) { |
|||||
| 193 | 49 | $code = $code->parent; |
|||||
| 194 | } |
||||||
| 195 | |||||||
| 196 | 49 | if ($code->content !== null) { |
|||||
| 197 | 49 | $sql = mb_substr( |
|||||
| 198 | 49 | $code->content, |
|||||
| 199 | 49 | (int) $this->startOffset, |
|||||
| 200 | 49 | (int) $this->endOffset - (int) $this->startOffset, |
|||||
| 201 | 49 | 'UTF-8', |
|||||
| 202 | 49 | ); |
|||||
| 203 | } |
||||||
| 204 | |||||||
| 205 | 49 | return $sql; |
|||||
| 206 | } |
||||||
| 207 | |||||||
| 208 | /** |
||||||
| 209 | * Returns whether this token (including its children) matches the specified "pattern" SQL code. |
||||||
| 210 | * |
||||||
| 211 | * Usage Example: |
||||||
| 212 | * |
||||||
| 213 | * ```php |
||||||
| 214 | * $patternToken = (new \Yiisoft\Db\Sqlite\SqlTokenizer('SELECT any FROM any'))->tokenize(); |
||||||
| 215 | * if ($sqlToken->matches($patternToken, 0, $firstMatchIndex, $lastMatchIndex)) { |
||||||
| 216 | * // ... |
||||||
| 217 | * } |
||||||
| 218 | * ``` |
||||||
| 219 | * |
||||||
| 220 | * @param SqlToken $patternToken Tokenized SQL codes to match. |
||||||
| 221 | * In addition to regular SQL, the `any` keyword is supported which will match any number of keywords, identifiers, |
||||||
| 222 | * whitespaces. |
||||||
| 223 | * @param int $offset Token children offset to start lookup with. |
||||||
| 224 | * @param int|null $firstMatchIndex Token children offset where a successful match begins. |
||||||
| 225 | * @param int|null $lastMatchIndex Token children offset where a successful match ends. |
||||||
| 226 | * |
||||||
| 227 | * @return bool Whether this token matches the pattern SQL code. |
||||||
| 228 | */ |
||||||
| 229 | 130 | public function matches( |
|||||
| 230 | self $patternToken, |
||||||
| 231 | int $offset = 0, |
||||||
| 232 | int &$firstMatchIndex = null, |
||||||
| 233 | int &$lastMatchIndex = null |
||||||
| 234 | ): bool { |
||||||
| 235 | 130 | $result = false; |
|||||
| 236 | |||||||
| 237 | 130 | if ($patternToken->getHasChildren() && ($patternToken[0] instanceof self)) { |
|||||
| 238 | 130 | $result = $this->tokensMatch($patternToken[0], $this, $offset, $firstMatchIndex, $lastMatchIndex); |
|||||
|
0 ignored issues
–
show
Bug
introduced
by
Loading history...
|
|||||||
| 239 | } |
||||||
| 240 | |||||||
| 241 | 130 | return $result; |
|||||
| 242 | } |
||||||
| 243 | |||||||
| 244 | /** |
||||||
| 245 | * Tests the given token to match the specified pattern token. |
||||||
| 246 | */ |
||||||
| 247 | 130 | private function tokensMatch( |
|||||
| 248 | self $patternToken, |
||||||
| 249 | self $token, |
||||||
| 250 | int $offset = 0, |
||||||
| 251 | int &$firstMatchIndex = null, |
||||||
| 252 | int &$lastMatchIndex = null |
||||||
| 253 | ): bool { |
||||||
| 254 | if ( |
||||||
| 255 | 130 | $patternToken->getIsCollection() !== $token->getIsCollection() || |
|||||
| 256 | 130 | (!$patternToken->getIsCollection() && $patternToken->content !== $token->content) |
|||||
| 257 | ) { |
||||||
| 258 | 130 | return false; |
|||||
| 259 | } |
||||||
| 260 | |||||||
| 261 | 130 | if ($patternToken->children === $token->children) { |
|||||
| 262 | 130 | $firstMatchIndex = $lastMatchIndex = $offset; |
|||||
| 263 | |||||||
| 264 | 130 | return true; |
|||||
| 265 | } |
||||||
| 266 | |||||||
| 267 | 130 | $firstMatchIndex = $lastMatchIndex = null; |
|||||
| 268 | 130 | $wildcard = false; |
|||||
| 269 | |||||||
| 270 | 130 | for ($index = 0, $count = count($patternToken->children); $index < $count; $index++) { |
|||||
| 271 | /* |
||||||
| 272 | Iterate token by token with an exception to "any" that toggles an iteration until matched |
||||||
| 273 | with a next pattern token or EOF. |
||||||
| 274 | */ |
||||||
| 275 | 130 | if ($patternToken[$index] instanceof self && $patternToken[$index]->content === 'any') { |
|||||
| 276 | 130 | $wildcard = true; |
|||||
| 277 | 130 | continue; |
|||||
| 278 | } |
||||||
| 279 | |||||||
| 280 | 130 | for ($limit = $wildcard ? count($token->children) : $offset + 1; $offset < $limit; $offset++) { |
|||||
| 281 | 130 | if (!$wildcard && !isset($token[$offset])) { |
|||||
| 282 | break; |
||||||
| 283 | } |
||||||
| 284 | |||||||
| 285 | if ( |
||||||
| 286 | 130 | $patternToken[$index] instanceof self && |
|||||
| 287 | 130 | $token[$offset] instanceof self && |
|||||
| 288 | 130 | !$this->tokensMatch($patternToken[$index], $token[$offset]) |
|||||
|
0 ignored issues
–
show
It seems like
$token[$offset] can also be of type null; however, parameter $token of Yiisoft\Db\Sqlite\SqlToken::tokensMatch() does only seem to accept Yiisoft\Db\Sqlite\SqlToken, maybe add an additional type check?
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
Loading history...
It seems like
$patternToken[$index] can also be of type null; however, parameter $patternToken of Yiisoft\Db\Sqlite\SqlToken::tokensMatch() does only seem to accept Yiisoft\Db\Sqlite\SqlToken, maybe add an additional type check?
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the
Loading history...
|
|||||||
| 289 | ) { |
||||||
| 290 | 130 | continue; |
|||||
| 291 | } |
||||||
| 292 | |||||||
| 293 | 130 | if ($firstMatchIndex === null) { |
|||||
| 294 | 130 | $firstMatchIndex = $offset; |
|||||
| 295 | } |
||||||
| 296 | |||||||
| 297 | 130 | $lastMatchIndex = $offset; |
|||||
| 298 | 130 | $wildcard = false; |
|||||
| 299 | 130 | $offset++; |
|||||
| 300 | |||||||
| 301 | 130 | continue 2; |
|||||
| 302 | } |
||||||
| 303 | |||||||
| 304 | 130 | return false; |
|||||
| 305 | } |
||||||
| 306 | |||||||
| 307 | 129 | return true; |
|||||
| 308 | } |
||||||
| 309 | |||||||
| 310 | /** |
||||||
| 311 | * Returns an absolute offset in the children array. |
||||||
| 312 | */ |
||||||
| 313 | 171 | private function calculateOffset(int $offset): int |
|||||
| 314 | { |
||||||
| 315 | 171 | if ($offset >= 0) { |
|||||
| 316 | 171 | return $offset; |
|||||
| 317 | } |
||||||
| 318 | |||||||
| 319 | 171 | return count($this->children) + $offset; |
|||||
| 320 | } |
||||||
| 321 | |||||||
| 322 | /** |
||||||
| 323 | * Updates token SQL code start and end offsets based on its children. |
||||||
| 324 | */ |
||||||
| 325 | 172 | private function updateCollectionOffsets(): void |
|||||
| 326 | { |
||||||
| 327 | 172 | if (!empty($this->children)) { |
|||||
| 328 | 172 | $this->startOffset = reset($this->children)->startOffset; |
|||||
| 329 | 172 | $this->endOffset = end($this->children)->endOffset; |
|||||
| 330 | } |
||||||
| 331 | |||||||
| 332 | 172 | $this->parent?->updateCollectionOffsets(); |
|||||
| 333 | } |
||||||
| 334 | |||||||
| 335 | /** |
||||||
| 336 | * Set token type. |
||||||
| 337 | * |
||||||
| 338 | * @param int $value Token type. |
||||||
| 339 | * It has to be one of the following constants: |
||||||
| 340 | * |
||||||
| 341 | * - {@see TYPE_CODE} |
||||||
| 342 | * - {@see TYPE_STATEMENT} |
||||||
| 343 | * - {@see TYPE_TOKEN} |
||||||
| 344 | * - {@see TYPE_PARENTHESIS} |
||||||
| 345 | * - {@see TYPE_KEYWORD} |
||||||
| 346 | * - {@see TYPE_OPERATOR} |
||||||
| 347 | * - {@see TYPE_IDENTIFIER} |
||||||
| 348 | * - {@see TYPE_STRING_LITERAL} |
||||||
| 349 | */ |
||||||
| 350 | 171 | public function type(int $value): self |
|||||
| 351 | { |
||||||
| 352 | 171 | $this->type = $value; |
|||||
| 353 | |||||||
| 354 | 171 | return $this; |
|||||
| 355 | } |
||||||
| 356 | |||||||
| 357 | /** |
||||||
| 358 | * Set token content. |
||||||
| 359 | */ |
||||||
| 360 | 173 | public function content(string|null $value): self |
|||||
| 361 | { |
||||||
| 362 | 173 | $this->content = $value; |
|||||
| 363 | |||||||
| 364 | 173 | return $this; |
|||||
| 365 | } |
||||||
| 366 | |||||||
| 367 | /** |
||||||
| 368 | * Set original SQL token start position. |
||||||
| 369 | * |
||||||
| 370 | * @param int $value Original SQL token start position. |
||||||
| 371 | */ |
||||||
| 372 | 171 | public function startOffset(int $value): self |
|||||
| 373 | { |
||||||
| 374 | 171 | $this->startOffset = $value; |
|||||
| 375 | |||||||
| 376 | 171 | return $this; |
|||||
| 377 | } |
||||||
| 378 | |||||||
| 379 | /** |
||||||
| 380 | * Set original SQL token end position. |
||||||
| 381 | * |
||||||
| 382 | * @param int $value Original SQL token end position. |
||||||
| 383 | */ |
||||||
| 384 | 171 | public function endOffset(int $value): self |
|||||
| 385 | { |
||||||
| 386 | 171 | $this->endOffset = $value; |
|||||
| 387 | |||||||
| 388 | 171 | return $this; |
|||||
| 389 | } |
||||||
| 390 | |||||||
| 391 | /** |
||||||
| 392 | * Set parent token. |
||||||
| 393 | * |
||||||
| 394 | * @param SqlToken $value The parent token. |
||||||
| 395 | */ |
||||||
| 396 | public function parent(self $value): self |
||||||
| 397 | { |
||||||
| 398 | $this->parent = $value; |
||||||
| 399 | |||||||
| 400 | return $this; |
||||||
| 401 | } |
||||||
| 402 | |||||||
| 403 | /** |
||||||
| 404 | * @return string|null The token content. |
||||||
| 405 | */ |
||||||
| 406 | 3 | public function getContent(): string|null |
|||||
| 407 | { |
||||||
| 408 | 3 | return $this->content; |
|||||
| 409 | } |
||||||
| 410 | |||||||
| 411 | /** |
||||||
| 412 | * @return int The type of the token. |
||||||
| 413 | */ |
||||||
| 414 | public function getType(): int |
||||||
| 415 | { |
||||||
| 416 | return $this->type; |
||||||
| 417 | } |
||||||
| 418 | } |
||||||
| 419 |