Trait creusot_contracts::std::ptr::PointerExt

pub trait PointerExt<T: ?Sized>: Sized {
    // Required methods
    fn addr_logic(self) -> Int;
    fn is_null_logic(self) -> bool;
}

Required Methods

fn addr_logic(self) -> Int

logical address of the pointer

logic

fn is_null_logic(self) -> bool

logic

ensures

result == (self.addr_logic() == 0)

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T: ?Sized> PointerExt<T> for *const T

fn addr_logic(self) -> Int

logic

fn is_null_logic(self) -> bool

logic

self.addr_logic() == 0

ensures

result == (self.addr_logic() == 0)

impl<T: ?Sized> PointerExt<T> for *mut T

fn addr_logic(self) -> Int

logic

fn is_null_logic(self) -> bool

logic

self.addr_logic() == 0

ensures

result == (self.addr_logic() == 0)

Implementors