Skip to main content

Pod

ostd::specs::mm::pod

Trait Pod 

Source 
pub trait Pod: Copy + Sized {
    // Provided methods
    exec fn new_zeroed() -> Self { ... }
    fn new_uninit() -> Self { ... }
    fn as_bytes<const N: usize>(
        &self,
    ) -> (ArrayPtr<u8, N>, Tracked<&PointsTo<u8, N>>) { ... }
    fn as_bytes_mut(&mut self) -> &mut [u8] ⓘ { ... }
    fn as_bytes_ref(&self) -> &[u8] ⓘ { ... }
}
Expand description

A trait for Plain Old Data (POD) types.

Provided Methods§

Source

exec fn new_zeroed() -> Self

Creates a new instance of Pod type that is filled with zeroes.

Source

exec fn new_uninit() -> Self

Creates a new instance of Pod type with uninitialized content.

Source

exec fn as_bytes<const N: usize>( &self, ) -> slice : (ArrayPtr<u8, N>, Tracked<&PointsTo<u8, N>>)

ensures
slice.1@.value().len() == core::mem::size_of::<Self>(),
slice.1@.wf(),
slice.0.addr() == slice.1@.addr(),

As a slice of bytes.

Source

exec fn as_bytes_mut(&mut self) -> r : &mut [u8] ⓘ

ensures
r.len() == core::mem::size_of::<Self>(),

As a mutable slice of bytes.

Source

exec fn as_bytes_ref(&self) -> r : &[u8] ⓘ

ensures
r.len() == core::mem::size_of::<Self>(),

As an immutable slice of bytes.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§