packages/sql-semantics-mysql/resources/models/Value/PredicateWithBitExprNotInSymSubselect_58c1fc3e.php

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\MySql\Value;
6
7/**
8 * The predicate 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\MySql\Value\PredicateWithBitExprNotInSymSubselect_58c1fc3e $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class PredicateWithBitExprNotInSymSubselect_58c1fc3e implements \SqlSemantics\Statement\Model\MySql\Role\BoolPriForm, \SqlSemantics\Statement\Model\MySql\Role\ExprForm, \SqlSemantics\Statement\Model\MySql\Role\ExprListForm, \SqlSemantics\Statement\Model\MySql\Role\ExprOrDefaultForm, \SqlSemantics\Statement\Model\MySql\Role\GeneratedColumnFuncForm, \SqlSemantics\Statement\Model\MySql\Role\GroupListForm, \SqlSemantics\Statement\Model\MySql\Role\GroupingExprForm, \SqlSemantics\Statement\Model\MySql\Role\InstallSetRvalueForm, \SqlSemantics\Statement\Model\MySql\Role\OptExprForm, \SqlSemantics\Statement\Model\MySql\Role\OptExprListForm, \SqlSemantics\Statement\Model\MySql\Role\OptSpCparamsForm, \SqlSemantics\Statement\Model\MySql\Role\OptValuesForm, \SqlSemantics\Statement\Model\MySql\Role\OrderIdentForm, \SqlSemantics\Statement\Model\MySql\Role\PredicateForm, \SqlSemantics\Statement\Model\MySql\Role\SetExprOrDefaultForm, \SqlSemantics\Statement\Model\MySql\Role\SpCparamsForm, \SqlSemantics\Statement\Model\MySql\Role\ValuesForm
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\MySql\Role\BitExprForm $bitExpr,
24        public readonly \SqlSemantics\Statement\Model\MySql\Role\NotForm $not,
25        public readonly \SqlSemantics\Statement\Model\MySql\Role\SubselectForm $subselect,
26        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
27    ) {
28        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($bitExpr), 'The bitExpr must be a generated immutable SQL value.');
29        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($not), 'The not must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($subselect), 'The subselect must be a generated immutable SQL value.');
31    }
32
33    /**
34     * Writes SQL entirely from this value's fields.
35     */
36    public function write(\SqlSemantics\Statement\Writer $writer): void
37    {
38        $writer->comments($this->comments, 0);
39        $this->bitExpr->write($writer);
40        $writer->comments($this->comments, 1);
41        $this->not->write($writer);
42        $writer->comments($this->comments, 2);
43        $writer->append('IN');
44        $writer->comments($this->comments, 3);
45        $writer->append('(');
46        $writer->comments($this->comments, 4);
47        $this->subselect->write($writer);
48        $writer->comments($this->comments, 5);
49        $writer->append(')');
50    }
51
52    /**
53     * Returns a copy with a new bitExpr, preserving every other field.
54     */
55    public function withBitExpr(\SqlSemantics\Statement\Model\MySql\Role\BitExprForm $bitExpr): self
56    {
57        return new self($bitExpr, $this->not, $this->subselect, $this->comments);
58    }
59
60    /**
61     * Returns a copy with a new not, preserving every other field.
62     */
63    public function withNot(\SqlSemantics\Statement\Model\MySql\Role\NotForm $not): self
64    {
65        return new self($this->bitExpr, $not, $this->subselect, $this->comments);
66    }
67
68    /**
69     * Returns a copy with a new subselect, preserving every other field.
70     */
71    public function withSubselect(\SqlSemantics\Statement\Model\MySql\Role\SubselectForm $subselect): self
72    {
73        return new self($this->bitExpr, $this->not, $subselect, $this->comments);
74    }
75
76    /**
77     * Returns a copy with a new comments, preserving every other field.
78     */
79    public function withComments(\SqlSemantics\Statement\Comments $comments): self
80    {
81        return new self($this->bitExpr, $this->not, $this->subselect, $comments);
82    }
83}
84