packages/sql-semantics-sqlite/resources/models/Value/CconsWithDefaultScantokId_263f0ac8.php

1<?php
2
3declare(strict_types=1);
4
5namespace SqlSemantics\Statement\Model\Sqlite\Value;
6
7/**
8 * The ccons 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\CconsWithDefaultScantokId_263f0ac8 $value): string => \SqlSemantics\Statement\Writer::render($value);
13 *     $write instanceof \Closure // => true
14 */
15final class CconsWithDefaultScantokId_263f0ac8 implements \SqlSemantics\Statement\Model\Sqlite\Role\CconsForm
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\ScantokForm $scantok,
24        public readonly string $id,
25        public readonly \SqlSemantics\Statement\Comments $comments = new \SqlSemantics\Statement\Comments(),
26    ) {
27        $this->assert(\SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::contains($scantok), 'The scantok must be a generated immutable SQL value.');
28        $this->assertMatchesPattern($id, \SqlSemantics\Statement\Model\Sqlite\Contract\Contracts::SPELLINGS['id'], 'The id must be a complete id lexical spelling.');
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('DEFAULT');
38        $writer->comments($this->comments, 1);
39        $this->scantok->write($writer);
40        $writer->comments($this->comments, 2);
41        $writer->append($this->id);
42    }
43
44    /**
45     * Returns a copy with a new scantok, preserving every other field.
46     */
47    public function withScantok(\SqlSemantics\Statement\Model\Sqlite\Role\ScantokForm $scantok): self
48    {
49        return new self($scantok, $this->id, $this->comments);
50    }
51
52    /**
53     * Returns a copy with a new id, preserving every other field.
54     */
55    public function withId(string $id): self
56    {
57        return new self($this->scantok, $id, $this->comments);
58    }
59
60    /**
61     * Returns a copy with a new comments, preserving every other field.
62     */
63    public function withComments(\SqlSemantics\Statement\Comments $comments): self
64    {
65        return new self($this->scantok, $this->id, $comments);
66    }
67}
68