public function __construct(
    public string $id,
    public StatementKind $kind,
    public TextPattern $pattern,
    public list<string> $tables,
    public list<Placeholder> $placeholders,
    public CallSite $site,
    public list<Finding> $findings,
    public bool $correlated = true,
    public list<string> $through = [],
    public bool $truncated = false,
    public bool $siteClosed = true,
)

source §

Parameters

`$id`	`string`	The identifier the statement keeps across runs
`$kind`	`StatementKind`	What the statement does
`$pattern`	`TextPattern`	The statement text, with a gap wherever a value is spliced in
`$tables`	`list<string>`	The tables the statement names
`$placeholders`	`list<Placeholder>`	The bind parameters, in order
`$site`	`CallSite`	Where the statement is issued
`$findings`	`list<Finding>`	What is worth reporting about the statement
`$correlated`	`bool`	Whether values kept their structural pairing, without a reachability guarantee
`$through`	`list<string>`	The path taken to this reading, from the body the walk started in, outermost first
`$truncated`	`bool`	Whether a bound — on loop passes, callers or ways in — cut the search short of every way the statement can be
`$siteClosed`	`bool`	Whether every sibling candidate at this call site has closed dependencies

public function resolution(): Resolution

source §

How far the analyzer got with the statement, and why it got no further.

Returns

Resolution

Test cases 5

Called from 14

Calls 1

static-call Resolution::of() line 50

public function searchClosed(): bool

source §

Whether the analyzer followed every way the statement can be to its end.

A statement whose text reached runtime input is closed: the trail was followed as far as it goes. One cut short by a budget, or by a limit on how many loop passes or callers are followed, is not, however much of its text resolved. An unresolved sibling keeps the entire call site open. Closure never guarantees that a candidate is reachable at runtime.

Returns

bool

Test cases 7

Called from 4

Calls 1

method-call CatalogEntry::resolution() line 64

public function sql(): string

source §

The statement text, with every gap shown as {$}.

Returns

string

Test cases 21

Called from 2

Calls 1

method-call TextPattern::display() line 72

public function parts(): list<StatementPart>

source §

The statement as the parts it is known in: runs of text and the gaps between them.

Returns

list<StatementPart>

Test cases 1

CatalogEntryTest::testPartsAreTheRunsAndGapsTheStatementIsKnownIn calls

Called from 5

Calls 1

static-call StatementPart::of() line 82

public function firstGap(): ?StatementPart

source §

The first gap in the statement, or null when there is none.

Returns

?StatementPart

Test cases 1

CatalogEntryTest::testFirstGapIsTheFirstOneOrNothingWhenThereIsNone calls

Called from 2

Calls 1

method-call CatalogEntry::parts() line 90

public function isExact(): bool

source §

Whether every character of the statement is known.

Returns

bool

Test cases 3

Called from 1

method-call SqlCatalog\Reporter\Json\JsonReporter::entryToArray() packages/sql-catalog/src/Reporter/Json/JsonReporter.php:171

Calls 1

method-call TextPattern::isExact() line 104

public function severity(): Severity

source §

The highest severity among the findings, or Info when there are none.

Returns

Severity

Test cases 2

Called from 5

Calls 1

class-const Severity::Info() line 112

public function hasFinding(FindingRule $rule): bool

source §

Whether the statement carries a finding of the given rule.

Parameters

$rule FindingRule

Returns

bool

Test cases 1

CatalogEntryTest::testHasFindingLooksForOneRule calls

Test cases 201§

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

Dedicated tests 10

Other tests reaching this symbol 191

Relations§

Instantiated in 2

Method calls 31

Type declarations 37