Enum Handle

pub enum Handle {
    Null,
    Pseudo(PseudoHandle),
    Thread(ThreadId),
}

Miri representation of a Windows HANDLE

Variants

Null

Pseudo(PseudoHandle)

Thread(ThreadId)

Implementations

impl Handle

const NULL_DISCRIMINANT: u32 = 0u32

const PSEUDO_DISCRIMINANT: u32 = 1u32

const THREAD_DISCRIMINANT: u32 = 2u32

fn discriminant(self) -> u32

fn data(self) -> u32

fn packed_disc_size() -> u32

fn to_packed(self) -> u32

Converts a handle into its machine representation.

The upper Self::packed_disc_size() bits are used to store a discriminant corresponding to the handle variant. The remaining bits are used for the variant’s field.

None of this layout is guaranteed to applications by Windows or Miri.

fn new(discriminant: u32, data: u32) -> Option<Self>

fn from_packed(handle: u32) -> Option<Self>

see docs for to_packed

pub fn to_scalar(self, cx: &impl HasDataLayout) -> Scalar

pub fn try_from_scalar<'tcx>( handle: Scalar, cx: &MiriInterpCx<'tcx>, ) -> InterpResult<'tcx, Result<Self, HandleError>>

Convert a scalar into a structured Handle. Structurally invalid handles return HandleError::InvalidHandle. If the handle is structurally valid but semantically invalid, e.g. a for non-existent thread ID, returns HandleError::ThreadNotFound.

Trait Implementations

impl Clone for Handle

fn clone(&self) -> Handle

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Handle

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

Formats the value using the given formatter.

impl Hash for Handle

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Handle

fn eq(&self, other: &Handle) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Handle

impl Eq for Handle

impl StructuralPartialEq for Handle

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes

Size for each variant:

• Null: 0 bytes
• Pseudo: 4 bytes
• Thread: 4 bytes