Struct ExecutionState 

pub struct ExecutionState {

    pub version: u32,
    pub runtime: RuntimeKind,
    pub capabilities: RuntimeCapabilities,
    pub program: Option<String>,
    pub instruction_position: Option<String>,
    pub stack_frames: Vec<StackFrame>,
    pub globals_root: Option<ObjectId>,
    pub locals_root: Option<ObjectId>,
    pub heap: Value,
    pub pending_exception: Option<ExceptionInfo>,
    pub async_state: Option<Value>,
    pub granted_capabilities: Vec<String>,
    pub runtime_metadata: IndexMap<String, Value>,
    pub migration_metadata: IndexMap<String, Value>,
    pub conversion_policy: ConversionPolicy,
}

Language-neutral execution state.

Not every runtime populates every field. Consult capabilities.

Fields

version: u32

Schema version for this state blob.

runtime: RuntimeKind

Origin runtime.

capabilities: RuntimeCapabilities

Declared capabilities at capture time.

program: Option<String>

Program identity / source reference.

instruction_position: Option<String>

Instruction / bytecode position when known.

stack_frames: Vec<StackFrame>

Stack frames (experimental; often empty).

globals_root: Option<ObjectId>

Global bindings as a PIR object graph reference root.

locals_root: Option<ObjectId>

Local bindings root.

heap: Value

Heap / object graph encoded as PIR document bytes or embedded JSON. Concrete PIR lives in parallax-ir; here we store a serialized document.

pending_exception: Option<ExceptionInfo>

Pending exception if any.

async_state: Option<Value>

Async state placeholder.

granted_capabilities: Vec<String>

Capability tokens granted to the execution.

runtime_metadata: IndexMap<String, Value>

Free-form runtime metadata.

migration_metadata: IndexMap<String, Value>

Migration metadata.

conversion_policy: ConversionPolicy

Conversion policy used when producing this state.

Implementations

impl ExecutionState

pub fn empty(runtime: RuntimeKind, capabilities: RuntimeCapabilities) -> Self

Create an empty state shell for a runtime.

Trait Implementations

impl Clone for ExecutionState

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExecutionState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.