classObjectTerm

packages/sql-catalog/src/Core/Evaluation/ObjectTerm.php:24

final class ObjectTerm
    implements Term

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

An object the analyzer tracked by class.

An enum case carries the case name, which resolves ->value to a literal. A prepared statement carries the identifier of the catalog entry it came from, which is how a later execute() finds the query it binds values to. Modelled builders also carry an allocation identity and immutable state, so aliases observe mutations.

Properties§

public string $className

source §

public string|null $enumCase = null

source §

public string|null $statementId = null

source §

public string|null $identity = null

source §

public ArrayTerm|null $state = null

source §

Methods§

public function __construct(
    public string $className,
    public string|null $enumCase = null,
    public string|null $statementId = null,
    public string|null $identity = null,
    public ArrayTerm|null $state = null,
)

source §

Parameters

`$className`	`string`	The fully qualified class name, without a leading backslash
`$enumCase`	`string\|null`	The case name when the object is an enum case
`$statementId`	`string\|null`	The catalog entry a prepared statement belongs to
`$identity`	`string\|null`	The allocation followed across aliases
`$state`	`ArrayTerm\|null`	The immutable properties of a modelled object

public function toPattern(): TextPattern

source §

An object never resolves to text, so it becomes a gap.

Returns

TextPattern

Test cases 2

Calls 4

static-call TextPattern::fromHole() line 48
new TextHole line 48
class-const Origin::Unresolved() line 48
method-call ObjectTerm::type() line 48

public function type(): TypeShape

source §

The class of the object.

Returns

TypeShape

Test cases 1

ObjectTermTest::testTypeIsTheClass calls

Called from 1

method-call SqlCatalog\Core\Evaluation\ObjectTerm::toPattern() packages/sql-catalog/src/Core/Evaluation/ObjectTerm.php:48

Calls 1

static-call TypeShape::of() line 57

public function signature(): string

source §

The class, and the case or statement it stands for.

Returns

string

Test cases 4

Test cases 66§

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

Dedicated tests 5

Other tests reaching this symbol 61

Relations§

Instantiated in 20

Type checks 16

Type declarations 12