Method fd_to_native

src/fdmap.rs:68–74

(&self, v_fd: SboxFd)

    // #[pure]
    #[ensures(result.is_ok() ==> old(v_fd) < MAX_SBOX_FDS)]
    pub fn fd_to_native(&self, v_fd: SboxFd) -> RuntimeResult<HostFd> {
        if v_fd >= MAX_SBOX_FDS {
            return Err(Ebadf);
        }
        // self.m[idx as usize]
        vec_checked_lookup(&self.m, v_fd)
    }

    #[pure]
    #[requires(index < MAX_SBOX_FDS)]