Enum Time

pub enum Time {
    Unspecified,
    Before,
    After,
}

A classification on when this visitor is executed. This is designed to allow splitting of the effect of a function call into the argument unification and the return/mut arg modification.

Self::Before means we are evaluating the state before the call happens, so we are only concerned with mutations if the argument places that read all their reachable values.

Self::After means we are evaluating the state when the call is taking place. That is to say the modification it performs on any reachable mutable places or the return value.

Self::Unspecified mean do both.

This has no effect on any statements or terminators besides function calls.

Variants

Unspecified

Before

After

Trait Implementations

impl Clone for Time

fn clone(&self) -> Time

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for Time

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Time

fn eq(&self, other: &Time) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Time

impl Eq for Time

impl StructuralPartialEq for Time