Struct ssa::dfg::Variable

pub struct Variable { /* fields omitted */ }

Variable in solidity program

The variable can be Array, Array Access, Struct, Struct Access, Primitive Type, Global Access. We use the members field to describe the different among them.

• Array, Struct, Primitive: members contains only one Member::Reference
• Array Access: members contains one Member::Reference and one Member::IndexAccess
• Global Access: members will contains at least one Member::Global

Methods

impl Variable

pub fn to_tuple(&self) -> (&Vec<Member>, &String)

Export data to tuple format

pub fn parse(walker: &Walker, dict: &Dictionary) -> HashSet<Self>

Find all variables of the walker, we need the dictionary to identify Member::Global member

pub fn contains(&self, other: &Variable) -> VariableComparison

Use this to find the relationship between two variables The relationship is:

• Equal: if all members fields are the same
• PartialEq: if the intersection of two members fields are equal to one of them

Trait Implementations

impl Eq for Variable

impl PartialEq<Variable> for Variable

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

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

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

This method tests for !=.

impl Clone for Variable

fn clone(&self) -> Variable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl Hash for Variable

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, 

Feeds a slice of this type into the given [Hasher].