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.
Failures that can occur during the execution of Tree Borrows procedures.