Struct ResolveFutures 

pub struct ResolveFutures { /* private fields */ }

Available on crate features code and embedded-python only.

Execution state paused while waiting for external future results.

Supports incremental resolution — you can provide partial results and Monty will continue running until all tasks are blocked again.

Use pending_call_ids() to see which calls are pending, then call resume(results, print) with some or all of the results.

Implementations

impl ResolveFutures

pub fn pending_call_ids(&self) -> &[u32]

Returns unresolved call IDs for this suspended state.

pub fn tracker(&self) -> &ResourceTracker

Returns the resource tracker while execution is suspended.

pub fn resume( self, results: Vec<(u32, ExtFunctionResult)>, print: PrintWriter<'_>, ) -> Result<RunProgress, MontyException>

Resumes execution with results for some or all pending futures.

Incremental resolution: You don’t need to provide all results at once. If you provide a partial list, Monty will:

1. Mark those futures as resolved
2. Unblock any tasks waiting on those futures
3. Continue running until all tasks are blocked again
4. Return ResolveFutures with the remaining pending calls

Arguments

• results — List of (call_id, result) pairs. Can be a subset of pending calls.
• print — Writer for print output.

Errors

Returns Err(MontyException) if any call_id in results is not in the pending set.

Trait Implementations

impl Debug for ResolveFutures

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ResolveFutures

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ResolveFutures

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.