classIntegerDomain

Generation packages/sql-faker/src/Generation/Value/IntegerDomain.php:15

final class IntegerDomain
    implements ValueDomain

Constructs bounded unsigned decimals by prefix intervals, independent of native integer width.

Methods§

public function __construct(
    private string $minimum,
    private ?string $maximum,
    private int $maximumLeadingZeroes = 16,
    private bool $digitSeparators = false,
)

91%source §

Binds normalized inclusive magnitudes; leading zeroes are spelling choices, not magnitude changes.

Parameters

`$minimum`	`string`
`$maximum`	`?string`
`$maximumLeadingZeroes`	`int`
`$digitSeparators`	`bool`

Throws

InvalidArgumentException When magnitudes or padding bounds are invalid

Test cases 13

Calls 6

function-call str_repeat line 34
function-call max line 34
function-call strlen line 34
method-call IntegerDomain::normalized() line 37
function-call strcmp line 40
new InvalidArgumentException line 41

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

92%source §

Every magnitude in the interval is reachable; no sample rejection or domain enumeration is needed.

Parameters

$choose Closure(positive-int): int

Returns

string

Throws

LogicException When a caller decision makes a decimal prefix impossible

Test cases 10

Calls 4

function-call strlen line 56
function-call str_repeat line 57
function-call substr line 61
new LogicException line 65

public function normalized(string $value): bool

100%source §

Checks declaration bounds without interpreting them as machine integers.

Parameters

$value string

Returns

bool

Test cases 13

Called from 2

Calls 2

function-call strspn line 76
function-call strlen line 76

public function match(string $value, int $offset = 0): list<int>

100%source §

Parameters

`$value`	`string`
`$offset`	`int`

Returns

list<int>

Test cases 2

IntegerDomainTest::testMatchChecksMagnitudeWhilePreservingLeadingZeroesAndSeparators covers and calls
IntegerDomainTest::testMatchReadsSeparatorsOnlyWhenTheScannerAcceptsThem covers and calls

Called from 1

method-call SqlFaker\Generation\Candidate\IntegerLexemeGenerator::accepts() packages/sql-faker/src/Generation/Candidate/IntegerLexemeGenerator.php:63

Calls 3

function-call str_contains line 91
function-call ltrim line 98
method-call IntegerDomain::compare() line 100

public function compare(string $left, string $right): int

100%source §

Orders normalized magnitudes by width and then by digits.

Parameters

`$left`	`string`
`$right`	`string`

Returns

int

Test cases 3

Called from 1

method-call SqlFaker\Generation\Value\IntegerDomain::match() packages/sql-faker/src/Generation/Value/IntegerDomain.php:100

Calls 2

function-call strlen line 112
function-call strcmp line 113

Private surface 7§

Implementation details, listed for orientation only.

private positive-int $widthChoices

private positive-int $paddingChoices

private string $sampleMaximum

private string $minimum

private ?string $maximum

private int $maximumLeadingZeroes = 16

private bool $digitSeparators = false

Test cases 39§

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

Dedicated tests 14

IntegerDomainTest::testChooseAllowsTheLargestPaddingChoice covers and calls
IntegerDomainTest::testChooseCompletesDigitsBeyondTheMaximumPrefixUpToNine covers and calls
IntegerDomainTest::testChooseReachesAnInteriorValueAndCanForbidPadding covers and calls
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain calls
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain#0 covers
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain#1 covers
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain#2 covers
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain#3 covers
IntegerDomainTest::testChooseReachesBothBoundsWithoutEnumeratingTheDomain#4 covers
IntegerDomainTest::testChooseSamplesUpToSixtyFiveDigitsWhenNoMaximumIsDeclared covers and calls
IntegerDomainTest::testCompareOrdersMagnitudesWithoutMachineIntegerConversion covers and calls
IntegerDomainTest::testMatchChecksMagnitudeWhilePreservingLeadingZeroesAndSeparators covers and calls
IntegerDomainTest::testMatchReadsSeparatorsOnlyWhenTheScannerAcceptsThem covers and calls
IntegerDomainTest::testNormalizedRecognizesCanonicalDeclarationBounds covers and calls

Other tests reaching this symbol 25

IntegerLexemeGeneratorTest calls
LexicalExceptionTest calls
CharacterDomainTest calls
ChoiceDomainTest calls
SequenceDomainTest::testChooseConstructsAProductWithoutEnumeratingItsMembers calls
ValueChoicesTest calls
ValueDomainTest calls
GenerationContextTest calls
BoundedIntegerLexemeGeneratorTest calls
CharsetLexemeGeneratorTest calls
CharsetValueLexemeGeneratorTest calls
DefinitionFactoryTest calls
PrecisionLexemeGeneratorTest calls
SizeNumberLexemeGeneratorTest calls
LexicalGrammarTest calls
MySqlProviderTest calls
GenerationContextTest calls
DefinitionFactoryTest calls
LexicalGrammarTest calls
PostgreSqlProviderTest calls
SqlGeneratorFactoryTest calls
GenerationContextTest calls
DefinitionFactoryTest calls
LexicalGrammarTest calls
SqliteProviderTest calls

Relations§

Instantiated in 5

Method calls 1

method-call SqlFaker\Generation\Candidate\IntegerLexemeGenerator::accepts() packages/sql-faker/src/Generation/Candidate/IntegerLexemeGenerator.php:63