Module diagnostics

Module diagnostics 

Source

Structsยง

DiagnosticInfo
Diagnostics data about the current access and the location we are accessing. Used to create history events and errors.
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.
no_valid_exposed_references_error
Cannot access this allocation with wildcard provenance, as there are no valid exposed references for this access kind.

Type Aliasesยง

S ๐Ÿ”’