Module expr

Modules

agg_call 🔒

correlated_input_ref 🔒

expr_mutator 🔒

expr_rewriter 🔒

expr_visitor 🔒

function_call 🔒

function_call_with_lambda 🔒

function_impl

input_ref 🔒

literal 🔒

now 🔒

order_by_expr 🔒

parameter 🔒

pure 🔒

session_timezone 🔒

subquery 🔒

table_function 🔒

type_inference 🔒

This type inference is just to infer the return type of function calls, and make sure the functionCall expressions have same input type requirement and return type definition as backend.

user_defined_function 🔒

utils 🔒

window_function 🔒

Macros

bail_cast_error

Constructs a CastErrorInner and bails out.

cast_error

Constructs a CastErrorInner.

impl_expr_impl 🔒

impl_has_variant 🔒

Implement helper functions which recursively checks whether an variant is included in the expression. e.g., has_subquery(&self) -> bool

Structs

AggCall

CastError

The Box-wrapped type of CastErrorInner.

CastErrorInner

A stack of error messages for the cast operation.

CastSig

CollectInputRef

Collect all InputRefs’ indexes in the expression.

ColumnSelfEqualRewriter

for every (col) == (col), transform to IsNotNull(col) since in the boolean context, null = (...) will always be treated as false. note: as always, only for single column.

CorrelatedInputRef

A reference to a column outside the subquery.

CountNow

Count Nows in the expression.

ExprDisplay

FuncSign

A function signature.

FunctionCall

FunctionCallDisplay

FunctionCallWithLambda

Similar to FunctionCall, with an extra lambda function argument.

InequalityInputPair

InlineNowProcTime

Expression rewriter to inline NOW() and PROCTIME() to a literal extracted from the epoch.

InputRef

InputRefDisplay

Literal

Now

The NOW() function.

NowProcTimeFinder

OrderBy

See OrderByExpr.

OrderByExpr

A sort expression in the ORDER BY clause.

Parameter

SessionTimezone

SessionTimezone will be used to resolve session timezone-dependent casts, comparisons or arithmetic.

Subquery

Subquery expression.

TableFunction

A table function takes a row as input and returns a table. It is also known as Set-Returning Function.

TimestamptzExprFinder

UserDefinedFunction

WindowFunction

A window function performs a calculation across a set of table rows that are somehow related to the current row, according to the window spec OVER (PARTITION BY .. ORDER BY ..). One output row is calculated for each row in the input table.

Enums

CastContext

The context a cast operation is invoked in. An implicit cast operation is allowed in a context that allows explicit casts, but not vice versa. See details in PG.

ExprImpl

ExprType

TODO: move this into FunctionCall.

SubqueryKind

Constants

EXPR_DEPTH_THRESHOLD 🔒

EXPR_TOO_DEEP_NOTICE 🔒

Statics

CAST_TABLE

Traits

Expr

the trait of bound expressions

ExprMutator

with the same visit logic of ExprVisitor, but mutable.

ExprRewriter

By default, ExprRewriter simply traverses the expression tree and leaves nodes unchanged. Implementations can override a subset of methods and perform transformation on some particular types of expression.

ExprVisitor

Traverse an expression tree.

Functions

align_types

Find the least_restrictive type over a list of exprs, and add implicit cast when necessary. Used by VALUES, CASE, UNION, etc. See PG.

cast

Checks whether casting from source to target is ok in allows context. Returns an error if the cast is not possible.

cast_ok

Checks whether casting from source to target is ok in allows context.

cast_ok_base

Checks whether casting from source to target is ok in allows context. Both source and target must be base types, i.e. not struct or array.

cast_sigs

collect_input_refs

Collect all InputRefs’ indexes in the expressions.

column_self_eq_eliminate

check ColumnSelfEqualRewriter’s comment below.

default_rewrite_expr

The default implementation of ExprRewriter::rewrite_expr that simply dispatches to other methods based on the type of the expression.

default_visit_expr

The default implementation of ExprVisitor::visit_expr that simply dispatches to other methods based on the type of the expression.

factorization_expr

fold_boolean_constant

fold boolean constants in boolean exprs e.g. (A And false) Or true will become True

infer_some_all

infer_type

infer_type_name

From all available functions in sig_map, find and return the best matching FuncSign for the provided func_name and inputs. This not only support exact function signature match, but can also match substr(varchar, smallint) or even substr(varchar, unknown) to substr(varchar, int).

infer_type_with_sigmap

Infers the return type of a function. Returns Err if the function with specified data types is not supported on backend.

input_ref_to_column_indices

is_impure

is_impure_func_call

is_pure

is_row_function

push_down_not

Expand Type::Not expressions. e.g. Not(A And B) will become (Not A) Or (Not B)

rewrite_now_to_proctime

to_conjunctions

Transform a bool expression to Conjunctive form. e.g. given expression is (expr1 AND expr2 AND expr3) the function will return Vec[expr1, expr2, expr3].

to_disjunctions

Transform a bool expression to Disjunctive form. e.g. given expression is (expr1 OR expr2 OR expr3) the function will return Vec[expr1, expr2, expr3].

try_get_bool_constant

Try to get bool constant from a ExprImpl. If expr is not a ExprImpl::Literal, or the Literal is not a boolean, this function will return None. Otherwise it will return the boolean value.

Type Aliases

CorrelatedId

Depth

TableFunctionType

Alias for [Type].