trait Assertion
Restricted visibility: declared "@visibility SqlSemantics". Code outside that scope must not name this declaration.

Expresses the construction invariants of immutable SQL values.

Methods§

protected function assertCompleteCommand(Element $element): void

States that lowering a parser root produced a complete command.

Parameters

$elementElement
Calls 1
protected function assertImmutableValueGraph(Element $element): void

States that sharing the value graph cannot expose mutable object state.

Parameters

$elementElement
Calls 3
protected function assertMatchesPattern(
    string $value,
    string $pattern,
    string $description,
): void

States that a lexical field occupies exactly its declared spelling domain.

Parameters

$valuestring
$patternstring
$descriptionstring
Calls 2
protected function assertOperandBindingStrength(
    Element $operand,
    array<class-string<Element>, array<string, int>> $powers,
    array<string, int> $minimums,
): void

States that an unparenthesized operand preserves its parent's grouping.

Parameters

$operandElement
$powersarray<class-string<Element>, array<string, int>>
$minimumsarray<string, int>Minimum binding strength by grammar release
Calls 1

Test cases 17§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 1
Other tests reaching this symbol 16

Relations§

Used by 5446