[−][src]Struct c2rust_transpile::cfg::multiples::MultipleInfo
Information about branching in a CFG.
Methods
impl<Lbl: Hash + Ord + Clone> MultipleInfo<Lbl>[src]
pub fn new() -> Self[src]
pub fn absorb(&mut self, other: MultipleInfo<Lbl>)[src]
Merge the information from another MultipleInfo into this MultipleInfo
pub fn rewrite_blocks(&mut self, rewrites: &IndexMap<Lbl, Lbl>)[src]
Rewrite nodes to take into account a node remapping. Note that the remapping is usually going to be very much not injective - the whole point of remapping is to merge some nodes.
pub fn add_multiple(&mut self, join: Lbl, arms: Vec<(Lbl, IndexSet<Lbl>)>)[src]
Add in information about a new multiple
pub fn get_multiple<'a>(
&'a self,
entries: &BTreeSet<Lbl>
) -> Option<&'a (Lbl, IndexMap<Lbl, IndexSet<Lbl>>)>[src]
&'a self,
entries: &BTreeSet<Lbl>
) -> Option<&'a (Lbl, IndexMap<Lbl, IndexSet<Lbl>>)>
Look up the multiple, if there is one, which corresponds to the given set of entry labels.
Trait Implementations
impl<Lbl: Clone + Hash + Ord> Clone for MultipleInfo<Lbl>[src]
fn clone(&self) -> MultipleInfo<Lbl>[src]
default fn clone_from(&mut self, source: &Self)1.0.0[src]
Performs copy-assignment from source. Read more
impl<Lbl: Debug + Hash + Ord> Debug for MultipleInfo<Lbl>[src]
Auto Trait Implementations
impl<Lbl> Send for MultipleInfo<Lbl> where
Lbl: Send,
Lbl: Send,
impl<Lbl> Sync for MultipleInfo<Lbl> where
Lbl: Sync,
Lbl: Sync,
Blanket Implementations
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
impl<T> From for T[src]
impl<T, U> Into for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T> Borrow for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<E> SpecializationError for E[src]
default fn not_found<S, T>(
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized, [src]
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized,
impl<T> Erased for T[src]
impl<T> Send for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Sync for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Make for T[src]
impl<T> MaybeResult for T[src]
impl<'a, T> Captures for T where
T: ?Sized, [src]
T: ?Sized,