Struct Evaluator 

pub struct Evaluator { /* private fields */ }

Effects Shell evaluator - handles I/O and mutable state

Implementations

impl Evaluator

pub fn new() -> Self

Create a new effects-based evaluator

pub fn add_tla_code(&mut self, key: &str, value: &str)

Add a top-level argument (effects: modifies internal state)

pub fn add_tla_args(&mut self, args: HashMap<String, String>)

Add multiple TLA arguments at once

pub fn load_ext_vars_from_file<P: AsRef<Path>>(&mut self, path: P) -> Result<()>

Load external variables from a file (effects: file I/O)

pub fn evaluate(&mut self, source: &str) -> Result<JsonnetValue>

Evaluate a Jsonnet expression (effects: may involve external libraries)

pub fn evaluate_file( &mut self, source: &str, _filename: &str, ) -> Result<JsonnetValue>

Evaluate a Jsonnet file (effects: filename handling)

pub fn evaluate_file_from_path<P: AsRef<Path>>( &mut self, path: P, ) -> Result<JsonnetValue>

Evaluate a file from disk (effects: file I/O)

pub fn get_tla_args(&self) -> &HashMap<String, String>

Get current TLA arguments (for debugging)

pub fn get_ext_vars(&self) -> &HashMap<String, String>

Get current external variables (for debugging)

Trait Implementations

impl Default for Evaluator

fn default() -> Self

Returns the “default value” for a type.