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

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\Sqlite\Value;
6
7/**
8 * The wqitem 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\WqitemWithWithnmEidlistOptWqasLpSelectRp_ba45400b $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class WqitemWithWithnmEidlistOptWqasLpSelectRp_ba45400b implements \SqlSemantics\Statement\Model\Sqlite\Role\WqitemForm, \SqlSemantics\Statement\Model\Sqlite\Role\WqlistForm
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\WithnmForm $withnm,
24        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\EidlistOptForm $eidlistOpt,
25        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\WqasForm $wqas,
26        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\SelectForm $select,
27        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
28    ) {
29        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($withnm), 'The withnm must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($eidlistOpt), 'The eidlistOpt must be a generated immutable SQL value.');
31        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($wqas), 'The wqas must be a generated immutable SQL value.');
32        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($select), 'The select must be a generated immutable SQL value.');
33    }
34
35    /**
36     * Writes SQL entirely from this value's fields.
37     */
38    public function write(\SqlSemantics\Statement\Writer $writer): void
39    {
40        $writer->comments($this->comments, 0);
41        $this->withnm->write($writer);
42        $writer->comments($this->comments, 1);
43        $this->eidlistOpt->write($writer);
44        $writer->comments($this->comments, 2);
45        $this->wqas->write($writer);
46        $writer->comments($this->comments, 3);
47        $writer->append('(');
48        $writer->comments($this->comments, 4);
49        $this->select->write($writer);
50        $writer->comments($this->comments, 5);
51        $writer->append(')');
52    }
53
54    /**
55     * Returns a copy with a new withnm, preserving every other field.
56     */
57    public function withWithnm(\SqlSemantics\Statement\Model\Sqlite\Role\WithnmForm $withnm): self
58    {
59        return new self($withnm, $this->eidlistOpt, $this->wqas, $this->select, $this->comments);
60    }
61
62    /**
63     * Returns a copy with a new eidlistOpt, preserving every other field.
64     */
65    public function withEidlistOpt(\SqlSemantics\Statement\Model\Sqlite\Role\EidlistOptForm $eidlistOpt): self
66    {
67        return new self($this->withnm, $eidlistOpt, $this->wqas, $this->select, $this->comments);
68    }
69
70    /**
71     * Returns a copy with a new wqas, preserving every other field.
72     */
73    public function withWqas(\SqlSemantics\Statement\Model\Sqlite\Role\WqasForm $wqas): self
74    {
75        return new self($this->withnm, $this->eidlistOpt, $wqas, $this->select, $this->comments);
76    }
77
78    /**
79     * Returns a copy with a new select, preserving every other field.
80     */
81    public function withSelect(\SqlSemantics\Statement\Model\Sqlite\Role\SelectForm $select): self
82    {
83        return new self($this->withnm, $this->eidlistOpt, $this->wqas, $select, $this->comments);
84    }
85
86    /**
87     * Returns a copy with a new comments, preserving every other field.
88     */
89    public function withComments(\SqlSemantics\Statement\Comments $comments): self
90    {
91        return new self($this->withnm, $this->eidlistOpt, $this->wqas, $this->select, $comments);
92    }
93}
94