packages/sql-semantics-mysql/resources/models/Value/PartDefinitionWithPartitionSymPartNameOptPartValuesOptPartOptionsOptSubPartition_d06fb090.php

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\MySql\Value;
6
7/**
8 * The part_definition 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\MySql\Value\PartDefinitionWithPartitionSymPartNameOptPartValuesOptPartOptionsOptSubPartition_d06fb090 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class PartDefinitionWithPartitionSymPartNameOptPartValuesOptPartOptionsOptSubPartition_d06fb090 implements \SqlSemantics\Statement\Model\MySql\Role\PartDefListForm, \SqlSemantics\Statement\Model\MySql\Role\PartDefinitionForm
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\MySql\Role\PartNameForm $partName,
24        public readonly \SqlSemantics\Statement\Model\MySql\Role\OptPartValuesForm $optPartValues,
25        public readonly \SqlSemantics\Statement\Model\MySql\Role\OptPartOptionsForm $optPartOptions,
26        public readonly \SqlSemantics\Statement\Model\MySql\Role\OptSubPartitionForm $optSubPartition,
27        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
28    ) {
29        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($partName), 'The partName must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($optPartValues), 'The optPartValues must be a generated immutable SQL value.');
31        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($optPartOptions), 'The optPartOptions must be a generated immutable SQL value.');
32        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($optSubPartition), 'The optSubPartition 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('PARTITION');
42        $writer->comments($this->comments, 1);
43        $this->partName->write($writer);
44        $writer->comments($this->comments, 2);
45        $this->optPartValues->write($writer);
46        $writer->comments($this->comments, 3);
47        $this->optPartOptions->write($writer);
48        $writer->comments($this->comments, 4);
49        $this->optSubPartition->write($writer);
50    }
51
52    /**
53     * Returns a copy with a new partName, preserving every other field.
54     */
55    public function withPartName(\SqlSemantics\Statement\Model\MySql\Role\PartNameForm $partName): self
56    {
57        return new self($partName, $this->optPartValues, $this->optPartOptions, $this->optSubPartition, $this->comments);
58    }
59
60    /**
61     * Returns a copy with a new optPartValues, preserving every other field.
62     */
63    public function withOptPartValues(\SqlSemantics\Statement\Model\MySql\Role\OptPartValuesForm $optPartValues): self
64    {
65        return new self($this->partName, $optPartValues, $this->optPartOptions, $this->optSubPartition, $this->comments);
66    }
67
68    /**
69     * Returns a copy with a new optPartOptions, preserving every other field.
70     */
71    public function withOptPartOptions(\SqlSemantics\Statement\Model\MySql\Role\OptPartOptionsForm $optPartOptions): self
72    {
73        return new self($this->partName, $this->optPartValues, $optPartOptions, $this->optSubPartition, $this->comments);
74    }
75
76    /**
77     * Returns a copy with a new optSubPartition, preserving every other field.
78     */
79    public function withOptSubPartition(\SqlSemantics\Statement\Model\MySql\Role\OptSubPartitionForm $optSubPartition): self
80    {
81        return new self($this->partName, $this->optPartValues, $this->optPartOptions, $optSubPartition, $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->partName, $this->optPartValues, $this->optPartOptions, $this->optSubPartition, $comments);
90    }
91}
92