Skip to main content

PetriVmInspector

petri

Trait PetriVmInspector 

Source 
pub trait PetriVmInspector:
    Send
    + Sync
    + 'static {
    // Required method
    fn inspect<'life0, 'life1, 'async_trait>(
        &'life0 self,
        path: &'life1 str,
    ) -> Pin<Box<dyn Future<Output = Result<Node>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
}
Expand description

Interface for getting information about the state of the VM

Required Methods§

Source

fn inspect<'life0, 'life1, 'async_trait>( &'life0 self, path: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Node>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Get information about the state of the VM at the given inspect path. Pass "" to inspect the entire tree.

Implementors§