Trait wiggle::GuestTypeTransparent

pub unsafe trait GuestTypeTransparent<'a>: GuestType<'a> {
    fn validate(ptr: *mut Self) -> Result<(), GuestError>;
}

A trait for GuestTypes that have the same representation in guest memory as in Rust. These types can be used with the GuestPtr::as_raw method to view as a slice.

Unsafe trait because a correct GuestTypeTransparent implemengation ensures that the GuestPtr::as_raw methods are safe. This trait should only ever be implemented by wiggle_generate-produced code.

Required methods

fn validate(ptr: *mut Self) -> Result<(), GuestError>

Checks that the memory at ptr is a valid representation of Self.

Assumes that memory safety checks have already been performed: ptr has been checked to be aligned correctly and reside in memory using GuestMemory::validate_size_align

Loading content...

Implementations on Foreign Types

impl<'a> GuestTypeTransparent<'a> for i8

fn validate(_ptr: *mut i8) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for i16

fn validate(_ptr: *mut i16) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for i32

fn validate(_ptr: *mut i32) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for i64

fn validate(_ptr: *mut i64) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for i128

fn validate(_ptr: *mut i128) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for u8

fn validate(_ptr: *mut u8) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for u16

fn validate(_ptr: *mut u16) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for u32

fn validate(_ptr: *mut u32) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for u64

fn validate(_ptr: *mut u64) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for u128

fn validate(_ptr: *mut u128) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for f32

fn validate(_ptr: *mut f32) -> Result<(), GuestError>

impl<'a> GuestTypeTransparent<'a> for f64

fn validate(_ptr: *mut f64) -> Result<(), GuestError>

Loading content...

Implementors

Loading content...