classLexemeConstraint

packages/sql-faker/src/Generation/Plan/LexemeConstraint.php:20

final class LexemeConstraint

Public API: explicitly declared with @visibility public.

A constructive set of token spellings, independent of their position in a statement.

Constrain an identifier without fixing other identifiersdoctest

$names = \SqlFaker\Generation\Plan\LexemeConstraint::oneOf('users', 'orders');
    $names->accepts('users') // => true
    $names->accepts('products') // => false

Methods§

public function __construct(
    private list<string> $values,
    private int $minimum = 0,
    private int $maximum = PHP_INT_MAX,
)

source §

An empty spelling set selects the integer interval instead.

Parameters

`$values`	`list<string>`
`$minimum`	`int`
`$maximum`	`int`

Throws

InvalidArgumentException When the integer interval is empty or negative

Calls 1

new InvalidArgumentException line 30

public static function oneOf(string $first, string ...$others): self

source §

Keeps every supplied spelling reachable, including quoted names and literals.

Parameters

`$first`	`string`
`$others`	`string`

Returns

self

Test cases 21

Calls 3

new self line 39
function-call array_values line 39
function-call array_unique line 39

public static function integers(int $minimum, int $maximum): self

source §

Bounds an unsigned integer token; signs remain part of the surrounding grammar.

Parameters

`$minimum`	`int`
`$maximum`	`int`

Returns

self

Throws

InvalidArgumentException When the interval is empty or negative

Test cases 7

Called from 1

static-call SqlFaker\Generation\Plan\LexemeConstraint::intersect() packages/sql-faker/src/Generation/Plan/LexemeConstraint.php:87

Calls 1

new self line 48

public function choose(Closure(positive-int): int $choose): string

source §

Parameters

$choose Closure(positive-int): int

Returns

string

Test cases 1

LexemeConstraintTest::testChooseDefaultIntegerDomainIncludesZero calls

Calls 3

function-call count line 57
method-call IntegerDomain::choose() line 59
new IntegerDomain line 59

public function accepts(string $value): bool

source §

Checks an exact spelling without coercing quoted strings into numbers.

Parameters

$value string

Returns

bool

Called from 1

method-call SqlFaker\Generation\Plan\LexemeConstraint::intersect() packages/sql-faker/src/Generation/Plan/LexemeConstraint.php:81

Calls 4

function-call in_array line 68
new IntegerDomain line 70
function-call strlen line 71
method-call IntegerDomain::match() line 71

public function intersect(self $other): self

source §

Intersects conditions constructively, without generating and rejecting samples.

Parameters

$other self

Returns

self

Throws

InvalidArgumentException When the conditions have no common spelling

Calls 9

function-call array_values line 81
function-call array_filter line 81
method-call LexemeConstraint::accepts() line 81
method-call self::accepts() line 81
new InvalidArgumentException line 83
new self line 85
static-call LexemeConstraint::integers() line 87
function-call max line 87
function-call min line 87

Private surface 3§

Implementation details, listed for orientation only.

private list<string> $values

private int $minimum = 0

private int $maximum = PHP_INT_MAX

Test cases 25§

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

Dedicated tests 8

Other tests reaching this symbol 17

Relations§

Type declarations 2