Enum proof_of_sql::sql::parse::ConversionError

pub enum ConversionError {
    MissingColumn(Box<Identifier>, Box<ResourceId>),
    MissingColumnWithoutTable(Box<Identifier>),
    InvalidDataType {
        expected: ColumnType,
        actual: ColumnType,
    },
    DataTypeMismatch(String, String),
    DifferentColumnLength(usize, usize),
    DuplicateResultAlias(String),
    NonbooleanWhereClause(ColumnType),
    InvalidOrderBy(String),
    InvalidGroupByColumnRef(String),
    InvalidExpression(String),
    ParseError(String),
    DecimalConversionError(DecimalError),
    TimestampConversionError(PoSQLTimestampError),
    ColumnOperationError(ColumnOperationError),
    PostprocessingError(PostprocessingError),
    Unprovable(String),
}

Errors from converting an intermediate AST into a provable AST.

Variants

MissingColumn(Box<Identifier>, Box<ResourceId>)

The column is missing in the table

MissingColumnWithoutTable(Box<Identifier>)

The column is missing (without table information)

InvalidDataType

Invalid data type received

Fields

expected: ColumnType

Expected data type

actual: ColumnType

Actual data type found

DataTypeMismatch(String, String)

Data types do not match

DifferentColumnLength(usize, usize)

Two columns do not have the same length

DuplicateResultAlias(String)

Duplicate alias in result columns

NonbooleanWhereClause(ColumnType)

WHERE clause is not boolean

InvalidOrderBy(String)

ORDER BY clause references a non-existent alias

InvalidGroupByColumnRef(String)

GROUP BY clause references a non-existent column

InvalidExpression(String)

General error for invalid expressions

ParseError(String)

General parsing error

DecimalConversionError(DecimalError)

Errors related to decimal operations

TimestampConversionError(PoSQLTimestampError)

Errors related to timestamp parsing

ColumnOperationError(ColumnOperationError)

Errors related to column operations

PostprocessingError(PostprocessingError)

Errors related to postprocessing

Unprovable(String)

Query requires unprovable feature

Implementations

impl ConversionError

pub fn non_numeric_expr_in_agg<S: Into<String>>(dtype: S, func: S) -> Self

Returns a ConversionError::InvalidExpression for non-numeric types used in numeric aggregation functions.

Trait Implementations

impl Debug for ConversionError

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

Formats the value using the given formatter.

impl Display for ConversionError

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

Formats the value using the given formatter.

impl Error for ConversionError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<ColumnOperationError> for ConversionError

fn from(source: ColumnOperationError) -> Self

Converts to this type from the input type.

impl From<ConversionError> for String

fn from(error: ConversionError) -> Self

Converts to this type from the input type.

impl From<DecimalError> for ConversionError

fn from(source: DecimalError) -> Self

Converts to this type from the input type.

impl From<IntermediateDecimalError> for ConversionError

fn from(err: IntermediateDecimalError) -> ConversionError

Converts to this type from the input type.

impl From<PoSQLTimestampError> for ConversionError

fn from(source: PoSQLTimestampError) -> Self

Converts to this type from the input type.

impl From<PostprocessingError> for ConversionError

fn from(source: PostprocessingError) -> Self

Converts to this type from the input type.

impl From<String> for ConversionError

fn from(value: String) -> Self

Converts to this type from the input type.

impl PartialEq for ConversionError

fn eq(&self, other: &ConversionError) -> 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 Eq for ConversionError

impl StructuralPartialEq for ConversionError