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

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\MySql\Value;
6
7/**
8 * The xa 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\XaWithXaSymBeginOrStartXidOptJoinOrResume_d0ed05c5 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class XaWithXaSymBeginOrStartXidOptJoinOrResume_d0ed05c5 implements \SqlSemantics\Statement\Model\MySql\Role\EvSqlStmtForm, \SqlSemantics\Statement\Model\MySql\Role\EvSqlStmtInnerForm, \SqlSemantics\Statement\Model\MySql\Role\SimpleStatementForm, \SqlSemantics\Statement\Model\MySql\Role\SimpleStatementOrBeginForm, \SqlSemantics\Statement\Model\MySql\Role\SpProcStmtForm, \SqlSemantics\Statement\Model\MySql\Role\SpProcStmtStatementForm, \SqlSemantics\Statement\Model\MySql\Role\StatementForm, \SqlSemantics\Statement\Model\MySql\Role\StoredRoutineBodyForm, \SqlSemantics\Statement\Model\MySql\Role\VerbClauseForm, \SqlSemantics\Statement\Model\MySql\Role\XaForm, \SqlSemantics\Statement\Command
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\BeginOrStartForm $beginOrStart,
24        public readonly \SqlSemantics\Statement\Model\MySql\Role\XidForm $xid,
25        public readonly \SqlSemantics\Statement\Model\MySql\Role\OptJoinOrResumeForm $optJoinOrResume,
26        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
27    ) {
28        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($beginOrStart), 'The beginOrStart must be a generated immutable SQL value.');
29        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($xid), 'The xid must be a generated immutable SQL value.');
30        $this->assert(\SqlSemantics\Statement\Model\MySql\Contract\Contracts::contains($optJoinOrResume), 'The optJoinOrResume 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('XA');
40        $writer->comments($this->comments, 1);
41        $this->beginOrStart->write($writer);
42        $writer->comments($this->comments, 2);
43        $this->xid->write($writer);
44        $writer->comments($this->comments, 3);
45        $this->optJoinOrResume->write($writer);
46    }
47
48    /**
49     * Returns a copy with a new beginOrStart, preserving every other field.
50     */
51    public function withBeginOrStart(\SqlSemantics\Statement\Model\MySql\Role\BeginOrStartForm $beginOrStart): self
52    {
53        return new self($beginOrStart, $this->xid, $this->optJoinOrResume, $this->comments);
54    }
55
56    /**
57     * Returns a copy with a new xid, preserving every other field.
58     */
59    public function withXid(\SqlSemantics\Statement\Model\MySql\Role\XidForm $xid): self
60    {
61        return new self($this->beginOrStart, $xid, $this->optJoinOrResume, $this->comments);
62    }
63
64    /**
65     * Returns a copy with a new optJoinOrResume, preserving every other field.
66     */
67    public function withOptJoinOrResume(\SqlSemantics\Statement\Model\MySql\Role\OptJoinOrResumeForm $optJoinOrResume): self
68    {
69        return new self($this->beginOrStart, $this->xid, $optJoinOrResume, $this->comments);
70    }
71
72    /**
73     * Returns a copy with a new comments, preserving every other field.
74     */
75    public function withComments(\SqlSemantics\Statement\Comments $comments): self
76    {
77        return new self($this->beginOrStart, $this->xid, $this->optJoinOrResume, $comments);
78    }
79}
80