Enum c2rust_refactor::analysis::ownership::PermVar

pub enum PermVar {
    Static(Var),
    Sig(Var),
    Inst(Var),
    Local(Var),
}

A permission variable.

Variants

Static(Var)

"Static" variables appear in the types of non-function items. This includes static items as well as structs and other ADTs. Constraints on static vars are inferred from their usage inside functions.

Sig(Var)

"Signature" variables appear in the signatures of function items. Constraints on sig vars are inferred from the body of the function in question.

Inst(Var)

"Instantiation" variables appear in the instantiations of function signatures inside other functions. They are left intact during the initial summary generation, to be filled in during a later phase of the analysis.

Local(Var)

"Local" variables appear in the types of temporaries. Constraints on local vars are produced while analyzing a function, and are simplified away when the function's constraint generation is done.

Trait Implementations

impl Eq for PermVar

impl Copy for PermVar

impl PartialEq<PermVar> for PermVar

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Clone for PermVar

fn clone(&self) -> PermVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PermVar

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

Formats the value using the given formatter.