Struct wasi_common::table::Table

pub struct Table { /* private fields */ }

The Table type is designed to map u32 handles to resources. The table is now part of the public interface to a WasiCtx - it is reference counted so that it can be shared beyond a WasiCtx with other WASI proposals (e.g. wasi-crypto and wasi-nn) to manage their resources. Elements in the Table are Any typed.

The Table type is intended to model how the Interface Types concept of Resources is shaping up. Right now it is just an approximation.

Implementations

impl Table

pub fn new() -> Self

Create an empty table. New insertions will begin at 3, above stdio.

pub fn insert_at(&mut self, key: u32, a: Box<dyn Any + Send + Sync>)

Insert a resource at a certain index.

pub fn push(&mut self, a: Box<dyn Any + Send + Sync>) -> Result<u32, Error>

Insert a resource at the next available index.

pub fn contains_key(&self, key: u32) -> bool

Check if the table has a resource at the given index.

pub fn is<T: Any + Sized>(&self, key: u32) -> bool

Check if the resource at a given index can be downcast to a given type. Note: this will always fail if the resource is already borrowed.

pub fn get<T: Any + Sized>(&self, key: u32) -> Result<&T, Error>

Get an immutable reference to a resource of a given type at a given index. Multiple immutable references can be borrowed at any given time. Borrow failure results in a trapping error.

pub fn get_mut<T: Any + Sized>(&mut self, key: u32) -> Result<&mut T, Error>

Get a mutable reference to a resource of a given type at a given index. Only one mutable reference can be borrowed at any given time. Borrow failure results in a trapping error.

pub fn delete(&mut self, key: u32) -> Option<Box<dyn Any + Send + Sync>>

Remove a resource at a given index from the table. Returns the resource if it was present.