enumResolution

packages/sql-catalog/src/Core/Catalog/Resolution.php:22

enum Resolution: string

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

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

A statement that is not pinned down is not simply "unknown". Having followed a value all the way to a request parameter is a different answer from having run out of budget, both are different from not modelling the dependency at all, and all three are different from never having looked at the call. Reporting which one it is separates what the program does from what the analyzer managed to establish.

Cases§

case Resolved = 'resolved'

source §

case ExternalInput = 'external-input'

source §

case IncompleteModel = 'incomplete-model'

source §

case Incomplete = 'incomplete'

source §

case NotAnalyzed = 'not-analyzed'

source §

Methods§

public static function of(TextPattern $pattern): self

source §

How far the analyzer got with a statement of this shape.

Parameters

$pattern TextPattern

Returns

self

Test cases 3

Called from 3

Calls 10

method-call TextPattern::holes() line 36
class-const Resolution::Resolved() line 40
function-call in_array line 42
class-const Origin::Unreached() line 42
class-const Resolution::NotAnalyzed() line 43
class-const Origin::Budget() line 45
class-const Resolution::Incomplete() line 46
class-const Origin::External() line 50
class-const Resolution::IncompleteModel() line 51
class-const Resolution::ExternalInput() line 55

public function isResolved(): bool

source §

Whether the statement text is pinned down.

Returns

bool

Calls 1

class-const Resolution::Resolved() line 63

public function isClosed(): bool

source §

Whether the analyzer closed every dependency it set out to follow.

Reaching runtime input closes the search: the trail was followed to its end and the string simply is not fixed. Running out of budget, or not modelling a dependency, leaves the search open.

Returns

bool

Calls 5

class-const Resolution::Resolved() line 76
class-const Resolution::ExternalInput() line 76
class-const Resolution::IncompleteModel() line 77
class-const Resolution::Incomplete() line 77
class-const Resolution::NotAnalyzed() line 77

public function wasRead(): bool

source §

Whether a statement was read from the call at all.

A budget and a call nothing was read from both leave the text open for a reason about the analyzer rather than about the program, so what is left is not a statement with values spliced into it and must not be reported as one.