packages/sql-semantics-sqlite/resources/models/Value/CmdWithPragmaNmDbnmEqMinusNum_88ca56f4.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\CmdWithPragmaNmDbnmEqMinusNum_88ca56f4 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 * $write instanceof \Closure // => true
14 */
15final class CmdWithPragmaNmDbnmEqMinusNum_88ca56f4 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\NmForm $nm,
24 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\DbnmForm $dbnm,
25 public readonly string $eq,
26 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\MinusNumForm $minusNum,
27 public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
28 ) {
29 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($nm), 'The nm must be a generated immutable SQL value.');
30 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($dbnm), 'The dbnm must be a generated immutable SQL value.');
31 $this->assertMatchesPattern($eq, \SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::SPELLINGS['EQ'], 'The eq must be a complete EQ lexical spelling.');
32 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($minusNum), 'The minusNum 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 $writer->append('PRAGMA');
42 $writer->comments($this->comments, 1);
43 $this->nm->write($writer);
44 $writer->comments($this->comments, 2);
45 $this->dbnm->write($writer);
46 $writer->comments($this->comments, 3);
47 $writer->append($this->eq);
48 $writer->comments($this->comments, 4);
49 $this->minusNum->write($writer);
50 }
51
52 /**
53 * Returns a copy with a new nm, preserving every other field.
54 */
55 public function withNm(\SqlSemantics\Statement\Model\Sqlite\Role\NmForm $nm): self
56 {
57 return new self($nm, $this->dbnm, $this->eq, $this->minusNum, $this->comments);
58 }
59
60 /**
61 * Returns a copy with a new dbnm, preserving every other field.
62 */
63 public function withDbnm(\SqlSemantics\Statement\Model\Sqlite\Role\DbnmForm $dbnm): self
64 {
65 return new self($this->nm, $dbnm, $this->eq, $this->minusNum, $this->comments);
66 }
67
68 /**
69 * Returns a copy with a new eq, preserving every other field.
70 */
71 public function withEq(string $eq): self
72 {
73 return new self($this->nm, $this->dbnm, $eq, $this->minusNum, $this->comments);
74 }
75
76 /**
77 * Returns a copy with a new minusNum, preserving every other field.
78 */
79 public function withMinusNum(\SqlSemantics\Statement\Model\Sqlite\Role\MinusNumForm $minusNum): self
80 {
81 return new self($this->nm, $this->dbnm, $this->eq, $minusNum, $this->comments);
82 }
83
84 /**
85 * Returns a copy with a new comments, preserving every other field.
86 */
87 public function withComments(\SqlSemantics\Statement\Comments $comments): self
88 {
89 return new self($this->nm, $this->dbnm, $this->eq, $this->minusNum, $comments);
90 }
91}
92