classExpression

packages/sql-semantics/src/Core/Model/Expression.php:21

final class Expression

Public API: explicitly declared with @visibility public.

A typed expression with original syntax, occurrence-aware lineage, and NULL provenance.

Accept this semantic value in a database-independent consumerdoctest

$consume = static fn (\SqlSemantics\Core\Model\Expression $value): string => $value::class;
    $consume instanceof \Closure // => true

Properties§

public ExpressionKind $kind

source §

public TypeDescriptor $type

source §

public Nullability $nullability

source §

public Node|Token $source

source §

public list<Expression> $operands = []

source §

public ColumnBinding|null $binding = null

source §

public string|null $symbol = null

source §

public list<string> $nullExtendedBy = []

source §

Methods§

public function __construct(
    public ExpressionKind $kind,
    public TypeDescriptor $type,
    public Nullability $nullability,
    public Node|Token $source,
    public list<Expression> $operands = [],
    public ColumnBinding|null $binding = null,
    public string|null $symbol = null,
    public list<string> $nullExtendedBy = [],
)

source §

Parameters

`$kind`	`ExpressionKind`	Semantic operation
`$type`	`TypeDescriptor`	Result type
`$nullability`	`Nullability`	Conservative NULL fact at this evaluation stage
`$source`	`Node\|Token`	Original syntax object, never a reparsed copy
`$operands`	`list<Expression>`	Ordered inputs to the operation
`$binding`	`ColumnBinding\|null`	Resolved declaration for a column reference
`$symbol`	`string\|null`	Operator, parameter name, or literal spelling
`$nullExtendedBy`	`list<string>`	Join IDs that can introduce NULL into this result

public function lineage(): list<ColumnBinding>

source §

Collects value dependencies without collapsing separate uses of the same table.

Returns

list<ColumnBinding> Unique relation-and-column bindings in encounter order

Calls 2

function-call array_push line 54
function-call array_values line 61

Test cases 68§

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

Dedicated tests 1

ExpressionTest calls

Other tests reaching this symbol 67

SchemaAnalyzerTest calls
ColumnPropertiesTest calls
ColumnReaderTest calls
ConstraintReaderTest calls
IdentifiersTest calls
SchemaChangesTest calls
SchemaReaderTest calls
StatementListTest calls
TokenGroupsTest calls
TreeTest calls
TypeReaderTest calls
BinderTest calls
BoundRelationTest calls
ExpressionBinderTest calls
ExpressionRulesTest calls
FromBinderTest calls
IdentitySequenceTest calls
LiteralBinderTest calls
NullFactsTest::testStrictAndCoalesceFacts calls
ProjectionBinderTest calls
ScopeTest calls
SelectBinderTest calls
SelectModifiersBinderTest calls
SyntaxGuardTest calls
TableResolverTest calls
TypeResolutionTest calls
DialectTest calls
BoundSelectTest calls
ColumnBindingTest calls
ExpressionKindTest calls
JoinKindTest calls
JoinTest calls
OrderingTest calls
OutputColumnTest calls
TableUseTest calls
PlatformTest calls
NameRulesTest calls
QueryRulesTest calls
SchemaRulesTest calls
SyntaxRulesTest calls
TypeRulesTest::testArithmeticRetainsLanguageSemantics calls
TypeRulesTest::testCoalescePreservesOperands calls
TypeRulesTest::testCommonPreservesHomogeneousType calls
TypeRulesTest::testPredicateAcceptsBooleanResults calls
TypeRulesTest::testProjectPreservesTypedValues calls
ColumnDefinitionTest calls
ColumnGenerationTest calls
ConstraintKindTest calls
GenerationKindTest calls
InvariantTest calls
TableConstraintTest calls
TableDefinitionTest calls
SchemaBuilderTest calls
SchemaTest calls
SemanticExceptionTest calls
NullabilityTest calls
TypeDescriptorTest calls
SchemaTest calls
NameRulesTest calls
PlatformTest calls
QueryRulesTest calls
SchemaRulesTest calls
TypeRulesTest::testArithmeticRetainsLanguageSemantics calls
TypeRulesTest::testCoalescePreservesOperands calls
TypeRulesTest::testCommonPreservesHomogeneousType calls
TypeRulesTest::testPredicateAcceptsBooleanResults calls
TypeRulesTest::testProjectPreservesTypedValues calls

Relations§

Instantiated in 7

Type declarations 26