packages/sql-semantics-mysql/resources/models/Value/PredicateWithBitExprNotInSymTableSubquery_110a4ffb.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\PredicateWithBitExprNotInSymTableSubquery_110a4ffb $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class PredicateWithBitExprNotInSymTableSubquery_110a4ffb 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\TableSubqueryForm $tableSubquery,
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->assertOperandBindingStrength($bitExpr, \SqlSemantics\Statement\Model\MySql\Contract\Contracts::BINDING_POWERS, array (  'mysql-8.0.44' => 14,  'mysql-8.1.0' => 14,  'mysql-8.2.0' => 14,  'mysql-8.3.0' => 14,  'mysql-8.4.7' => 14,  'mysql-9.0.1' => 14,  'mysql-9.1.0' => 14,));
30        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($not), 'The not must be a generated immutable SQL value.');
31        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($tableSubquery), 'The tableSubquery must be a generated immutable SQL value.');
32    }
33
34    /**
35     * Writes SQL entirely from this value's fields.
36     */
37    public function write(\SqlSemantics\Statement\Writer $writer): void
38    {
39        $writer->comments($this->comments, 0);
40        $this->bitExpr->write($writer);
41        $writer->comments($this->comments, 1);
42        $this->not->write($writer);
43        $writer->comments($this->comments, 2);
44        $writer->append('IN');
45        $writer->comments($this->comments, 3);
46        $this->tableSubquery->write($writer);
47    }
48
49    /**
50     * Returns a copy with a new bitExpr, preserving every other field.
51     */
52    public function withBitExpr(\SqlSemantics\Statement\Model\MySql\Role\BitExprForm $bitExpr): self
53    {
54        return new self($bitExpr, $this->not, $this->tableSubquery, $this->comments);
55    }
56
57    /**
58     * Returns a copy with a new not, preserving every other field.
59     */
60    public function withNot(\SqlSemantics\Statement\Model\MySql\Role\NotForm $not): self
61    {
62        return new self($this->bitExpr, $not, $this->tableSubquery, $this->comments);
63    }
64
65    /**
66     * Returns a copy with a new tableSubquery, preserving every other field.
67     */
68    public function withTableSubquery(\SqlSemantics\Statement\Model\MySql\Role\TableSubqueryForm $tableSubquery): self
69    {
70        return new self($this->bitExpr, $this->not, $tableSubquery, $this->comments);
71    }
72
73    /**
74     * Returns a copy with a new comments, preserving every other field.
75     */
76    public function withComments(\SqlSemantics\Statement\Comments $comments): self
77    {
78        return new self($this->bitExpr, $this->not, $this->tableSubquery, $comments);
79    }
80}
81