Struct Output

pub struct Output<T: FactTypes> {

    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

impl<T: FactTypes> Output<T>

pub fn compute( all_facts: &AllFacts<T>, algorithm: Algorithm, dump_enabled: bool, ) -> Self

All variants require the same initial preparations, done in multiple successive steps:

• compute initialization data
• compute liveness
• prepare static inputs as shared Relations
• 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

pub fn errors_at(&self, location: T::Point) -> &[T::Loan]

pub fn loans_in_scope_at(&self, location: T::Point) -> &[T::Loan]

pub fn origin_contains_loan_at( &self, location: T::Point, ) -> Cow<'_, BTreeMap<T::Origin, BTreeSet<T::Loan>>>

pub fn origins_live_at(&self, location: T::Point) -> &[T::Origin]

pub fn subsets_at( &self, location: T::Point, ) -> Cow<'_, BTreeMap<T::Origin, BTreeSet<T::Origin>>>

Trait Implementations

impl<T: Clone + FactTypes> Clone for Output<T>

where T::Point: Clone, T::Loan: Clone, T::Origin: Clone, T::Path: Clone, T::Variable: Clone,

fn clone(&self) -> Output<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + FactTypes> Debug for Output<T>

where T::Point: Debug, T::Loan: Debug, T::Origin: Debug, T::Path: Debug, T::Variable: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.