Struct SuspensionState 

pub struct SuspensionState {
    pub waiting_for: WaitCondition,
    pub resume_pc: usize,
    pub saved_locals: Vec<KindedSlot>,
    pub saved_stack: Vec<KindedSlot>,
}

Suspension state for resumable execution

When a Shape program yields or awaits, this state captures everything needed to resume execution later.

WB2.5 retain-on-read. saved_locals / saved_stack hold owning shares of heap-tagged values. ADR-006 §2.7 GENERIC_CARRIER vector storage: Vec<KindedSlot> carries the explicit Drop/Clone discipline so push/pop/clone preserve refcount semantics. The serde skip-on-payload pattern matches the snapshot.rs:650 comment — slot (de)serialization is deferred to the kind-threaded follow-up API.

Fields

waiting_for: WaitCondition

What condition we’re waiting for

resume_pc: usize

Program counter to resume at (for VM/JIT)

saved_locals: Vec<KindedSlot>

Saved local variables

saved_stack: Vec<KindedSlot>

Saved stack (for VM)

Implementations

impl SuspensionState

pub fn new(waiting_for: WaitCondition, resume_pc: usize) -> Self

Create a new suspension state

pub fn with_locals(self, locals: Vec<KindedSlot>) -> Self

Create with saved locals. KindedSlot::Drop retires refcounts on drop; KindedSlot::Clone retains them on copy.

pub fn with_stack(self, stack: Vec<KindedSlot>) -> Self

Create with saved stack

Trait Implementations

impl Clone for SuspensionState

fn clone(&self) -> SuspensionState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SuspensionState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SuspensionState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SuspensionState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.