Enum AnalysisProblem 

pub enum AnalysisProblem {
    NameResolution(NameResolution),
    OverloadResolution(OverloadResolution),
    ExtensionNotFound(String),
    NullabilityUnknown(String),
    ArgumentTypeMissmatch(FullName, usize),
    DuplicateDefElemKey(DefElemKey),
    ExplicitCastNotDefined(TypeReference, TypeReference),
    CoalesceExprTypeUnknown(Vec<SemScalarExpr>),
    ExpressionTypeNotKnown(SemScalarExpr),
    UndefinedOperator(AExprKind, OperatorName, Option<SemScalarExpr>, Option<SemScalarExpr>),
    RequireArray(SemScalarExpr, TypeReference),
    SubQueryNotHaveColumnForDerivedColumnName(),
    IncompatibleCaseValues(HashSet<TypeReference>),
    CaseWhenExprTypeUnknown(SemScalarExpr),
    ArrayIndexTypeMissmatch(SemScalarExpr, TypeReference),
    MemberAccessRequiresCompositeType(FullName, String),
    FunctionArgImplicitCastNotFound(FullName, usize, TypeDefinition, SemScalarExpr),
    ImplicitCastNotFound(TypeReference, TypeReference),
}

Semantic analysis problems

Variants

NameResolution(NameResolution)

Name resolution problems

OverloadResolution(OverloadResolution)

Overload resolution problems

ExtensionNotFound(String)

extension not found

NullabilityUnknown(String)

can not to guess nullablity

ArgumentTypeMissmatch(FullName, usize)

Argument type missmatch

DuplicateDefElemKey(DefElemKey)

duplicate def elem key

ExplicitCastNotDefined(TypeReference, TypeReference)

explicit cast not defined

CoalesceExprTypeUnknown(Vec<SemScalarExpr>)

Coalesce expr type unknown

ExpressionTypeNotKnown(SemScalarExpr)

Expression type not known

UndefinedOperator(AExprKind, OperatorName, Option<SemScalarExpr>, Option<SemScalarExpr>)

Operator Not Defined

RequireArray(SemScalarExpr, TypeReference)

Array Required

SubQueryNotHaveColumnForDerivedColumnName()

sub query not have a derived column

IncompatibleCaseValues(HashSet<TypeReference>)

incompatible case values

CaseWhenExprTypeUnknown(SemScalarExpr)

case when expr type unknown

ArrayIndexTypeMissmatch(SemScalarExpr, TypeReference)

array type missmatch

MemberAccessRequiresCompositeType(FullName, String)

member access requires composite type

FunctionArgImplicitCastNotFound(FullName, usize, TypeDefinition, SemScalarExpr)

function argument implicit cast not found

ImplicitCastNotFound(TypeReference, TypeReference)

implicit cast not found

Implementations

impl AnalysisProblem

pub fn column_not_found_in_view( view_name: &ViewName, column: &ColumnName, ) -> Self

column not found in view

pub fn column_not_found_in_subquery( alias: &AliasName, column: &ColumnName, ) -> Self

specfied column not found in sub query

pub fn column_not_found_in_table( table_name: &TableName, col_name: &ColumnName, ) -> Self

specified column not found in table

pub fn column_not_found_in_cte(cte_name: &CteName, column: &ColumnName) -> Self

specified column not found in CTE

pub fn column_not_found_in_source(column: &ColumnName) -> Self

column not found

pub fn column_not_found_in_table_function( alias: &AliasName, column: &ColumnName, ) -> Self

column not found in table function

impl AnalysisProblem

pub fn duplicate_alias(alias_name: &AliasName) -> Self

alias name duplicate in FROM clause

pub fn composite_type_field_not_found( composite_type: &TypeReference, field_name: &str, ) -> Self

accessing member not found in complex type

pub fn ambiguous_column(column: &ColumnName) -> Self

same column name existing from clause

pub fn table_not_found(table_name: &TableName) -> Self

alter table not found

pub fn sequence_not_found(seq_name: &FullName) -> Self

sequence not found

pub fn index_not_found(index_name: &str) -> Self

specified index not found

pub fn view_not_found(view_name: &ViewName) -> Self

specified view not found

pub fn domain_type_name_not_found( domain_name: &FullName, type_name: &TypeName, type_name_span: &StringSpan, ) -> Self

domain not found

pub fn relation_not_found(table_name: &TableName) -> Self

specified table not found

pub fn function_not_found(func_name: &FullName, func_span: &StringSpan) -> Self

calling function not found

pub fn table_function_not_found(func: &FullName) -> Self

specified table function not found

pub fn column_type_not_found( table_name: &TableName, colname: &ColumnName, type_name: &FullName, ) -> Self

table column type

pub fn undefined_alias(alias_name: String) -> Self

undefined alias

impl AnalysisProblem

pub fn function_overload_resolution_failed( func_name: &FullName, arg_types: &ArgumentBindingCollection, ) -> Self

function argument type missmatch to overloads

pub fn binary_operator_overload_resolution_failed( operator_def: &OperatorDefinition, left_type: &TypeReference, right_type: &TypeReference, ) -> Self

Binary operator type not matches overloads

pub fn unary_operator_overload_resolution_failed( operator_def: &OperatorDefinition, arg_type: &TypeReference, ) -> Self

Unarry operator type not matches overloads

pub fn binary_operator_overload_ambiguous( operator_def: &OperatorDefinition, left_type: &TypeReference, right_type: &TypeReference, ) -> Self

Binary operaot type overloads ambiguous

pub fn unary_operator_overload_ambiguous( operator_def: &OperatorDefinition, arg_type: &TypeReference, ) -> Self

Unarray operator type ambiguous

impl AnalysisProblem

pub fn render_report( &self, theme: &HighlighterTheme, source: String, ) -> Result<String, AnalysisError>

covert problem to report

pub fn extension_not_found(name: &str) -> Self

extension not found

pub fn nullability_unknown(item_name: &str) -> Self

expression nullability not known

pub fn argument_type_missmatch(func_name: &FullName, index: usize) -> Self

function argument type missmatch

pub fn duplicate_def_elem_key(key: &DefElemKey) -> Self

duplicate name in definition element

pub fn explicit_cast_not_defined( source: &TypeReference, target: &TypeReference, ) -> Self

doing explicit cast coversion , but not allowed

pub fn array_required( expr: &SemScalarExpr, type_inspected: &TypeReference, ) -> Self

expression requires array but not

pub fn array_index_type_missmatch( expr: &SemScalarExpr, type_inspected: &TypeReference, ) -> Self

array index type not integer

pub fn member_access_requires_composite_type( type_name: &FullName, member_name: &str, ) -> Self

member accessing to non-composite type

pub fn undefined_operator( aexpr_op: AExprKind, name: &OperatorName, left_arg: &Option<SemScalarExpr>, right_arg: &Option<SemScalarExpr>, ) -> Self

operator not defined

pub fn parameter_type_missmatch_for_table_function( call: &FuncCall, arg_types: ArgumentBindingCollection, ) -> Self

parameter type can not cast to function argument

pub fn function_result_set_type_not_found(ret_type: &FullName) -> Self

specified function result set type not found

pub fn unreachable_coalesce_argument( arg_expr: &SemScalarExpr, first_non_null: &SemScalarExpr, ) -> Self

coalece argument unreachable

pub fn unknown_type_in_coalesce_expr(arg_expr: &SemScalarExpr) -> Self

unknown type used in coalesce

pub fn coalesce_expr_type_ambiguous( arg_exprs: &Vec<SemScalarExpr>, candiates: &HashSet<TypeReference>, choose: Option<&TypeReference>, ) -> Self

colesce expression result type ambiguous

pub fn coalesce_expr_type_unknown(arg_exprs: &[SemScalarExpr]) -> Self

all of coalesce type is not known

pub fn function_arg_implicit_cast_not_found( func_name: &FullName, index: usize, t: &TypeDefinition, arg: &SemScalarExpr, ) -> Self

implicit cast not allowed

pub fn view_not_matview(view_name: &ViewName) -> Self

view used as materialized view, but not a materialized view

pub fn operator_name_syntax(v: &[String]) -> Self

operator name syntax is invalid

pub fn expression_type_not_known(expr: &SemScalarExpr) -> Self

expression type not known

pub fn case_when_type_unknown(case_when_expr: SemScalarExpr) -> Self

case when type unknown

pub fn implicit_cast_not_found( ty: &TypeReference, result_type: &TypeReference, ) -> Self

implicit cast not found

pub fn incompatible_case_values(result_types: HashSet<TypeReference>) -> Self

incompatible cast values

pub fn unexpected_dynamic_type(sem_type: &TypeDefinition) -> Self

unexpected dynamic type

pub fn table_not_have_column_for_derived_column_name() -> Self

table not have column

pub fn cte_not_have_column_for_derived_column_name() -> Self

cte not have column

pub fn subquery_not_have_column_for_derived_column_name() -> Self

subquery not have column

Trait Implementations

impl Clone for AnalysisProblem

fn clone(&self) -> AnalysisProblem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisProblem

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

Formats the value using the given formatter.