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

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\MySql\Value;
6
7/**
8 * The undo_tablespace_option_list 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\UndoTablespaceOptionListWithUndoTablespaceOptionListOptCommaUndoTablespaceOption_2c6d0b06 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class UndoTablespaceOptionListWithUndoTablespaceOptionListOptCommaUndoTablespaceOption_2c6d0b06 implements \SqlSemantics\Statement\Model\MySql\Role\OptUndoTablespaceOptionsForm, \SqlSemantics\Statement\Model\MySql\Role\UndoTablespaceOptionListForm
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\UndoTablespaceOptionListForm $undoTablespaceOptionList,
24        public readonly \SqlSemantics\Statement\Model\MySql\Role\OptCommaForm $optComma,
25        public readonly \SqlSemantics\Statement\Model\MySql\Role\UndoTablespaceOptionForm $undoTablespaceOption,
26        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
27    ) {
28        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($undoTablespaceOptionList), 'The undoTablespaceOptionList must be a generated immutable SQL value.');
29        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($optComma), 'The optComma must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($undoTablespaceOption), 'The undoTablespaceOption 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        $this->undoTablespaceOptionList->write($writer);
40        $writer->comments($this->comments, 1);
41        $this->optComma->write($writer);
42        $writer->comments($this->comments, 2);
43        $this->undoTablespaceOption->write($writer);
44    }
45
46    /**
47     * Returns a copy with a new undoTablespaceOptionList, preserving every other field.
48     */
49    public function withUndoTablespaceOptionList(\SqlSemantics\Statement\Model\MySql\Role\UndoTablespaceOptionListForm $undoTablespaceOptionList): self
50    {
51        return new self($undoTablespaceOptionList, $this->optComma, $this->undoTablespaceOption, $this->comments);
52    }
53
54    /**
55     * Returns a copy with a new optComma, preserving every other field.
56     */
57    public function withOptComma(\SqlSemantics\Statement\Model\MySql\Role\OptCommaForm $optComma): self
58    {
59        return new self($this->undoTablespaceOptionList, $optComma, $this->undoTablespaceOption, $this->comments);
60    }
61
62    /**
63     * Returns a copy with a new undoTablespaceOption, preserving every other field.
64     */
65    public function withUndoTablespaceOption(\SqlSemantics\Statement\Model\MySql\Role\UndoTablespaceOptionForm $undoTablespaceOption): self
66    {
67        return new self($this->undoTablespaceOptionList, $this->optComma, $undoTablespaceOption, $this->comments);
68    }
69
70    /**
71     * Returns a copy with a new comments, preserving every other field.
72     */
73    public function withComments(\SqlSemantics\Statement\Comments $comments): self
74    {
75        return new self($this->undoTablespaceOptionList, $this->optComma, $this->undoTablespaceOption, $comments);
76    }
77}
78