Struct TreeWalkingEvaluator 

pub struct TreeWalkingEvaluator { /* private fields */ }

Production BodyEvaluator backed by crate::ast_evaluator — the minimum-viable tree-walker over the typed AstGraph.

One evaluator per module (the AST graph owns its node table, so the evaluator needs the matching graph to look up body_ast_root). The solver’s SolverState::new takes a single evaluator; for multi-module setups (the common case), wrap a slice of per-module evaluators in a PerModuleEvaluator (helper below).

Setter bodies that touch unsupported AST kinds (function calls, closures) bubble up as Opaque from the tree walker, which the evaluator surfaces as the literal JSON string "<opaque:Apply>" — the eventual sui-eval integration recognizes the sentinel and recomputes the body through the real VM.

Implementations

impl TreeWalkingEvaluator

pub fn new(graph: Arc<AstGraph>) -> Self

Build an evaluator that resolves every setter body via graph. One evaluator per module’s AST.

Trait Implementations

impl BodyEvaluator for TreeWalkingEvaluator

fn evaluate( &self, _gid: GlobalSetterId, module: &ModuleNode, setter: &ConfigSetter, env_snapshot: &EnvSnapshot, ) -> Result<Vec<u8>, String>

Evaluate the setter’s body in the given environment and return the resulting value as canonical bytes (JSON today; rkyv when the typed value lattice is finalized).