Skip to main content

ObjectWorld

Struct ObjectWorld 

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

The scripting-side runtime container. Lives on the MMS worker thread.

Holds the lexical scope chain (a stack of frames) and the MMS-side heap. Communication with the engine goes through intent channels owned by the evaluator — ObjectWorld itself never sends intents directly.

See docs/meow_meow/spec/env-heap-object-world.md for the full design and docs/meow_meow/task/frame-stack-object-world.md for the migration plan.

Implementations§

Source§

impl ObjectWorld

Source

pub fn new() -> Self

New ObjectWorld with one root frame already pushed.

Source

pub fn with_heap(heap: HeapHandle) -> Self

Source

pub fn push_frame(&mut self, kind: FrameKind)

Source

pub fn push_function_frame(&mut self, captured: Arc<HashMap<String, Value>>)

Push a function frame seeded with the closure’s captured environment. This is a hard barrier: lookups inside the function will not see past it.

Source

pub fn pop_frame(&mut self)

Source

pub fn frame_depth(&self) -> usize

Source

pub fn request_reset(&mut self)

Source

pub fn take_reset_requested(&mut self) -> bool

Source

pub fn bind(&mut self, name: impl Into<String>, value: Value)

Bind a name in the top (innermost) frame. Shadows outer bindings.

Source

pub fn lookup(&self, name: &str) -> Option<&Value>

Look up a name. Walks frames from innermost outward; stops at a Function barrier (function bodies cannot see the caller’s locals).

Source

pub fn has(&self, name: &str) -> bool

Whether name is reachable from the current scope (same walk as lookup).

Source

pub fn reassign(&mut self, name: &str, value: Value) -> Result<(), String>

Reassign an existing binding. Walks frames inward-to-outward looking for the declaring frame; stops at a Function barrier.

Errors:

  • name not declared anywhere reachable
  • name declared only beyond the function barrier (caller’s locals)
Source

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

Flatten all frames visible from the current point into a single map for closure capture. Walks innermost outward, including the first Function barrier’s frame (so a closure created inside a function sees that function’s captured snapshot), then stops. Inner names shadow outer.

Source

pub fn heap(&self) -> &HeapHandle

Source

pub fn alloc_object(&self, object: Object) -> ObjectId

Trait Implementations§

Source§

impl Debug for ObjectWorld

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for ObjectWorld

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> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<S, T> Duplex<S> for T
where T: FromSample<S> + ToSample<S>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<S> FromSample<S> for S

Source§

fn from_sample_(s: S) -> S

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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<F, T> IntoSample<T> for F
where T: FromSample<F>,

Source§

fn into_sample(self) -> T

Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> ToSample<U> for T
where U: FromSample<T>,

Source§

fn to_sample_(self) -> U

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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more