Struct OsCall 

pub struct OsCall<T>
where
    T: ResourceTracker,
{
    pub function_call: OsFunctionCall,
    pub call_id: u32,
    /* private fields */
}

Available on crate features code and embedded-python only.

Execution paused for an OS-level operation.

The host should execute the OS operation (filesystem, network, etc.) and call resume(return_value, print) to provide the result and continue.

This enables sandboxed execution where the interpreter never directly performs I/O.

function_call is a tagged OsFunctionCall whose variants carry the typed args directly. Host bindings that need a generic (positional, keyword) MontyObject view can call OsFunctionCall::to_args (the public projection method).

Fields

function_call: OsFunctionCall

Typed OS-call dispatch value (variant + args).

call_id: u32

Unique identifier for this call (used for async correlation).

Implementations

impl<T> OsCall<T>

where T: ResourceTracker,

pub fn resume( self, result: impl Into<ExtFunctionResult>, print: PrintWriter<'_>, ) -> Result<RunProgress<T>, MontyException>

Resumes execution with the OS call result.

Arguments

• result — The return value or exception from the OS operation.
• print — Writer for print() output.

pub fn resume_with( self, print: PrintWriter<'_>, handler: impl FnOnce(OsFunctionCall) -> ExtFunctionResult, ) -> Result<RunProgress<T>, MontyException>

Dispatches the call to handler and resumes execution with its result.

handler receives the OsFunctionCall by value, so large WriteText / WriteBytes payloads move into the host without cloning. Prefer this over reading Self::function_call and calling Self::resume separately when the handler consumes the call.

pub fn tracker(&self) -> &T

Returns a reference to the resource tracker.

Useful for assertions in tests that need to verify memory/allocation accounting between OS-call resumes (e.g. that a read() correctly counts the file buffer against max_memory).

Trait Implementations

impl<T> Debug for OsCall<T>

where T: Debug + ResourceTracker,

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for OsCall<T>

where T: ResourceTracker + DeserializeOwned,

fn deserialize<__D>( __deserializer: __D, ) -> Result<OsCall<T>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Serialize for OsCall<T>

where T: ResourceTracker + Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.