Struct polonius_engine::Output [−][src]
pub struct Output<T: FactTypes> {}Show 17 fields
pub errors: FxHashMap<T::Point, Vec<T::Loan>>, pub subset_errors: FxHashMap<T::Point, BTreeSet<(T::Origin, T::Origin)>>, pub move_errors: FxHashMap<T::Point, Vec<T::Path>>, pub dump_enabled: bool, pub loan_live_at: FxHashMap<T::Point, Vec<T::Loan>>, pub origin_contains_loan_at: FxHashMap<T::Point, BTreeMap<T::Origin, BTreeSet<T::Loan>>>, pub origin_contains_loan_anywhere: FxHashMap<T::Origin, BTreeSet<T::Loan>>, pub origin_live_on_entry: FxHashMap<T::Point, Vec<T::Origin>>, pub loan_invalidated_at: FxHashMap<T::Point, Vec<T::Loan>>, pub subset: FxHashMap<T::Point, BTreeMap<T::Origin, BTreeSet<T::Origin>>>, pub subset_anywhere: FxHashMap<T::Origin, BTreeSet<T::Origin>>, pub var_live_on_entry: FxHashMap<T::Point, Vec<T::Variable>>, pub var_drop_live_on_entry: FxHashMap<T::Point, Vec<T::Variable>>, pub path_maybe_initialized_on_exit: FxHashMap<T::Point, Vec<T::Path>>, pub path_maybe_uninitialized_on_exit: FxHashMap<T::Point, Vec<T::Path>>, pub known_contains: FxHashMap<T::Origin, BTreeSet<T::Loan>>, pub var_maybe_partly_initialized_on_exit: FxHashMap<T::Point, Vec<T::Variable>>,
Fields
errors: FxHashMap<T::Point, Vec<T::Loan>>
subset_errors: FxHashMap<T::Point, BTreeSet<(T::Origin, T::Origin)>>
move_errors: FxHashMap<T::Point, Vec<T::Path>>
dump_enabled: bool
loan_live_at: FxHashMap<T::Point, Vec<T::Loan>>
origin_contains_loan_at: FxHashMap<T::Point, BTreeMap<T::Origin, BTreeSet<T::Loan>>>
origin_contains_loan_anywhere: FxHashMap<T::Origin, BTreeSet<T::Loan>>
origin_live_on_entry: FxHashMap<T::Point, Vec<T::Origin>>
loan_invalidated_at: FxHashMap<T::Point, Vec<T::Loan>>
subset: FxHashMap<T::Point, BTreeMap<T::Origin, BTreeSet<T::Origin>>>
subset_anywhere: FxHashMap<T::Origin, BTreeSet<T::Origin>>
var_live_on_entry: FxHashMap<T::Point, Vec<T::Variable>>
var_drop_live_on_entry: FxHashMap<T::Point, Vec<T::Variable>>
path_maybe_initialized_on_exit: FxHashMap<T::Point, Vec<T::Path>>
path_maybe_uninitialized_on_exit: FxHashMap<T::Point, Vec<T::Path>>
known_contains: FxHashMap<T::Origin, BTreeSet<T::Loan>>
var_maybe_partly_initialized_on_exit: FxHashMap<T::Point, Vec<T::Variable>>
Implementations
All variants require the same initial preparations, done in multiple successive steps:
- compute initialization data
- compute liveness
- prepare static inputs as shared
Relation
s - in cases where
LocationInsensitive
variant is ran as a filtering pre-pass, partial results can also be stored in the context, so that the following variant can use it to prune its own input data
Trait Implementations
impl<T: Clone + FactTypes> Clone for Output<T> where
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Path: Clone,
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Variable: Clone,
T::Point: Clone,
T::Variable: Clone,
T::Point: Clone,
T::Path: Clone,
T::Point: Clone,
T::Path: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Variable: Clone,
impl<T: Clone + FactTypes> Clone for Output<T> where
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Path: Clone,
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Origin: Clone,
T::Point: Clone,
T::Variable: Clone,
T::Point: Clone,
T::Variable: Clone,
T::Point: Clone,
T::Path: Clone,
T::Point: Clone,
T::Path: Clone,
T::Origin: Clone,
T::Loan: Clone,
T::Point: Clone,
T::Variable: Clone,
impl<T: Debug + FactTypes> Debug for Output<T> where
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Path: Debug,
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Variable: Debug,
T::Point: Debug,
T::Variable: Debug,
T::Point: Debug,
T::Path: Debug,
T::Point: Debug,
T::Path: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Variable: Debug,
impl<T: Debug + FactTypes> Debug for Output<T> where
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Path: Debug,
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Origin: Debug,
T::Point: Debug,
T::Variable: Debug,
T::Point: Debug,
T::Variable: Debug,
T::Point: Debug,
T::Path: Debug,
T::Point: Debug,
T::Path: Debug,
T::Origin: Debug,
T::Loan: Debug,
T::Point: Debug,
T::Variable: Debug,
Auto Trait Implementations
impl<T> RefUnwindSafe for Output<T> where
<T as FactTypes>::Loan: RefUnwindSafe,
<T as FactTypes>::Origin: RefUnwindSafe,
<T as FactTypes>::Path: RefUnwindSafe,
<T as FactTypes>::Point: RefUnwindSafe,
<T as FactTypes>::Variable: RefUnwindSafe,
impl<T> Send for Output<T> where
<T as FactTypes>::Loan: Send,
<T as FactTypes>::Origin: Send,
<T as FactTypes>::Path: Send,
<T as FactTypes>::Point: Send,
<T as FactTypes>::Variable: Send,
impl<T> Sync for Output<T> where
<T as FactTypes>::Loan: Sync,
<T as FactTypes>::Origin: Sync,
<T as FactTypes>::Path: Sync,
<T as FactTypes>::Point: Sync,
<T as FactTypes>::Variable: Sync,
impl<T> Unpin for Output<T> where
<T as FactTypes>::Loan: Unpin,
<T as FactTypes>::Origin: Unpin,
<T as FactTypes>::Path: Unpin,
<T as FactTypes>::Point: Unpin,
<T as FactTypes>::Variable: Unpin,
impl<T> UnwindSafe for Output<T> where
<T as FactTypes>::Loan: RefUnwindSafe + UnwindSafe,
<T as FactTypes>::Origin: RefUnwindSafe + UnwindSafe,
<T as FactTypes>::Path: UnwindSafe,
<T as FactTypes>::Point: UnwindSafe,
<T as FactTypes>::Variable: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more