Struct SymbolicContext

pub struct SymbolicContext { /* private fields */ }

SymbolicContext for SOMA: variable memory and path resolution

Implementations

impl SymbolicContext

pub fn new() -> Self

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

pub fn set_with_meta(&mut self, key: &str, value: &str, meta: SymbolicKeyMeta)

pub fn merge(&mut self, other: &SymbolicContext)

pub fn get(&self, key: &str) -> Option<&String>

pub fn set_child(&mut self, name: &str, ctx: SymbolicContext)

pub fn get_child(&self, name: &str) -> Option<&SymbolicContext>

pub fn resolve_path(&self, path: &str) -> Option<String>

Resolves a nested dotted path, traversing children if needed

pub fn enter_scope(&mut self, scope: &str) -> &mut SymbolicContext

pub fn set_ttl(&mut self, key: &str, ttl: StdDuration)

pub fn cleanup_expired(&mut self)

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

Returns a flattened HashMap with dot notation keys

pub fn diff(&self, other: &Self) -> SymbolicDiff

Computes the diff between two SymbolicContexts

pub fn to_json(&self) -> String

Serializes the context (including children) to JSON

pub fn from_json(json: &str) -> Self

Loads a context from a flat JSON map

pub fn resolve_as_type<T: DeserializeOwned>(&self, path: &str) -> Option<T>

Resolves a path and deserializes the value as type T

pub fn interpolate(&self, input: &str) -> String

Interpolates variables like “${goal_1.location}” in a string

pub fn resolve_or_default(&self, path: &str, default: &str) -> String

Returns the resolved value or a default if not found

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

Optional: snapshot current memory state

pub fn restore(&mut self, snapshot: HashMap<String, String>)

Optional: restore memory from a snapshot

pub fn to_symbolic_ir(&self) -> Value

Exports the context and its children as a symbolic IR (intermediate representation)

Trait Implementations

impl Clone for SymbolicContext

fn clone(&self) -> SymbolicContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymbolicContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SymbolicContext

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SymbolicContext

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.