Struct Expr 

pub struct Expr;

Fluent builder for constructing expression trees

Provides a convenient API for building complex expressions without excessive nesting of Box::new() calls.

Example

use solverforge_core::wasm::{Expression, Expr};
use solverforge_core::wasm::FieldAccessExt;

// Build: param(0).employee != null
let shift = Expr::param(0);
let employee = shift.get("Shift", "employee");
let predicate = Expr::is_not_null(employee);

Implementations

impl Expr

pub fn int(value: i64) -> Expression

Create an integer literal

pub fn bool(value: bool) -> Expression

Create a boolean literal

pub fn null() -> Expression

Create a null literal

pub fn param(index: u32) -> Expression

Access a function parameter by index

pub fn eq(left: Expression, right: Expression) -> Expression

Equal comparison (==)

pub fn ne(left: Expression, right: Expression) -> Expression

Not equal comparison (!=)

pub fn lt(left: Expression, right: Expression) -> Expression

Less than comparison (<)

pub fn le(left: Expression, right: Expression) -> Expression

Less than or equal comparison (<=)

pub fn gt(left: Expression, right: Expression) -> Expression

Greater than comparison (>)

pub fn ge(left: Expression, right: Expression) -> Expression

Greater than or equal comparison (>=)

pub fn and(left: Expression, right: Expression) -> Expression

Logical AND (&&)

pub fn or(left: Expression, right: Expression) -> Expression

Logical OR (||)

pub fn not(operand: Expression) -> Expression

Logical NOT (!)

pub fn is_null(operand: Expression) -> Expression

Null check (is null)

pub fn is_not_null(operand: Expression) -> Expression

Not-null check (is not null)

pub fn add(left: Expression, right: Expression) -> Expression

Addition (+)

pub fn sub(left: Expression, right: Expression) -> Expression

Subtraction (-)

pub fn mul(left: Expression, right: Expression) -> Expression

Multiplication (*)

pub fn div(left: Expression, right: Expression) -> Expression

Division (/)

pub fn host_call( function_name: impl Into<String>, args: Vec<Expression>, ) -> Expression

Call a host function

pub fn list_contains(list: Expression, element: Expression) -> Expression

Check if a list contains an element

Generates a loop that iterates through the list and checks for equality. Returns true if the element is found, false otherwise.

pub fn string_equals(left: Expression, right: Expression) -> Expression

String equality via host function

Equivalent to: hstringEquals(left, right)

pub fn ranges_overlap( start1: Expression, end1: Expression, start2: Expression, end2: Expression, ) -> Expression

Check if two time ranges overlap

Equivalent to: start1 < end2 && start2 < end1

pub fn if_then_else( condition: Expression, then_branch: Expression, else_branch: Expression, ) -> Expression

If-then-else conditional expression