Struct Context

pub struct Context<'ctx, T = DefaultTypeSet>
where
    T: TypeSet,
    T::Integer: Load<T> + Store<T>,
    T::Float: Load<T> + Store<T>,
    T::SignedInteger: Load<T> + Store<T>,
{ /* private fields */ }

The expression context, which holds variables, functions, and other state needed for evaluation.

Implementations

impl<'ctx> Context<'ctx, DefaultTypeSet>

pub fn new() -> Self

Creates a new context with default types.

impl<'ctx, T> Context<'ctx, T>

where T: TypeSet, T::Integer: Load<T> + Store<T> + Integer, T::Float: Load<T> + Store<T>, T::SignedInteger: Load<T> + Store<T>, <T::Integer as ValueType>::NegateOutput: Load<T> + Store<T>, <T::SignedInteger as ValueType>::NegateOutput: Load<T> + Store<T>, <T::Float as ValueType>::NegateOutput: Load<T> + Store<T>,

pub fn new_with_types() -> Self

Creates a new context. The type set must be specified when using this function.

use somni_expr::{Context, TypeSet32};
let mut ctx = Context::<TypeSet32>::new_with_types();

pub fn evaluate_any<'s>( &mut self, expression: &'s str, ) -> Result<TypedValue<T>, ExpressionError<'s>>

Evaluates an expression and returns the result as a TypedValue<T>.

pub fn evaluate<'s, V>( &'s mut self, expression: &'s str, ) -> Result<V::Output<'s>, ExpressionError<'s>>

where V: Load<T>,

Evaluates an expression and returns the result as a specific value type.

This function will attempt to convert the result of the expression to the specified type V. If the conversion fails, it will return an ExpressionError.

pub fn add_variable<V>(&mut self, name: &str, value: V)

where V: Store<T>,

Defines a new variable in the context.

pub fn add_function<F, A>(&mut self, name: &str, func: F)

where F: DynFunction<A, T> + 'ctx,

Adds a new function to the context.

Trait Implementations

impl<'ctx, T> Default for Context<'ctx, T>

where T: TypeSet + Default, T::Integer: Load<T> + Store<T>, T::Float: Load<T> + Store<T>, T::SignedInteger: Load<T> + Store<T>,

fn default() -> Context<'ctx, T>

Returns the “default value” for a type.

impl<T> ExprContext<T> for Context<'_, T>

where T: TypeSet, T::Integer: Load<T> + Store<T> + Integer, T::Float: Load<T> + Store<T>, T::SignedInteger: Load<T> + Store<T>,

fn intern_string(&mut self, s: &str) -> StringIndex

Implements string interning.

fn load_interned_string(&self, idx: StringIndex) -> &str

Loads an interned string.

fn try_load_variable(&self, variable: &str) -> Option<TypedValue<T>>

Attempts to load a variable from the context.

fn address_of(&self, variable: &str) -> TypedValue<T>

Returns the address of a variable in the context.

fn call_function( &mut self, function_name: &str, args: &[TypedValue<T>], ) -> Result<TypedValue<T>, FunctionCallError>

Calls a function in the context.