Structs

  • DisplayFmt 🔒
    All parameters to determine how the tree is formated.
  • How to show whether a location has been accessed
  • Formating of the tree structure.
  • Formating of the permissions on each range.
  • Pretty-printing details
  • Track the indentation of the tree.
  • Extracted information from the tree, in a form that is readily accessible for printing. I.e. resolve parent-child pointers into an actual tree, zip permissions with their tag, remove wrappers, stringify data.
  • Complete data for an event:
  • List of all events that affected a tag. NOTE: not all of these events are relevant for a particular location, the events should be filtered before the generation of diagnostics. Available filtering methods include History::forget and History::extract_relevant.
  • History formatted for use by src/diagnostics.rs.
  • Some information that is irrelevant for the algorithm but very convenient to know about a tag for debugging and testing.
  • TbError 🔒
    Failures that can occur during the execution of Tree Borrows procedures.

Enums

  • Cause of an access: either a real access or one inserted by Tree Borrows due to a reborrow or a deallocation.

Constants

Functions

  • Repeat a character a number of times.

Type Aliases

  • S 🔒