Struct ResolveFutures 

pub struct ResolveFutures<T>
where
    T: ResourceTracker,
{ /* 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<T> ResolveFutures<T>

where T: ResourceTracker,

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

Returns unresolved call IDs for this suspended state.

pub fn resume( self, results: Vec<(u32, ExtFunctionResult)>, print: PrintWriter<'_>, ) -> Result<RunProgress<T>, 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<T> Debug for ResolveFutures<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 ResolveFutures<T>

where T: ResourceTracker + DeserializeOwned,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Serialize for ResolveFutures<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.