hub / github.com/dolthub/doltgresql / TypeCheck

Method TypeCheck

postgres/parser/sem/tree/expr.go:61–61 · view source on GitHub ↗

TypeCheck transforms the Expr into a well-typed TypedExpr, which further permits evaluation and type introspection, or an error if the expression cannot be well-typed. When type checking is complete, if no error was reported, the expression and all sub-expressions will be guaranteed to be well-typed

(ctx context.Context, semaCtx *SemaContext, desired *types.T)

Source from the content-addressed store, hash-verified

59	// desired. This restriction is also true of most methods and functions related
60	// to type checking.
61	TypeCheck(ctx context.Context, semaCtx SemaContext, desired types.T) (TypedExpr, error)
62	}
63
64	// TypedExpr represents a well-typed expression.

Callers 15

ResolveAsTypeMethod · 0.65

TypeCheckMethod · 0.65

Implementers 15

UnresolvedNamepostgres/parser/sem/tree/name_part.go

FunctionColumnpostgres/parser/sem/tree/create_functi

AndExprpostgres/parser/sem/tree/expr.go

OrExprpostgres/parser/sem/tree/expr.go

BinaryExprpostgres/parser/sem/tree/expr.go

ParenExprpostgres/parser/sem/tree/expr.go

Subquerypostgres/parser/sem/tree/expr.go

FuncExprpostgres/parser/sem/tree/expr.go

ComparisonExprpostgres/parser/sem/tree/expr.go

CastExprpostgres/parser/sem/tree/expr.go

Arraypostgres/parser/sem/tree/expr.go

Tuplepostgres/parser/sem/tree/expr.go

Calls

no outgoing calls

Tested by

no test coverage detected