packages/sql-semantics-sqlite/resources/models/Value/CmdWithCreatekwTempViewIfnotexistsNmDbnmEidlistOptAsSelect_982c3d9a.php
1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\Sqlite\Value;
6
7/**
8 * The cmd 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\CmdWithCreatekwTempViewIfnotexistsNmDbnmEidlistOptAsSelect_982c3d9a $value): string => \SqlSemantics\Statement\Writer::render($value);
13 * $write instanceof \Closure // => true
14 */
15final class CmdWithCreatekwTempViewIfnotexistsNmDbnmEidlistOptAsSelect_982c3d9a implements \SqlSemantics\Statement\Model\Sqlite\Role\CmdForm, \SqlSemantics\Statement\Model\Sqlite\Role\CmdxForm, \SqlSemantics\Statement\Command
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\CreatekwForm $createkw,
24 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\TempForm $temp,
25 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\IfnotexistsForm $ifnotexists,
26 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\NmForm $nm,
27 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\DbnmForm $dbnm,
28 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\EidlistOptForm $eidlistOpt,
29 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\SelectForm $select,
30 public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
31 ) {
32 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($createkw), 'The createkw must be a generated immutable SQL value.');
33 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($temp), 'The temp must be a generated immutable SQL value.');
34 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($ifnotexists), 'The ifnotexists must be a generated immutable SQL value.');
35 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($nm), 'The nm must be a generated immutable SQL value.');
36 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($dbnm), 'The dbnm must be a generated immutable SQL value.');
37 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($eidlistOpt), 'The eidlistOpt must be a generated immutable SQL value.');
38 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($select), 'The select must be a generated immutable SQL value.');
39 }
40
41 /**
42 * Writes SQL entirely from this value's fields.
43 */
44 public function write(\SqlSemantics\Statement\Writer $writer): void
45 {
46 $writer->comments($this->comments, 0);
47 $this->createkw->write($writer);
48 $writer->comments($this->comments, 1);
49 $this->temp->write($writer);
50 $writer->comments($this->comments, 2);
51 $writer->append('VIEW');
52 $writer->comments($this->comments, 3);
53 $this->ifnotexists->write($writer);
54 $writer->comments($this->comments, 4);
55 $this->nm->write($writer);
56 $writer->comments($this->comments, 5);
57 $this->dbnm->write($writer);
58 $writer->comments($this->comments, 6);
59 $this->eidlistOpt->write($writer);
60 $writer->comments($this->comments, 7);
61 $writer->append('AS');
62 $writer->comments($this->comments, 8);
63 $this->select->write($writer);
64 }
65
66 /**
67 * Returns a copy with a new createkw, preserving every other field.
68 */
69 public function withCreatekw(\SqlSemantics\Statement\Model\Sqlite\Role\CreatekwForm $createkw): self
70 {
71 return new self($createkw, $this->temp, $this->ifnotexists, $this->nm, $this->dbnm, $this->eidlistOpt, $this->select, $this->comments);
72 }
73
74 /**
75 * Returns a copy with a new temp, preserving every other field.
76 */
77 public function withTemp(\SqlSemantics\Statement\Model\Sqlite\Role\TempForm $temp): self
78 {
79 return new self($this->createkw, $temp, $this->ifnotexists, $this->nm, $this->dbnm, $this->eidlistOpt, $this->select, $this->comments);
80 }
81
82 /**
83 * Returns a copy with a new ifnotexists, preserving every other field.
84 */
85 public function withIfnotexists(\SqlSemantics\Statement\Model\Sqlite\Role\IfnotexistsForm $ifnotexists): self
86 {
87 return new self($this->createkw, $this->temp, $ifnotexists, $this->nm, $this->dbnm, $this->eidlistOpt, $this->select, $this->comments);
88 }
89
90 /**
91 * Returns a copy with a new nm, preserving every other field.
92 */
93 public function withNm(\SqlSemantics\Statement\Model\Sqlite\Role\NmForm $nm): self
94 {
95 return new self($this->createkw, $this->temp, $this->ifnotexists, $nm, $this->dbnm, $this->eidlistOpt, $this->select, $this->comments);
96 }
97
98 /**
99 * Returns a copy with a new dbnm, preserving every other field.
100 */
101 public function withDbnm(\SqlSemantics\Statement\Model\Sqlite\Role\DbnmForm $dbnm): self
102 {
103 return new self($this->createkw, $this->temp, $this->ifnotexists, $this->nm, $dbnm, $this->eidlistOpt, $this->select, $this->comments);
104 }
105
106 /**
107 * Returns a copy with a new eidlistOpt, preserving every other field.
108 */
109 public function withEidlistOpt(\SqlSemantics\Statement\Model\Sqlite\Role\EidlistOptForm $eidlistOpt): self
110 {
111 return new self($this->createkw, $this->temp, $this->ifnotexists, $this->nm, $this->dbnm, $eidlistOpt, $this->select, $this->comments);
112 }
113
114 /**
115 * Returns a copy with a new select, preserving every other field.
116 */
117 public function withSelect(\SqlSemantics\Statement\Model\Sqlite\Role\SelectForm $select): self
118 {
119 return new self($this->createkw, $this->temp, $this->ifnotexists, $this->nm, $this->dbnm, $this->eidlistOpt, $select, $this->comments);
120 }
121
122 /**
123 * Returns a copy with a new comments, preserving every other field.
124 */
125 public function withComments(\SqlSemantics\Statement\Comments $comments): self
126 {
127 return new self($this->createkw, $this->temp, $this->ifnotexists, $this->nm, $this->dbnm, $this->eidlistOpt, $this->select, $comments);
128 }
129}
130