packages/sql-semantics-sqlite/resources/models/Value/ExprWithExprNotNull_025d71af.php

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\Sqlite\Value;
6
7/**
8 * The expr SQL value; generated by bin/build-models.php.
9 *
10 * @visibility public
11 * @example Accept a structured SQL value
12 *     $write = static fn (\SqlSemantics\Statement\Model\Sqlite\Value\ExprWithExprNotNull_025d71af $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class ExprWithExprNotNull_025d71af implements \SqlSemantics\Statement\Model\Sqlite\Role\CaseOperandForm, \SqlSemantics\Statement\Model\Sqlite\Role\ExprForm, \SqlSemantics\Statement\Model\Sqlite\Role\ExprlistForm, \SqlSemantics\Statement\Model\Sqlite\Role\NexprlistForm
16{
17    use \SqlSemantics\Statement\Assertion;
18
19    /**
20     * Supplies the SQL values of this form; comments are kept by the position of the symbol each precedes.
21     */
22    public function __construct(
23        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\ExprForm $expr,
24        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
25    ) {
26        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($expr), 'The expr must be a generated immutable SQL value.');
27        $this->assertOperandBindingStrength($expr, \SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::BINDING_POWERS, array (  'sqlite-3.47.2' => 4,));
28    }
29
30    /**
31     * Writes SQL entirely from this value's fields.
32     */
33    public function write(\SqlSemantics\Statement\Writer $writer): void
34    {
35        $writer->comments($this->comments, 0);
36        $this->expr->write($writer);
37        $writer->comments($this->comments, 1);
38        $writer->append('NOT');
39        $writer->comments($this->comments, 2);
40        $writer->append('NULL');
41    }
42
43    /**
44     * Returns a copy with a new expr, preserving every other field.
45     */
46    public function withExpr(\SqlSemantics\Statement\Model\Sqlite\Role\ExprForm $expr): self
47    {
48        return new self($expr, $this->comments);
49    }
50
51    /**
52     * Returns a copy with a new comments, preserving every other field.
53     */
54    public function withComments(\SqlSemantics\Statement\Comments $comments): self
55    {
56        return new self($this->expr, $comments);
57    }
58}
59