pub struct Checker<'a, F: Function> { /* private fields */ }Implementations
sourceimpl<'a, F: Function> Checker<'a, F>
impl<'a, F: Function> Checker<'a, F>
sourcepub fn new(f: &'a F, machine_env: &'a MachineEnv) -> Checker<'a, F>
pub fn new(f: &'a F, machine_env: &'a MachineEnv) -> Checker<'a, F>
Create a new checker for the given function, initializing CFG
info immediately. The client should call the add_*()
methods to add abstract instructions to each BB before
invoking run() to check for errors.
sourcepub fn prepare(&mut self, out: &Output)
pub fn prepare(&mut self, out: &Output)
Build the list of checker instructions based on the given func and allocation results.
sourcepub fn run(self) -> Result<(), CheckerErrors>
pub fn run(self) -> Result<(), CheckerErrors>
Find any errors, returning Err(CheckerErrors) with all errors found
or Ok(()) otherwise.
Trait Implementations
Auto Trait Implementations
impl<'a, F> RefUnwindSafe for Checker<'a, F> where
F: RefUnwindSafe,
impl<'a, F> Send for Checker<'a, F> where
F: Sync,
impl<'a, F> Sync for Checker<'a, F> where
F: Sync,
impl<'a, F> Unpin for Checker<'a, F>
impl<'a, F> UnwindSafe for Checker<'a, F> where
F: RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more