Method translate_iovs

src/runtime.rs:386–410

(&self, iovs: &WasmIoVecs)

    }
    )]
    pub fn translate_iovs(&self, iovs: &WasmIoVecs) -> NativeIoVecs {
        let mut idx = 0;
        let mut native_iovs = NativeIoVecs::new();
        let iovcnt = iovs.len();
        while idx < iovcnt {
            body_invariant!(idx < iovcnt);
            body_invariant!(native_iovs.len() == idx);
            body_invariant!(ctx_safe(self));
            body_invariant!(trace_safe(trace, self));
            body_invariant!(
            forall(|idx: usize|  (idx >= 0 && idx < native_iovs.len()) ==> {
            let wasm_iov = iovs.lookup(idx);
            let iov = native_iovs.lookup(idx);
            iov.iov_base == raw_ptr(self.mem.as_slice()) + (wasm_iov.iov_base as usize) &&
            iov.iov_len == (wasm_iov.iov_len as usize)
            }));

            let iov = iovs.lookup(idx);
            let native_iov = self.translate_iov(iov);
            native_iovs.push(native_iov);
            idx += 1;
        }

        native_iovs
    }
}