Module diagnostics

Source

Structsยง

DisplayFmt ๐Ÿ”’
All parameters to determine how the tree is formatted.
DisplayFmtAccess ๐Ÿ”’
How to show whether a location has been accessed
DisplayFmtPadding ๐Ÿ”’
Formatting of the tree structure.
DisplayFmtPermission ๐Ÿ”’
Formatting of the permissions on each range.
DisplayFmtWrapper ๐Ÿ”’
Pretty-printing details
DisplayIndent ๐Ÿ”’
Track the indentation of the tree.
DisplayRepr ๐Ÿ”’
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.
Event
Complete data for an event:
History
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.
HistoryData
History formatted for use by src/diagnostics.rs.
NodeDebugInfo
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ยง

AccessCause
Cause of an access: either a real access or one inserted by Tree Borrows due to a reborrow or a deallocation.
TransitionError ๐Ÿ”’

Constantsยง

DEFAULT_FORMATTER ๐Ÿ”’

Functionsยง

char_repeat ๐Ÿ”’
Repeat a character a number of times.

Type Aliasesยง

S ๐Ÿ”’