Skip to main contentModule mirror
- Operation ๐
- One recorded, hand-written
unsafe operation. - Relaxation ๐
- One recorded, deliberate difference between the workspace table and the
mirror.
- Kind ๐
- The kinds of hand-written
unsafe the inventory distinguishes.
- MIRROR_CRATE ๐
- The crate whose lint table is a hand-written mirror.
- MIRROR_SRC ๐
- The source tree the
OPERATIONS inventory covers. - OPERATIONS ๐
- Every hand-written
unsafe operation the relaxation is there to permit. - RELAXATIONS ๐
- The lints the mirror is allowed to state differently, and why.
- TABLES ๐
- The two lint tables, in the order they are reported.
- check_relaxation ๐
- The failures for a recorded relaxation that is no longer what was recorded.
- compare ๐
- Compares one table, returning a failure per drifted lint.
- display ๐
- Renders a path relative to the repository root where possible.
- diverged ๐
- The failure for two tables that state the same lint differently.
- document ๐
- Reads and parses a manifest.
- lints ๐
- Extracts one lint table as
lint -> rendered value. - missing ๐
- The failure for a workspace lint the mirror never gained.
- missing_relaxation ๐
- The failure for a relaxed lint that the mirror does not state at all.
- run ๐
- Runs the check.