github.com

classInvariant

packages/sql-semantics/src/Core/Schema/Invariant.php:16
final class Invariant
Restricted visibility: declared "@visibility SqlSemantics". Code outside that scope must not name this declaration.

Construction invariants shared by immutable catalog values.

Methods§

public static function ensure(bool $condition, string $message): void
source§

Rejects invalid public construction even when PHP assertions are disabled.

Parameters

$conditionbool
$messagestring

Throws

InvalidArgumentException When a state invariant does not hold
Called from 15
Calls 1
  • new InvalidArgumentException line 25
public static function members<T>(array<array-key, T> $members, class-string $class): void
source§

Parameters

$membersarray<array-key, T>
$classclass-string

Throws

InvalidArgumentException When the list or its members have the wrong shape Checks the runtime boundary of PHP arrays, whose item types are not enforced by PHP.
Called from 5
Calls 2
public static function names<T>(array<array-key, T> $names): void
source§

Parameters

$namesarray<array-key, T>

Throws

InvalidArgumentException When a name has the wrong type or the list has the wrong shape Requires an ordered list of names; dialects may allow empty quoted names.
Called from 4
Calls 3
public static function table(TableDefinition $table, Dialect $dialect): void
source§

Validates the names and types of a table in its state's dialect.

Parameters

$tableTableDefinition
$dialectDialect

Throws

InvalidArgumentException When column identities, types or local keys conflict
Called from 1
Calls 3

Test cases 7§

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 6

Relations§

Static calls 20