Enum PreExp

pub enum PreExp {
    Primitive(Spanned<Primitive>),
    Abs(InputSpan, Box<PreExp>),
    BlockFunction(Spanned<BlockFunction>),
    Variable(Spanned<String>),
    CompoundVariable(Spanned<CompoundVariable>),
    ArrayAccess(Spanned<AddressableAccess>),
    BlockScopedFunction(Spanned<BlockScopedFunction>),
    FunctionCall(InputSpan, FunctionCall),
    BinaryOperation(Spanned<BinOp>, Box<PreExp>, Box<PreExp>),
    UnaryOperation(Spanned<UnOp>, Box<PreExp>),
}

Represents an expression in the intermediate language before final transformation.

This enum captures different types of expressions that can appear in the source code, including primitives, variables, function calls, and mathematical operations.

Variants

Primitive(Spanned<Primitive>)

A primitive value like numbers, strings, booleans

Abs(InputSpan, Box<PreExp>)

Absolute value expression, e.g. |x|

BlockFunction(Spanned<BlockFunction>)

A block function like average, min, max, etc.

Variable(Spanned<String>)

A simple variable reference like ‘x’

CompoundVariable(Spanned<CompoundVariable>)

A compound variable like ‘x_y’

ArrayAccess(Spanned<AddressableAccess>)

Array access expression like ‘arr[i]’

BlockScopedFunction(Spanned<BlockScopedFunction>)

A block function with a scope, like a summation or a product

FunctionCall(InputSpan, FunctionCall)

A function call expression

BinaryOperation(Spanned<BinOp>, Box<PreExp>, Box<PreExp>)

A binary operation like addition, multiplication

UnaryOperation(Spanned<UnOp>, Box<PreExp>)

A unary operation like negation

Implementations

impl PreExp

pub fn to_boxed(self) -> Box<PreExp>

pub fn span(&self) -> &InputSpan

pub fn into_exp( &self, context: &mut TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<Exp, TransformError>

pub fn as_static_primitive(&self) -> Option<Primitive>

pub fn as_primitive( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<Primitive, TransformError>

pub fn as_number( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<f64, TransformError>

pub fn as_number_cast( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<f64, TransformError>

pub fn as_integer( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<i64, TransformError>

pub fn as_integer_cast( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<i64, TransformError>

pub fn as_positive_integer( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<u64, TransformError>

pub fn as_usize( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<usize, TransformError>

pub fn as_usize_cast( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<usize, TransformError>

pub fn as_string( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<String, TransformError>

pub fn as_boolean( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<bool, TransformError>

pub fn as_graph( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<Graph, TransformError>

pub fn as_node( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<GraphNode, TransformError>

pub fn as_edge( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<GraphEdge, TransformError>

pub fn as_iterator( &self, context: &TransformerContext, fn_context: &FunctionContext<'_>, ) -> Result<IterableKind, TransformError>

impl PreExp

pub fn get_span_wasm(&self) -> InputSpan

Trait Implementations

impl Clone for PreExp

fn clone(&self) -> PreExp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PreExp

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

Formats the value using the given formatter.

impl Display for PreExp

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

Formats the value using the given formatter.

impl Serialize for PreExp

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeCheckable for PreExp

fn type_check( &self, context: &mut TypeCheckerContext, fn_context: &FunctionContext<'_>, ) -> Result<(), TransformError>

Performs type checking on the implementing type.

fn populate_token_type_map( &self, context: &mut TypeCheckerContext, fn_context: &FunctionContext<'_>, )

Populates the token type map with type information.

impl WithType for PreExp

fn get_type( &self, context: &TypeCheckerContext, fn_context: &FunctionContext<'_>, ) -> PrimitiveKind

Gets the primitive type of the implementing type.