packages/sql-semantics-sqlite/resources/models/Value/ExprWithCaseCaseOperandCaseExprlistCaseElseEnd_f3c36399.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\ExprWithCaseCaseOperandCaseExprlistCaseElseEnd_f3c36399 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class ExprWithCaseCaseOperandCaseExprlistCaseElseEnd_f3c36399 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 \SqlSemantics\Statement\Model\Sqlite\Role\CaseOperandForm $caseOperand,
24        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\CaseExprlistForm $caseExprlist,
25        public readonly \SqlSemantics\Statement\Model\Sqlite\Role\CaseElseForm $caseElse,
26        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
27    ) {
28        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($caseOperand), 'The caseOperand must be a generated immutable SQL value.');
29        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($caseExprlist), 'The caseExprlist must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($caseElse), 'The caseElse must be a generated immutable SQL value.');
31    }
32
33    /**
34     * Writes SQL entirely from this value's fields.
35     */
36    public function write(\SqlSemantics\Statement\Writer $writer): void
37    {
38        $writer->comments($this->comments, 0);
39        $writer->append('CASE');
40        $writer->comments($this->comments, 1);
41        $this->caseOperand->write($writer);
42        $writer->comments($this->comments, 2);
43        $this->caseExprlist->write($writer);
44        $writer->comments($this->comments, 3);
45        $this->caseElse->write($writer);
46        $writer->comments($this->comments, 4);
47        $writer->append('END');
48    }
49
50    /**
51     * Returns a copy with a new caseOperand, preserving every other field.
52     */
53    public function withCaseOperand(\SqlSemantics\Statement\Model\Sqlite\Role\CaseOperandForm $caseOperand): self
54    {
55        return new self($caseOperand, $this->caseExprlist, $this->caseElse, $this->comments);
56    }
57
58    /**
59     * Returns a copy with a new caseExprlist, preserving every other field.
60     */
61    public function withCaseExprlist(\SqlSemantics\Statement\Model\Sqlite\Role\CaseExprlistForm $caseExprlist): self
62    {
63        return new self($this->caseOperand, $caseExprlist, $this->caseElse, $this->comments);
64    }
65
66    /**
67     * Returns a copy with a new caseElse, preserving every other field.
68     */
69    public function withCaseElse(\SqlSemantics\Statement\Model\Sqlite\Role\CaseElseForm $caseElse): self
70    {
71        return new self($this->caseOperand, $this->caseExprlist, $caseElse, $this->comments);
72    }
73
74    /**
75     * Returns a copy with a new comments, preserving every other field.
76     */
77    public function withComments(\SqlSemantics\Statement\Comments $comments): self
78    {
79        return new self($this->caseOperand, $this->caseExprlist, $this->caseElse, $comments);
80    }
81}
82