Module cursor

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.