Skip to main content

WasiFilesystemNamed

Struct WasiFilesystemNamed 

Source
pub struct WasiFilesystemNamed<T>(/* private fields */);
Expand description

A helper struct which implements HasData for the wasi:filesystem APIs when used in combination with named imports.

This structure is similar in purpose to WasiFilesystem and is used when using the named_imports module for wasi:filesystem. This structure serves as the D type parameter for add_to_linker functions.

§Meaning of the T parameter

Here the T must be something that implements WasiFilesystemNamedView. The corresponding Data for this type is WasiCtxNamedView which internally will contain &mut T.

Effectively you’re going to implement WasiFilesystemNamedView for something in your embedding, and that’s the T you’ll fill in here.

§Examples

use wasmtime::component::{Linker, Component, ResourceTable};
use wasmtime::{Engine, Result};
use wasmtime_wasi::{NamedId, WasiCtxNamedView};
use wasmtime_wasi::filesystem::*;
use wasmtime_wasi::p2::bindings::named_imports;
use std::collections::HashMap;

struct MyStoreState {
    table: ResourceTable,
    states: HashMap<NamedId, WasiFilesystemCtx>,
}

fn main() -> Result<()> {
    let engine = Engine::default();
    let mut linker = Linker::new(&engine);
    let component = Component::new(&engine, "(component)")?;
    let mut name_map = HashMap::new();

    named_imports::wasi::filesystem::preopens::add_to_linker::<MyStoreState, WasiFilesystemNamed<MyStoreState>>(
        &mut linker,
        &component,
        |name| {
            let len = name_map.len();
            Ok(NamedId(*name_map.entry(name.to_string()).or_insert(len)))
        },
        |state| WasiCtxNamedView(state),
    )?;
    Ok(())
}

impl WasiFilesystemNamedView for MyStoreState {
    fn filesystem(&mut self, id: NamedId) -> WasiFilesystemCtxView<'_> {
        let ctx = self.states.get_mut(&id).expect("state for id");
        WasiFilesystemCtxView {
            table: &mut self.table,
            ctx,
        }
    }
}

Trait Implementations§

Source§

impl<T> HasData for WasiFilesystemNamed<T>

Source§

type Data<'a> = WasiCtxNamedView<'a, T>

The data associated with this trait implementation, chiefly used as a generic associated type to allow plumbing the 'a lifetime into the definition here. Read more
Source§

impl<T, U> HostDescriptorWithStore<U> for WasiFilesystemNamed<T>

Available on crate feature p3 only.
Source§

fn read_via_stream( store: Access<'_, U, Self>, id: NamedId, fd: Resource<Descriptor>, offset: Filesize, ) -> Result<(StreamReader<u8>, FutureReader<Result<(), ErrorCode>>)>

Return a stream for reading from a file. Read more
Source§

fn write_via_stream( store: Access<'_, U, Self>, id: NamedId, fd: Resource<Descriptor>, data: StreamReader<u8>, offset: Filesize, ) -> Result<FutureReader<Result<(), ErrorCode>>>

Return a stream for writing to a file, if available. Read more
Source§

fn append_via_stream( store: Access<'_, U, Self>, id: NamedId, fd: Resource<Descriptor>, data: StreamReader<u8>, ) -> Result<FutureReader<Result<(), ErrorCode>>>

Return a stream for appending to a file, if available. Read more
Source§

async fn advise( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, offset: Filesize, length: Filesize, advice: Advice, ) -> FilesystemResult<()>

Provide file advisory information on a descriptor. Read more
Source§

async fn sync_data( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<()>

Synchronize the data of a file to disk. Read more
Source§

async fn get_flags( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorFlags>

Get flags associated with a descriptor. Read more
Source§

async fn get_type( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorType>

Get the dynamic type of a descriptor. Read more
Source§

async fn set_size( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, size: Filesize, ) -> FilesystemResult<()>

Adjust the size of an open file. If this increases the file’s size, the extra bytes are filled with zeros. Read more
Source§

async fn set_times( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, data_access_timestamp: NewTimestamp, data_modification_timestamp: NewTimestamp, ) -> FilesystemResult<()>

Adjust the timestamps of an open file or directory. Read more
Source§

fn read_directory( store: Access<'_, U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> Result<(StreamReader<DirectoryEntry>, FutureReader<Result<(), ErrorCode>>)>

Read directory entries from a directory. Read more
Source§

async fn sync( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<()>

Synchronize the data and metadata of a file to disk. Read more
Source§

async fn create_directory_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path: String, ) -> FilesystemResult<()>

Create a directory. Read more
Source§

async fn stat( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorStat>

Return the attributes of an open file or directory. Read more
Source§

async fn stat_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, ) -> FilesystemResult<DescriptorStat>

Return the attributes of a file or directory. Read more
Source§

async fn set_times_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, data_access_timestamp: NewTimestamp, data_modification_timestamp: NewTimestamp, ) -> FilesystemResult<()>

Adjust the timestamps of a file or directory. Read more
Create a hard link. Read more
Source§

async fn open_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, open_flags: OpenFlags, flags: DescriptorFlags, ) -> FilesystemResult<Resource<Descriptor>>

Open a file or directory. Read more
Read the contents of a symbolic link. Read more
Source§

async fn remove_directory_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path: String, ) -> FilesystemResult<()>

Remove a directory. Read more
Source§

async fn rename_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, old_path: String, new_fd: Resource<Descriptor>, new_path: String, ) -> FilesystemResult<()>

Rename a filesystem object. Read more
Create a symbolic link (also known as a “symlink”). Read more
Unlink a filesystem object that is not a directory. Read more
Source§

async fn is_same_object( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, other: Resource<Descriptor>, ) -> Result<bool>

Test whether two descriptors refer to the same filesystem object. Read more
Source§

async fn metadata_hash( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, ) -> FilesystemResult<MetadataHashValue>

Return a hash of the metadata associated with a filesystem object referred to by a descriptor. Read more
Source§

async fn metadata_hash_at( store: &Accessor<U, Self>, id: NamedId, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, ) -> FilesystemResult<MetadataHashValue>

Return a hash of the metadata associated with a filesystem object referred to by a directory descriptor and a relative path. Read more

Auto Trait Implementations§

§

impl<T> Freeze for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: Freeze,

§

impl<T> RefUnwindSafe for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: RefUnwindSafe,

§

impl<T> Send for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: Send,

§

impl<T> Sync for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: Sync,

§

impl<T> Unpin for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: Unpin,

§

impl<T> UnsafeUnpin for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: UnsafeUnpin,

§

impl<T> UnwindSafe for WasiFilesystemNamed<T>
where PhantomData<fn() -> T>: UnwindSafe,

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
§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<H, T> HostDescriptorWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostDescriptorWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostDescriptorWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostDirectoryEntryStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostDirectoryEntryStreamWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostDirectoryEntryStreamWithStore<T> for H
where H: HasData + Send + ?Sized,

§

impl<H, T> HostErrorWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostIncomingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostIncomingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostIncomingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostInputStreamWithStore<T> for H
where H: HasData + ?Sized,

§

impl<H, T> HostInputStreamWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostNetworkWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostNetworkWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostOutgoingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostOutgoingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostOutgoingDatagramStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostOutputStreamWithStore<T> for H
where H: HasData + ?Sized,

§

impl<H, T> HostOutputStreamWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostPollableWithStore<T> for H
where H: HasData + ?Sized,

§

impl<H, T> HostPollableWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostResolveAddressStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostResolveAddressStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostResolveAddressStreamWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTcpSocketWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTcpSocketWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostTcpSocketWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostTerminalInputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalInputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalInputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalInputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalOutputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalOutputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalOutputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostTerminalOutputWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostUdpSocketWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostUdpSocketWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostUdpSocketWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + Send + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

Source§

impl<H, T> HostWithStore<T> for H
where H: HasData + ?Sized,

§

impl<H, T> HostWithStore<T> for H
where H: HasData + HostErrorWithStore<T> + ?Sized,

§

impl<H, T> HostWithStore<T> for H

§

impl<H, T> HostWithStore<T> for H

§

impl<T> Instrument for T

§

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

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

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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> MaybeSendSync for T

§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
§

impl<T> Pointee for T

§

type Pointer = u32

§

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

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>,

Source§

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.
§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

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