Struct WasiFs

pub struct WasiFs {
    pub preopen_fds: RwLock<Vec<u32>>,
    pub name_map: HashMap<String, Inode>,
    pub fd_map: RwLock<HashMap<u32, Fd>>,
    pub next_fd: AtomicU32,
    pub current_dir: Mutex<String>,
    pub is_wasix: AtomicBool,
    pub fs_backing: Box<dyn FileSystem>,
    /* private fields */
}

Warning, modifying these fields directly may cause invariants to break and should be considered unsafe. These fields may be made private in a future release

Fields

preopen_fds: RwLock<Vec<u32>>

name_map: HashMap<String, Inode>

fd_map: RwLock<HashMap<u32, Fd>>

next_fd: AtomicU32

current_dir: Mutex<String>

is_wasix: AtomicBool

fs_backing: Box<dyn FileSystem>

Implementations

impl WasiFs

pub unsafe fn open_dir_all( &mut self, inodes: &mut WasiInodes, base: WasiFd, name: String, rights: Rights, rights_inheriting: Rights, flags: Fdflags, ) -> Result<WasiFd, FsError>

This function is like create dir all, but it also opens it. Function is unsafe because it may break invariants and hasn’t been tested. This is an experimental function and may be removed

Safety

• Virtual directories created with this function must not conflict with the standard operation of the WASI filesystem. This is vague and unlikely in pratice. Join the discussion for what the newer, safer WASI FS APIs should look like.

pub fn open_file_at( &mut self, inodes: &mut WasiInodes, base: WasiFd, file: Box<dyn VirtualFile + Send + Sync + 'static>, open_flags: u16, name: String, rights: Rights, rights_inheriting: Rights, flags: Fdflags, ) -> Result<WasiFd, FsError>

Opens a user-supplied file in the directory specified with the name and flags given

pub fn swap_file( &self, inodes: &WasiInodes, fd: WasiFd, file: Box<dyn VirtualFile + Send + Sync + 'static>, ) -> Result<Option<Box<dyn VirtualFile + Send + Sync + 'static>>, FsError>

Change the backing of a given file descriptor Returns the old backing TODO: add examples

pub fn set_current_dir(&self, path: &str)

Changes the current directory

pub fn get_current_dir( &self, inodes: &mut WasiInodes, base: WasiFd, ) -> Result<(Inode, String), Errno>

Gets the current directory

pub fn get_fd(&self, fd: WasiFd) -> Result<Fd, Errno>

pub fn get_fd_inode(&self, fd: WasiFd) -> Result<Index, Errno>

pub fn filestat_fd( &self, inodes: &WasiInodes, fd: WasiFd, ) -> Result<Filestat, Errno>

pub fn fdstat(&self, inodes: &WasiInodes, fd: WasiFd) -> Result<Fdstat, Errno>

pub fn prestat_fd( &self, inodes: &WasiInodes, fd: WasiFd, ) -> Result<Prestat, Errno>

pub fn flush(&self, inodes: &WasiInodes, fd: WasiFd) -> Result<(), Errno>

pub fn create_fd( &self, rights: Rights, rights_inheriting: Rights, flags: Fdflags, open_flags: u16, inode: Inode, ) -> Result<WasiFd, Errno>

pub fn clone_fd(&self, fd: WasiFd) -> Result<WasiFd, Errno>

pub unsafe fn remove_inode( &self, inodes: &mut WasiInodes, inode: Inode, ) -> Option<InodeVal>

Low level function to remove an inode, that is it deletes the WASI FS’s knowledge of a file.

This function returns the inode if it existed and was removed.

Safety

• The caller must ensure that all references to the specified inode have been removed from the filesystem.

pub fn get_stat_for_kind( &self, inodes: &WasiInodes, kind: &Kind, ) -> Result<Filestat, Errno>

Trait Implementations

impl Debug for WasiFs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.