Struct PurityAnalysis

Source

pub struct PurityAnalysis {
    pub is_pure: bool,
    pub purity_level: PurityLevel,
    pub reasons: Vec<ImpurityReason>,
    pub confidence: f32,
    pub data_flow_info: Option<DataFlowAnalysis>,
    pub live_mutations: Vec<LocalMutation>,
    pub total_mutations: usize,
    pub var_names: Vec<String>,
}

Expand description

Result of purity analysis for a function

Fields§

§is_pure: bool§purity_level: PurityLevel§reasons: Vec<ImpurityReason>§confidence: f32§data_flow_info: Option<DataFlowAnalysis>§live_mutations: Vec<LocalMutation>

Live local mutations (after filtering out dead stores) This is useful for “almost pure” analysis - functions with only 1-2 live mutations are good refactoring candidates

§total_mutations: usize

Total mutations detected (before filtering dead stores)

§var_names: Vec<String>

Variable name mapping for translating VarIds (from CFG)

PurityAnalysis

Struct PurityAnalysis Copy item path

Fields§

Trait Implementations§

impl Clone for PurityAnalysis

fn clone(&self) -> PurityAnalysis

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

impl Debug for PurityAnalysis

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

Auto Trait Implementations§

impl Freeze for PurityAnalysis

impl RefUnwindSafe for PurityAnalysis

impl Send for PurityAnalysis

impl Sync for PurityAnalysis

impl Unpin for PurityAnalysis

impl UnsafeUnpin for PurityAnalysis

impl UnwindSafe for PurityAnalysis

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> EnsureExt<T> for T

fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>where P: Predicate<T>,

fn ensure_with<P, E, F>( self, predicate: P, error_fn: F, ) -> Validation<T, NonEmptyVec<E>>where P: Predicate<T>, F: FnOnce(&T) -> E,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct PurityAnalysis

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>
where P: Predicate<T>,

fn ensure_with<P, E, F>( self, predicate: P, error_fn: F, ) -> Validation<T, NonEmptyVec<E>>
where P: Predicate<T>, F: FnOnce(&T) -> E,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,