Struct ModuleProvider 

pub struct ModuleProvider {
    pub drops: Vec<(u64, CapId)>,
    pub calls: u64,
    /* private fields */
}

A provider that serves domain operations on Infinity modules.

Fields

drops: Vec<(u64, CapId)>

Drop notifications received (object id, capability).

calls: u64

Calls served, for tests and diagnostics.

Implementations

impl ModuleProvider

pub fn new() -> Self

pub fn install(&mut self, module: InfinityModule) -> u64

Install a module and return the object id to mint capabilities for.

pub fn module(&self, object: u64) -> Option<&InfinityModule>

Read a module back (tests and local callers).

pub fn module_count(&self) -> usize

Number of modules installed (including patch results).

Trait Implementations

impl Default for ModuleProvider

fn default() -> Self

Returns the “default value” for a type.

impl Provider for ModuleProvider

fn name(&self) -> &'static str

Stable adapter name.

fn methods(&self) -> Vec<String>

Methods this provider answers (introspection).

fn mutating(&self, method: &str) -> bool

Whether method mutates provider state (refused on read-only caps).

fn invoke(&mut self, object: u64, call: &Call) -> Result<Response>

Invoke a method on object.

fn on_drop(&mut self, object: u64, cap: CapId)

Called when the last capability referencing object is dropped.

fn take_drop_notifications(&mut self) -> Vec<(u64, CapId)>

Drain provider-side drop notifications recorded by Provider::on_drop.

fn has_method(&self, method: &str) -> bool

Whether this provider answers method.