Trait EvalContextPrivExt 

trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn socket_address(
        &self,
        address: &OpTy<'tcx>,
        address_len: &OpTy<'tcx>,
        foreign_name: &'static str,
    ) -> InterpResult<'tcx, Result<SocketAddr, IoError>> { ... }
    fn write_socket_address(
        &mut self,
        address: &SocketAddr,
        address_ptr: Pointer,
        address_len_ptr: Pointer,
        foreign_name: &'static str,
    ) -> InterpResult<'tcx, Result<(), IoError>> { ... }
    fn block_for_accept(
        &mut self,
        socket: FileDescriptionRef<Socket>,
        address_ptr: Pointer,
        address_len_ptr: Pointer,
        is_client_sock_nonblock: bool,
        dest: MPlaceTy<'tcx>,
    ) { ... }
    fn try_non_block_accept(
        &mut self,
        socket: &FileDescriptionRef<Socket>,
        address_ptr: Pointer,
        address_len_ptr: Pointer,
        is_client_sock_nonblock: bool,
    ) -> InterpResult<'tcx, Result<i32, IoError>> { ... }
    fn block_for_send(
        &mut self,
        socket: FileDescriptionRef<Socket>,
        buffer_ptr: Pointer,
        length: usize,
        finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
    ) { ... }
    fn try_non_block_send(
        &mut self,
        socket: &FileDescriptionRef<Socket>,
        buffer_ptr: Pointer,
        length: usize,
    ) -> InterpResult<'tcx, Result<usize, IoError>> { ... }
    fn block_for_recv(
        &mut self,
        socket: FileDescriptionRef<Socket>,
        buffer_ptr: Pointer,
        length: usize,
        should_peek: bool,
        finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
    ) { ... }
    fn try_non_block_recv(
        &mut self,
        socket: &FileDescriptionRef<Socket>,
        buffer_ptr: Pointer,
        length: usize,
        should_peek: bool,
    ) -> InterpResult<'tcx, Result<usize, IoError>> { ... }
    fn ensure_connected(
        &mut self,
        socket: FileDescriptionRef<Socket>,
        should_wait: bool,
        foreign_name: &'static str,
        action: DynMachineCallback<'tcx, Result<(), ()>>,
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods

fn socket_address( &self, address: &OpTy<'tcx>, address_len: &OpTy<'tcx>, foreign_name: &'static str, ) -> InterpResult<'tcx, Result<SocketAddr, IoError>>

Attempt to turn an address and length operand into a standard library socket address.

Returns an IO error should the address length not match the address family length.

fn write_socket_address( &mut self, address: &SocketAddr, address_ptr: Pointer, address_len_ptr: Pointer, foreign_name: &'static str, ) -> InterpResult<'tcx, Result<(), IoError>>

Attempt to write a standard library socket address into a pointer.

The address_len_ptr parameter serves both as input and output parameter. On input, it points to the size of the buffer address_ptr points to, and on output it points to the non-truncated size of the written address in the buffer pointed to by address_ptr.

If the address buffer doesn’t fit the whole address, the address is truncated to not overflow the buffer.

fn block_for_accept( &mut self, socket: FileDescriptionRef<Socket>, address_ptr: Pointer, address_len_ptr: Pointer, is_client_sock_nonblock: bool, dest: MPlaceTy<'tcx>, )

Block the thread until there’s an incoming connection or an error occurred.

This recursively calls itself should the operation still block for some reason.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Listening.

fn try_non_block_accept( &mut self, socket: &FileDescriptionRef<Socket>, address_ptr: Pointer, address_len_ptr: Pointer, is_client_sock_nonblock: bool, ) -> InterpResult<'tcx, Result<i32, IoError>>

Attempt to accept an incoming connection on the listening socket in a non-blocking manner.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Listening.

fn block_for_send( &mut self, socket: FileDescriptionRef<Socket>, buffer_ptr: Pointer, length: usize, finish: DynMachineCallback<'tcx, Result<usize, IoError>>, )

Block the thread until we can send bytes into the connected socket or an error occurred.

This recursively calls itself should the operation still block for some reason.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Connected.

fn try_non_block_send( &mut self, socket: &FileDescriptionRef<Socket>, buffer_ptr: Pointer, length: usize, ) -> InterpResult<'tcx, Result<usize, IoError>>

Attempt to send bytes into the connected socket in a non-blocking manner.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Connected.

fn block_for_recv( &mut self, socket: FileDescriptionRef<Socket>, buffer_ptr: Pointer, length: usize, should_peek: bool, finish: DynMachineCallback<'tcx, Result<usize, IoError>>, )

Block the thread until we can receive bytes from the connected socket or an error occurred.

This recursively calls itself should the operation still block for some reason.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Connected.

fn try_non_block_recv( &mut self, socket: &FileDescriptionRef<Socket>, buffer_ptr: Pointer, length: usize, should_peek: bool, ) -> InterpResult<'tcx, Result<usize, IoError>>

Attempt to receive bytes from the connected socket in a non-blocking manner.

Note: This function is only safe to call when having previously ensured that the socket is in SocketState::Connected.

fn ensure_connected( &mut self, socket: FileDescriptionRef<Socket>, should_wait: bool, foreign_name: &'static str, action: DynMachineCallback<'tcx, Result<(), ()>>, ) -> InterpResult<'tcx>

If the socket is currently neither in the SocketState::Connecting nor the SocketState::Connecting state, an ENOTCONN error is returned. When the callback function is called with Ok(_), then we’re guaranteed that the socket is in the SocketState::Connected state.

This function can optionally also block until either an error occurred or the socket reached the SocketState::Connected state.

Implementors

impl<'tcx> EvalContextPrivExt<'tcx> for MiriInterpCx<'tcx>