pub struct VarMap {
pub expr_map: HashMap<ExprID, ExprID>,
pub expr_map_rev: HashMap<ExprID, ExprID>,
pub name_map: HashMap<u64, u64>,
pub name_map_rev: HashMap<u64, u64>,
}Expand description
Functions for diffing and comparing mir code while ignoring exact variable IDs
Fields§
§expr_map: HashMap<ExprID, ExprID>§expr_map_rev: HashMap<ExprID, ExprID>§name_map: HashMap<u64, u64>§name_map_rev: HashMap<u64, u64>Implementations§
Source§impl VarMap
impl VarMap
pub fn new() -> Self
pub fn map_expr(&mut self, lhs: ExprID, rhs: ExprID)
pub fn map_name(&mut self, lhs: u64, rhs: u64)
fn try_update_name( &mut self, lhs: &ValueName, rhs: &ValueName, ) -> Result<(), ()>
fn compare_name( &self, (lhs_id, lhs_name): (&u64, &str), (rhs_id, rhs_name): (&u64, &str), ) -> bool
fn compare_exprs(&self, lhs: ExprID, rhs: ExprID) -> bool
pub fn compare_vals(&self, lhs: &ValueName, rhs: &ValueName) -> bool
Trait Implementations§
Auto Trait Implementations§
impl Freeze for VarMap
impl RefUnwindSafe for VarMap
impl Send for VarMap
impl Sync for VarMap
impl Unpin for VarMap
impl UnwindSafe for VarMap
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
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more