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§

  • ResultsHandle
    Some ResultsCursors want to own a Results, and some want to borrow a Results, either mutable or immutably. This type allows all of the above. It’s similar to Cow.