Struct RelevantPlaces 

pub struct RelevantPlaces {
    pub places: FxHashSet<PlaceKey>,
    pub locals: FxHashSet<Local>,
    pub saturated: FxHashSet<PlaceKey>,
    pub just_added: FxHashSet<PlaceKey>,
    pub need_len: FxHashSet<PlaceKey>,
}

Set of places that make MIR items relevant to a property.

Fields

places: FxHashSet<PlaceKey>

locals: FxHashSet<Local>

saturated: FxHashSet<PlaceKey>

just_added: FxHashSet<PlaceKey>

need_len: FxHashSet<PlaceKey>

Places whose length is needed by a Len(place) contract expression. Carried through the backward slice to trigger inclusion of slice::len() calls whose argument traces to the same origin.

Implementations

impl RelevantPlaces

pub fn new() -> Self

Create an empty relevance set.

pub fn is_empty(&self) -> bool

Return true when no roots have been collected.

pub fn insert_local(&mut self, local: Local)

Insert a MIR local as a relevance root, tracking the addition.

pub fn insert_mir_place(&mut self, place: &Place<'_>)

Insert a MIR place as a relevance root.

pub fn insert_place_key(&mut self, place: PlaceKey)

Insert a prebuilt place key as a relevance root, tracking addition.

pub fn extend(&mut self, other: RelevantPlaces)

Merge another relevance set into this one, tracking additions.

pub fn remove_place_keys(&mut self, places: &[PlaceKey])

Remove a list of place keys and rebuild the derived local set.

pub fn intersects(&self, other: &RelevantPlaces) -> bool

Return true if this set shares any known root with other.

pub fn remove_all(&mut self, other: &RelevantPlaces)

Remove all roots contained in other from this set, marking them as saturated (definition found).

fn rebuild_locals(&mut self)

impl RelevantPlaces

pub fn from_property(property: &Property<'_>) -> Self

Extract initial relevance roots from a required property.

pub fn insert_contract_place(&mut self, place: &ContractPlace<'_>)

Insert a contract place as a relevance root.

fn collect_property(&mut self, property: &Property<'_>)

Collect all roots mentioned by a property.

fn collect_target_argument_root( &mut self, kind: &PropertyKind, arg_index: usize, arg: &PropertyArg<'_>, ) -> bool

Collect a numeric std-contract target argument as a callee argument root.

fn collect_property_arg(&mut self, arg: &PropertyArg<'_>)

Collect all roots mentioned by a property argument.

fn collect_numeric_predicate(&mut self, predicate: &NumericPredicate<'_>)

Collect all roots mentioned by a numeric predicate.

fn collect_contract_expr(&mut self, expr: &ContractExpr<'_>)

Collect all roots mentioned by a contract expression.

Trait Implementations

impl Clone for RelevantPlaces

fn clone(&self) -> RelevantPlaces

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelevantPlaces

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

Formats the value using the given formatter.

impl Default for RelevantPlaces

fn default() -> RelevantPlaces

Returns the “default value” for a type.