Method init_std_fds

src/fdmap.rs:43–56

should only be called on empty fdmap

(&mut self)

    // #[external_method(into)]
    #[requires (self.counter == 0)] //should only be called on empty fdmap
    pub fn init_std_fds(&mut self) -> RuntimeResult<()> {
        let stdin_fd = stdin().as_raw_fd();
        let stdout_fd = stdout().as_raw_fd();
        let stderr_fd = stderr().as_raw_fd();
        if (stdin_fd >= 0) && (stdout_fd >= 0) && (stderr_fd >= 0) {
            // upcasting i32 => usize is safe since we checked that it is positive
            // viper overflow checker would yell at us if this was not the case
            self.create(HostFd::from_raw(stdin_fd as usize));
            self.create(HostFd::from_raw(stdout_fd as usize));
            self.create(HostFd::from_raw(stderr_fd as usize));
            return Ok(());
        }
        Err(Emfile) // File descriptor failure
    }

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