Module cursor 

Random access inspection of the results of a dataflow analysis.

Re-exports

use std::cmp::Ordering; 🔒

use std::ops::Deref; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Location; 🔒

use super::Analysis; 🔒

use super::Direction; 🔒

use super::Effect; 🔒

use super::EffectIndex; 🔒

use super::Results; 🔒

Structs

CursorPosition 🔒

ResultsCursor

Allows random access inspection of the results of a dataflow analysis. Use this when you want to inspect domain values only in certain locations; use ResultsVisitor if you want to inspect domain values in many or all locations.

Enums

SimpleCow 🔒

This is like Cow, but it lacks the T: ToOwned bound and doesn’t support to_owned/into_owned.