Skip to main content

Module coverage

Module coverage 

Source
Expand description

The completeness table. Spec §4.1.

One cell per construct and language, each stating the rule that covers it or that it is deliberately uncovered, with a reason.

The table has no catch-all arm. A construct added to the common AST without a decision here is a compile error, not a language backend that silently emits nothing for it.

Enums§

ConstructKind
The constructs a rule catalogue has to account for.
Coverage
What a cell of the table says.

Functions§

cell_count
How many cells the table has.
coverage_of
What covers construct in language.
covered_count
How many cells of the table a rule covers.