pub struct OwnershipChecker<'a> { /* private fields */ }Expand description
Ownership checker - tracks variable states through control flow
Implementations§
Source§impl<'a> OwnershipChecker<'a>
impl<'a> OwnershipChecker<'a>
pub fn new(interner: &'a Interner) -> OwnershipChecker<'a>
Sourcepub fn var_states(&self) -> &HashMap<Symbol, VarState>
pub fn var_states(&self) -> &HashMap<Symbol, VarState>
Access the current variable ownership states.
Sourcepub fn check_program(
&mut self,
stmts: &[Stmt<'_>],
) -> Result<(), OwnershipError>
pub fn check_program( &mut self, stmts: &[Stmt<'_>], ) -> Result<(), OwnershipError>
Check a program for ownership violations
Auto Trait Implementations§
impl<'a> Freeze for OwnershipChecker<'a>
impl<'a> RefUnwindSafe for OwnershipChecker<'a>
impl<'a> Send for OwnershipChecker<'a>
impl<'a> Sync for OwnershipChecker<'a>
impl<'a> Unpin for OwnershipChecker<'a>
impl<'a> UnwindSafe for OwnershipChecker<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more