Enum SemScalarExpr 

pub enum SemScalarExpr {
    Array(ArrayExpr),
    Const(ScalarConstExpr),
    ColumnRef(ColumnReferenceExpr),
    FuncCall(FuncCallExpr),
    Arith(ArithExpr),
    TypeCast(TypeCastExpr),
    Case(CaseExpr),
    Boolean(BooleanExpr),
    NullTest(NullTestExpr),
    SubLink(SubLinkExpr),
    Coalesce(CoalesceExpr),
    MinMax(MinMaxExpr),
    Collate(CollateExpr),
    SqlValue(SqlValueExpr),
    Param(ParamRef),
    NamedArg(NamedArgExpr),
    Indirection(IndirectionExpr),
    ImplicitCast(ImplicitCastExpr),
    Unexpected(String),
}

scalar explation in semantic ast

Variants

Array(ArrayExpr)

array expression

Const(ScalarConstExpr)

const expression

ColumnRef(ColumnReferenceExpr)

column reference expression

FuncCall(FuncCallExpr)

function call expression

Arith(ArithExpr)

arith expression

TypeCast(TypeCastExpr)

type casting expression

Case(CaseExpr)

cast expression

Boolean(BooleanExpr)

boolean expression

NullTest(NullTestExpr)

null test expression

SubLink(SubLinkExpr)

sub-query expression

Coalesce(CoalesceExpr)

calesce expression

MinMax(MinMaxExpr)

min-max expressions

Collate(CollateExpr)

collate explressions

SqlValue(SqlValueExpr)

SQL standard value expression

Param(ParamRef)

parameter reference expression

NamedArg(NamedArgExpr)

named argment expression

Indirection(IndirectionExpr)

indirectrion expression

ImplicitCast(ImplicitCastExpr)

implicit cast expression

Note

ImplicitCast is not in Syntax level AST.

sql-fun inserts implicit cast at a implicit coversion as needed.

Unexpected(String)

Unexpected syntax node in expression

Implementations

impl SemScalarExpr

pub fn get_type(&self) -> Option<TypeReference>

determine expresion value type

pub fn is_not_null(&self) -> Option<bool>

determine expression value is nullable

impl SemScalarExpr

pub fn get_column_def(&self) -> Option<ColumnDefinition>

get column definition

pub fn get_column_name(&self) -> String

get column name

impl SemScalarExpr

pub fn wrap_implicit_cast( taget_type: &TypeReference, value_expr: &SemScalarExpr, ) -> Self

convert value_expr with implicit casting

impl SemScalarExpr

pub fn implicit_cast_if_require<TParseContext>( context: &mut TParseContext, result_type: &TypeReference, expr: &mut SemScalarExpr, ) -> Result<(), AnalysisError>

where TParseContext: ParseContext,

convert expression type with implicit cast

impl SemScalarExpr

pub fn require_array<TParseContext>( &self, context: &mut TParseContext, ) -> Result<(), AnalysisError>

where TParseContext: ParseContext,

test expression is array and report

impl SemScalarExpr

pub fn fits_array_index<TParseContext>( &self, context: &mut TParseContext, ) -> Result<(), AnalysisError>

where TParseContext: ParseContext,

test fits array index

Trait Implementations

impl Clone for SemScalarExpr

fn clone(&self) -> SemScalarExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemScalarExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SemScalarExpr

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&SemScalarExpr> for IndexElement

fn from(value: &SemScalarExpr) -> Self

Converts to this type from the input type.

impl Hash for SemScalarExpr

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 SemScalarExpr

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for SemScalarExpr

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 SemScalarExpr

impl StructuralPartialEq for SemScalarExpr