packages/sql-semantics-sqlite/resources/models/Value/ExprWithIdjLpDistinctExprlistOrderBySortlistRp_6aa5130a.php
1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\Sqlite\Value;
6
7/**
8 * The expr 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\ExprWithIdjLpDistinctExprlistOrderBySortlistRp_6aa5130a $value): string => \SqlSemantics\Statement\Writer::render($value);
13 * $write instanceof \Closure // => true
14 */
15final class ExprWithIdjLpDistinctExprlistOrderBySortlistRp_6aa5130a implements \SqlSemantics\Statement\Model\Sqlite\Role\CaseOperandForm, \SqlSemantics\Statement\Model\Sqlite\Role\ExprForm, \SqlSemantics\Statement\Model\Sqlite\Role\ExprlistForm, \SqlSemantics\Statement\Model\Sqlite\Role\NexprlistForm
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 string $idj,
24 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\DistinctForm $distinct,
25 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\ExprlistForm $exprlist,
26 public readonly \SqlSemantics\Statement\Model\Sqlite\Role\SortlistForm $sortlist,
27 public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
28 ) {
29 $this->assertMatchesPattern($idj, \SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::SPELLINGS['idj'], 'The idj must be a complete idj lexical spelling.');
30 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($distinct), 'The distinct must be a generated immutable SQL value.');
31 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($exprlist), 'The exprlist must be a generated immutable SQL value.');
32 $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($sortlist), 'The sortlist 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($this->idj);
42 $writer->comments($this->comments, 1);
43 $writer->append('(');
44 $writer->comments($this->comments, 2);
45 $this->distinct->write($writer);
46 $writer->comments($this->comments, 3);
47 $this->exprlist->write($writer);
48 $writer->comments($this->comments, 4);
49 $writer->append('ORDER');
50 $writer->comments($this->comments, 5);
51 $writer->append('BY');
52 $writer->comments($this->comments, 6);
53 $this->sortlist->write($writer);
54 $writer->comments($this->comments, 7);
55 $writer->append(')');
56 }
57
58 /**
59 * Returns a copy with a new idj, preserving every other field.
60 */
61 public function withIdj(string $idj): self
62 {
63 return new self($idj, $this->distinct, $this->exprlist, $this->sortlist, $this->comments);
64 }
65
66 /**
67 * Returns a copy with a new distinct, preserving every other field.
68 */
69 public function withDistinct(\SqlSemantics\Statement\Model\Sqlite\Role\DistinctForm $distinct): self
70 {
71 return new self($this->idj, $distinct, $this->exprlist, $this->sortlist, $this->comments);
72 }
73
74 /**
75 * Returns a copy with a new exprlist, preserving every other field.
76 */
77 public function withExprlist(\SqlSemantics\Statement\Model\Sqlite\Role\ExprlistForm $exprlist): self
78 {
79 return new self($this->idj, $this->distinct, $exprlist, $this->sortlist, $this->comments);
80 }
81
82 /**
83 * Returns a copy with a new sortlist, preserving every other field.
84 */
85 public function withSortlist(\SqlSemantics\Statement\Model\Sqlite\Role\SortlistForm $sortlist): self
86 {
87 return new self($this->idj, $this->distinct, $this->exprlist, $sortlist, $this->comments);
88 }
89
90 /**
91 * Returns a copy with a new comments, preserving every other field.
92 */
93 public function withComments(\SqlSemantics\Statement\Comments $comments): self
94 {
95 return new self($this->idj, $this->distinct, $this->exprlist, $this->sortlist, $comments);
96 }
97}
98