Struct PlaceKey 

pub struct PlaceKey {
    pub base: PlaceBaseKey,
    pub fields: Vec<usize>,
}

Projection-insensitive enough place key for relevance tracking.

Fields

base: PlaceBaseKey

Base local/argument of the place.

fields: Vec<usize>

Field projections kept from the contract place.

Implementations

impl PlaceKey

pub fn from_mir_place(place: &Place<'_>) -> Self

Build a relevance place key from a MIR place.

pub fn local(&self) -> Option<Local>

Return the MIR local represented by this key when it is already known.

pub fn from_origin(local: usize, fields: Vec<usize>) -> Self

Build a PlaceKey from an analysis-level (origin_local, fields) tuple.

pub fn overlaps(&self, other: &PlaceKey) -> bool

Return true when this place shares a base-and-projection prefix with other. Two places overlap when one of them is a shorter projection of the other (e.g. [] overlaps [0], but [0] does not overlap [1]).

impl PlaceKey

pub fn from_contract_place(place: &ContractPlace<'_>) -> Self

Build a relevance place key from a parsed contract place.

Trait Implementations

impl Clone for PlaceKey

fn clone(&self) -> PlaceKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlaceKey

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

Formats the value using the given formatter.

impl Eq for PlaceKey

impl Hash for PlaceKey

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 PlaceKey

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PlaceKey