Enum FlowKind 

pub enum FlowKind {
    Assign,
    Derive,
    Read,
    Write,
    Return,
    Argument,
    Reference,
    Dereference,
    Conditional,
    SharedBorrow,
    MutBorrow,
    Move,
    Clone,
    Copy,
    Drop,
    Reborrow,
    Index,
}

Kind of data flow.

Variants

Assign

Value is assigned: target = source.

Derive

Value is derived/computed: target = f(source).

Read

Value is read from source.

Write

Value is written to target.

Return

Value is returned from function.

Argument

Value is passed as argument.

Reference

Value flows through a reference (legacy, prefer SharedBorrow/MutBorrow).

Dereference

Value flows through a dereference.

Conditional

Conditional flow (if/match guard).

SharedBorrow

Shared borrow: &source.

MutBorrow

Mutable borrow: &mut source.

Move

Ownership transfer (move): target = source where source is not Copy.

Clone

Clone operation: target = source.clone().

Copy

Copy operation: target = source where source is Copy.

Drop

Drop/scope end: value goes out of scope.

Reborrow

Reborrow: borrowing from an existing reference.

Index

Index operation: collection[index].

Implementations

impl FlowKind

pub fn transfers_ownership(&self) -> bool

Check if this flow kind transfers ownership.

pub fn is_borrow(&self) -> bool

Check if this flow kind creates a borrow.

pub fn is_mutable(&self) -> bool

Check if this flow kind is a mutable operation.

Trait Implementations

impl Clone for FlowKind

fn clone(&self) -> FlowKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FlowKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FlowKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for FlowKind

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 FlowKind

fn eq(&self, other: &FlowKind) -> 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 Serialize for FlowKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for FlowKind

impl Eq for FlowKind

impl StructuralPartialEq for FlowKind