packages/sql-semantics-postgres/resources/models/Value/PartitionBoundSpecWithForValuesFromExprListToExprList_95fd17db.php

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\PostgreSql\Value;
6
7/**
8 * The PartitionBoundSpec 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\PostgreSql\Value\PartitionBoundSpecWithForValuesFromExprListToExprList_95fd17db $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class PartitionBoundSpecWithForValuesFromExprListToExprList_95fd17db implements \SqlSemantics\Statement\Model\PostgreSql\Role\PartitionBoundSpecForm
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\PostgreSql\Role\ExprListForm $exprList,
24        public readonly \SqlSemantics\Statement\Model\PostgreSql\Role\ExprListForm $exprList2,
25        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
26    ) {
27        $this->assert(\SqlSemantics\Statement\Model\PostgreSql\Contract\Contracts::contains($exprList), 'The exprList must be a generated immutable SQL value.');
28        $this->assert(\SqlSemantics\Statement\Model\PostgreSql\Contract\Contracts::contains($exprList2), 'The exprList2 must be a generated immutable SQL value.');
29    }
30
31    /**
32     * Writes SQL entirely from this value's fields.
33     */
34    public function write(\SqlSemantics\Statement\Writer $writer): void
35    {
36        $writer->comments($this->comments, 0);
37        $writer->append('FOR');
38        $writer->comments($this->comments, 1);
39        $writer->append('VALUES');
40        $writer->comments($this->comments, 2);
41        $writer->append('FROM');
42        $writer->comments($this->comments, 3);
43        $writer->append('(');
44        $writer->comments($this->comments, 4);
45        $this->exprList->write($writer);
46        $writer->comments($this->comments, 5);
47        $writer->append(')');
48        $writer->comments($this->comments, 6);
49        $writer->append('TO');
50        $writer->comments($this->comments, 7);
51        $writer->append('(');
52        $writer->comments($this->comments, 8);
53        $this->exprList2->write($writer);
54        $writer->comments($this->comments, 9);
55        $writer->append(')');
56    }
57
58    /**
59     * Returns a copy with a new exprList, preserving every other field.
60     */
61    public function withExprList(\SqlSemantics\Statement\Model\PostgreSql\Role\ExprListForm $exprList): self
62    {
63        return new self($exprList, $this->exprList2, $this->comments);
64    }
65
66    /**
67     * Returns a copy with a new exprList2, preserving every other field.
68     */
69    public function withExprList2(\SqlSemantics\Statement\Model\PostgreSql\Role\ExprListForm $exprList2): self
70    {
71        return new self($this->exprList, $exprList2, $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->exprList, $this->exprList2, $comments);
80    }
81}
82