rustc_mir_dataflow::framework

Module cursor

Source
Expand description

Random access inspection of the results of a dataflow analysis.

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§

CowMut 🔒
Some ResultsCursors want to own an Analysis, and some want to borrow an Analysis, either mutable or immutably. This type allows all of the above. It’s similar to Cow, but Cow doesn’t allow mutable borrowing.