Struct wasi_common::table::Table

source ·
pub struct Table(/* private fields */);
Expand description

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§

source§

impl Table

source

pub fn new() -> Self

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

source

pub fn insert_at<T: Any + Send + Sync>(&self, key: u32, a: Arc<T>)

Insert a resource at a certain index.

source

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

Insert a resource at the next available index.

source

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

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

source

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.

source

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

Get an Arc reference to a resource of a given type at a given index. Multiple immutable references can be borrowed at any given time.

source

pub fn get_mut<T: Any>(&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 such reference can be borrowed at any given time.

source

pub fn delete<T: Any + Send + Sync>(&self, key: u32) -> Option<Arc<T>>

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

source

pub fn renumber(&self, from: u32, to: u32) -> Result<(), Error>

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

Auto Trait Implementations§

§

impl !Freeze for Table

§

impl RefUnwindSafe for Table

§

impl Send for Table

§

impl Sync for Table

§

impl Unpin for Table

§

impl UnwindSafe for Table

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Pointee for T

§

type Pointer = u32

source§

fn debug( pointer: <T as Pointee>::Pointer, f: &mut Formatter<'_> ) -> Result<(), Error>

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more