Struct rustc_mir::dataflow::DataflowState [−][src]
pub struct DataflowState<O: BitDenotation> { pub sets: AllSets<O::Idx>, operator: O, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
State of a dataflow analysis; couples a collection of bit sets with operator used to initialize and merge bits during analysis.
Fields
sets: AllSets<O::Idx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
All the sets for the analysis. (Factored into its own structure so that we can borrow it mutably on its own separate from other fields.)
operator: O
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
operator used to initialize, combine, and interpret bits.
Methods
impl<O: BitDenotation> DataflowState<O>
[src]
impl<O: BitDenotation> DataflowState<O>
pub fn each_bit<F>(&self, words: &IdxSet<O::Idx>, f: F) where
F: FnMut(O::Idx),
[src]
pub fn each_bit<F>(&self, words: &IdxSet<O::Idx>, f: F) where
F: FnMut(O::Idx),
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn interpret_set<'c, P>(
&self,
o: &'c O,
words: &IdxSet<O::Idx>,
render_idx: &P
) -> Vec<DebugFormatted> where
P: Fn(&O, O::Idx) -> DebugFormatted,
[src]
fn interpret_set<'c, P>(
&self,
o: &'c O,
words: &IdxSet<O::Idx>,
render_idx: &P
) -> Vec<DebugFormatted> where
P: Fn(&O, O::Idx) -> DebugFormatted,
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Auto Trait Implementations
impl<O> Send for DataflowState<O> where
O: Send,
impl<O> Send for DataflowState<O> where
O: Send,
impl<O> Sync for DataflowState<O> where
O: Sync,
impl<O> Sync for DataflowState<O> where
O: Sync,