namespaceSqlSemantics\Core\Binding

Classes 14§

BoundRelation @visibility SqlSemanticsA relation and the namespace visible above it.
ExpressionBinder @visibility SqlSemanticsLowers scalar grammar nodes by their tree structure, preserving expression boundaries.
ExpressionRules @visibility SqlSemanticsAssigns types and NULL facts to supported scalar operations.
FromBinder @visibility SqlSemanticsBinds relation trees, keeping ON visibility and NULL extension at their correct stages.
IdentitySequence @visibility SqlSemanticsAllocates deterministic occurrence identities for one bound statement.
LiteralBinder @visibility SqlSemanticsInterprets literal categories from lexer terminals, preserving their SQL spelling.
NullFacts @visibility SqlSemanticsConservative SQL NULL propagation, distinct from evaluating actual values.
ProjectionBinder @visibility SqlSemanticsBinds output expressions and expands stars in declaration order.
Scope @visibility SqlSemanticsA relation namespace and NULL-extension facts at one evaluation stage.
SelectBinder @visibility SqlSemanticsBuilds a logical SELECT with separate matching, filtering, and projection stages.
SelectModifiersBinder @visibility SqlSemanticsReads ordering and pagination without confusing output aliases with input names.
SyntaxGuard @visibility SqlSemanticsRefuses semantic constructs that this implementation cannot account for.
TableResolver @visibility SqlSemanticsResolves a qualified table name against an explicit schema snapshot.
TypeResolution @visibility SqlSemanticsResolves the supported built-in common types; unknown coercions are rejected.