Enum checkers::Event

pub enum Event {
    Empty,
    Allocation(Region),
    Deallocation(Region),
}

Metadata for a single allocation or deallocation.

Variants

Empty

Placeholder for empty events.

Allocation(Region)

An allocation.

Deallocation(Region)

A deallocation.

Methods

impl Event

pub fn is_allocation_with<F>(self, f: F) -> bool where
    F: FnOnce(Region) -> bool, 

Test if this event is an allocation which matches the specified predicate.

Examples

let event = checkers::Event::Allocation(checkers::Region {
    ptr: 100.into(),
    size: 100,
    align: 4,
});

assert!(event.is_allocation_with(|r| r.size == 100 && r.align == 4));
assert!(!event.is_deallocation_with(|r| r.size == 100 && r.align == 4));

pub fn is_deallocation_with<F>(self, f: F) -> bool where
    F: FnOnce(Region) -> bool, 

Test if this event is a deallocation which matches the specified predicate.

Examples

let event = checkers::Event::Deallocation(checkers::Region {
    ptr: 100.into(),
    size: 100,
    align: 4,
});

assert!(!event.is_allocation_with(|r| r.size == 100 && r.align == 4));
assert!(event.is_deallocation_with(|r| r.size == 100 && r.align == 4));

Trait Implementations

impl Clone for Event

fn clone(&self) -> Event

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Event

impl Debug for Event

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

Formats the value using the given formatter.