github.com

classOpaqueTerm

packages/sql-catalog/src/Core/Evaluation/OpaqueTerm.php:18
final class OpaqueTerm
    implements Term
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

A value the analyzer knows only by its type and where it came from.

Properties§

public TypeShape $type
source§
public Origin $origin
source§
public string|null $expression = null
source§
public string|null $variable = null
source§

Methods§

public function __construct(
    public TypeShape $type,
    public Origin $origin,
    public string|null $expression = null,
    public string|null $variable = null,
)
source§

Parameters

$typeTypeShapeThe static type of the value
$originOriginWhere the value enters the analyzed code
$expressionstring|nullThe source expression, when short enough to quote
$variablestring|nullThe PHP variable read at the use site, when known
public static function unresolved(?string $expression = null): self
source§

A value of unknown type from an unresolved expression.

Parameters

$expression?string

Returns

self
Test cases 3
Called from 1
Calls 3
public function toPattern(): TextPattern
source§

The gap this value leaves in any string it is spliced into.

Returns

TextPattern
Test cases 1
Calls 2
public function type(): TypeShape
source§

The static type recorded for the value.

Returns

TypeShape
Test cases 1
public function signature(): string
source§

The type and origin, which is all that distinguishes opaque values.

Returns

string
Test cases 1
Calls 1

Test cases 75§

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

Dedicated tests 4
Other tests reaching this symbol 71

Relations§

Instantiated in 4
Static calls 1
Type checks 8