Enum kip_sql::expression::ScalarExpression

pub enum ScalarExpression {
    Constant(ValueRef),
    ColumnRef(Arc<ColumnCatalog>),
    Alias {
        expr: Box<ScalarExpression>,
        alias: String,
    },
    TypeCast {
        expr: Box<ScalarExpression>,
        ty: LogicalType,
    },
    IsNull {
        negated: bool,
        expr: Box<ScalarExpression>,
    },
    Unary {
        op: UnaryOperator,
        expr: Box<ScalarExpression>,
        ty: LogicalType,
    },
    Binary {
        op: BinaryOperator,
        left_expr: Box<ScalarExpression>,
        right_expr: Box<ScalarExpression>,
        ty: LogicalType,
    },
    AggCall {
        distinct: bool,
        kind: AggKind,
        args: Vec<ScalarExpression>,
        ty: LogicalType,
    },
    In {
        negated: bool,
        expr: Box<ScalarExpression>,
        args: Vec<ScalarExpression>,
    },
}

ScalarExpression represnet all scalar expression in SQL. SELECT a+1, b FROM t1. a+1 -> ScalarExpression::Unary(a + 1) b -> ScalarExpression::ColumnRef()

Variants

Constant(ValueRef)

ColumnRef(Arc<ColumnCatalog>)

Alias

Fields

expr: Box<ScalarExpression>

alias: String

TypeCast

Fields

expr: Box<ScalarExpression>

ty: LogicalType

IsNull

Fields

negated: bool

expr: Box<ScalarExpression>

Unary

Fields

op: UnaryOperator

expr: Box<ScalarExpression>

ty: LogicalType

Binary

Fields

op: BinaryOperator

left_expr: Box<ScalarExpression>

right_expr: Box<ScalarExpression>

ty: LogicalType

AggCall

Fields

distinct: bool

kind: AggKind

args: Vec<ScalarExpression>

ty: LogicalType

In

Fields

negated: bool

expr: Box<ScalarExpression>

args: Vec<ScalarExpression>

Implementations

impl ScalarExpression

pub fn eval(&self, tuple: &Tuple) -> Result<ValueRef, TypeError>

impl ScalarExpression

pub fn exist_column(&self, col_id: &ColumnId) -> bool

pub fn simplify(&mut self) -> Result<(), TypeError>

pub fn constant_calculation(&mut self) -> Result<(), TypeError>

pub fn convert_binary( &self, col_id: &ColumnId ) -> Result<Option<ConstantBinary>, TypeError>

The definition of Or is not the Or in the Where condition. The And and Or of ConstantBinary are concerned with the data range that needs to be aggregated.

• ConstantBinary::And: Aggregate the minimum range of all conditions in and
• ConstantBinary::Or: Rearrange and sort the range of each OR data

impl ScalarExpression

pub fn unpack_alias(&self) -> &ScalarExpression

pub fn has_count_star(&self) -> bool

pub fn nullable(&self) -> bool

pub fn return_type(&self) -> LogicalType

pub fn referenced_columns( &self, only_column_ref: bool ) -> Vec<Arc<ColumnCatalog>>

pub fn has_agg_call(&self) -> bool

pub fn output_column(&self) -> Arc<ColumnCatalog>

Trait Implementations

impl Clone for ScalarExpression

fn clone(&self) -> ScalarExpression

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ScalarExpression

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ScalarExpression

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ScalarExpression

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ScalarExpression

fn eq(&self, other: &ScalarExpression) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ScalarExpression

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ScalarExpression

impl StructuralEq for ScalarExpression

impl StructuralPartialEq for ScalarExpression