Expand description
Random access inspection of the results of a dataflow analysis.
Structs§
- Cursor
Position 🔒 - Results
Cursor - 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
ResultsCursor
s want to own anAnalysis
, and some want to borrow anAnalysis
, either mutable or immutably. This type allows all of the above. It’s similar toCow
, butCow
doesn’t allow mutable borrowing.