Traits

  • Things that can be visited by a ResultsVisitor.
  • A visitor over the results of an Analysis. The type parameter R is the results type being visited.

Functions

  • Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.