Struct ExecutionContext 

pub struct ExecutionContext {
    pub state_vars: BTreeMap<String, Value>,
    pub functions: BTreeMap<String, EvalFunction>,
}

Execution context for invariant evaluation.

Fields

state_vars: BTreeMap<String, Value>

Current state variable values.

functions: BTreeMap<String, EvalFunction>

Function implementations.

Implementations

impl ExecutionContext

pub fn new() -> Self

Create a new empty context.

pub fn set_state(&mut self, name: String, value: Value)

Set a state variable value.

pub fn register_function( &mut self, name: String, func: fn(&[Value]) -> EvalResult<Value>, )

Register a built-in function.

Trait Implementations

impl Default for ExecutionContext

fn default() -> Self

Returns the “default value” for a type.