Module com.darkcollective.relix.semantic
Package com.darkcollective.relix.semantic.internal

Class SemanticValidator

java.lang.Object
com.darkcollective.relix.semantic.internal.SemanticValidator
public final class SemanticValidator extends Object
Orchestrates the validation pass (Phase 5 of semantic analysis).

The validator runs after schema inference (Phase 4) so that it can use the fully-populated SchemaAnnotations map to check cross-schema constraints without re-deriving schemas.

Checks performed

  1. Named query target resolution — every query Name; statement must reference a symbol that is registered in the symbol table.
  2. Relational algebra tree validation — every QueryRelationSymbol body and every inline ExpressionQueryTarget expression is passed to a RelAlgebraValidator which checks:
    • Set-operation schema compatibility (equal width and compatible types)
    • Division column-subset validity
    • Projection attribute existence and function arity
    • Aggregation group-by and aggregate attribute existence
    • Sort attribute existence

All errors are accumulated; the validator never throws.