Evaluator

Struct Evaluator 

Source
pub struct Evaluator { /* private fields */ }
Expand description

High-performance zero-copy evaluator with dual-context support

§Design Principles

  1. Zero-copy: All data access via references, no cloning
  2. Dual-context: Separate user_data and internal_context for scoped variables
  3. Recursive: Clean recursive evaluation with depth tracking

§Context Resolution

  • Variables ($var) lookup order: internal_context → user_data
  • Internal context holds: $iteration, $threshold, $loopIteration, etc.

Implementations§

Source§

impl Evaluator

Source

pub fn new() -> Self

Source

pub fn with_config(self, config: RLogicConfig) -> Self

Source

pub fn evaluate( &self, logic: &CompiledLogic, data: &Value, ) -> Result<Value, String>

Public API: Evaluate compiled logic with user data only Uses fast path for simple cases to avoid recursion overhead

Source

pub fn evaluate_with_internal_context( &self, logic: &CompiledLogic, user_data: &Value, internal_context: &Value, ) -> Result<Value, String>

Evaluate with internal context (for scoped variables)

§Arguments
  • logic - The compiled logic expression to evaluate
  • user_data - User’s data (primary lookup source)
  • internal_context - Internal variables (e.g., $iteration, $loopIteration)
§Zero-Copy Guarantee

This method uses only references and never clones the data contexts. Internal variables are looked up first in internal_context, then fall back to user_data.

Trait Implementations§

Source§

impl Default for Evaluator

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.