Enum Expr 

pub enum Expr {
    Literal(Literal),
    Container(Container),
    IfStatement(IfStatement),
    Op(Op),
    Assignment(Assignment),
    Query(Query),
    FunctionCall(FunctionCall),
    Variable(Variable),
    Noop(Noop),
    Unary(Unary),
    Abort(Abort),
    Return(Return),
}

Variants

Literal(Literal)

Container(Container)

IfStatement(IfStatement)

Op(Op)

Assignment(Assignment)

Query(Query)

FunctionCall(FunctionCall)

Variable(Variable)

Noop(Noop)

Unary(Unary)

Abort(Abort)

Return(Return)

Implementations

impl Expr

pub fn as_str(&self) -> &str

pub fn as_literal( &self, keyword: &'static str, state: &TypeState, ) -> Result<Value, Error>

Attempts to resolve the current expression into a literal value.

This function checks if the expression can be resolved to a constant value within the given TypeState. If it can, the resolved value is returned. Otherwise, an error is returned indicating that a literal was expected but not found.

Arguments

• keyword - A static string representing the keyword associated with this expression.
• state - A reference to the TypeState used to resolve constants.

Returns

Returns a Result containing the resolved Value if the expression evaluates to a constant. Otherwise, returns an Error indicating an unexpected expression.

Errors

Returns super::function::Error::UnexpectedExpression if the expression does not resolve to a literal.

pub fn as_enum( &self, keyword: &'static str, variants: Vec<Value>, state: &TypeState, ) -> Result<Value, Error>

Attempts to convert the value into an enumeration variant.

This function checks whether the given value matches one of the provided enumeration variants. If the value is not a valid variant, it returns an error.

Arguments

• keyword - A static string representing the keyword associated with the enumeration.
• variants - A vector of possible valid Value variants.
• state - A reference to the TypeState used for type resolution.

Returns

Returns Ok(Value) if the value is one of the allowed enumeration variants. Otherwise, it returns an Err(super::function::Error::InvalidEnumVariant).

Errors

This function returns an InvalidEnumVariant error if the value is not found in the provided list of valid variants.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl Expression for Expr

fn resolve(&self, ctx: &mut Context<'_>) -> Resolved

Resolve an expression to a concrete Value.

fn resolve_constant(&self, state: &TypeState) -> Option<Value>

Resolve an expression to a value without any context, if possible. This attempts to resolve expressions using only compile-time information.

fn type_info(&self, state: &TypeState) -> TypeInfo

Calculates the type state after an expression resolves, including the expression result itself. This must be called with the initial TypeState.

fn type_def(&self, state: &TypeState) -> TypeDef

Resolve an expression to its TypeDef type definition. This must be called with the initial TypeState.

fn apply_type_info(&self, state: &mut TypeState) -> TypeDef

Applies state changes from the expression to the given state, and returns the result type.

fn format(&self) -> Option<String>

Format the expression into a consistent style.

impl From<Abort> for Expr

fn from(abort: Abort) -> Self

Converts to this type from the input type.

impl From<Assignment> for Expr

fn from(assignment: Assignment) -> Self

Converts to this type from the input type.

impl From<Container> for Expr

fn from(container: Container) -> Self

Converts to this type from the input type.

impl From<FunctionCall> for Expr

fn from(function_call: FunctionCall) -> Self

Converts to this type from the input type.

impl From<IfStatement> for Expr

fn from(if_statement: IfStatement) -> Self

Converts to this type from the input type.

impl From<Literal> for Expr

fn from(literal: Literal) -> Self

Converts to this type from the input type.

impl From<Noop> for Expr

fn from(noop: Noop) -> Self

Converts to this type from the input type.

impl From<Op> for Expr

fn from(op: Op) -> Self

Converts to this type from the input type.

impl From<Query> for Expr

fn from(query: Query) -> Self

Converts to this type from the input type.

impl From<Return> for Expr

fn from(return: Return) -> Self

Converts to this type from the input type.

impl From<Unary> for Expr

fn from(unary: Unary) -> Self

Converts to this type from the input type.

impl From<Value> for Expr

fn from(value: Value) -> Self

Converts to this type from the input type.

impl From<Variable> for Expr

fn from(variable: Variable) -> Self

Converts to this type from the input type.

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> 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 TryFrom<Expr> for Value

Converts from an Expr into a Value. This is only possible if the expression represents static values - Literals and Containers containing Literals. The error returns the expression back so it can be used in the error report.

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(expr: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for Expr