module CategoryName: sig
.. end
Names for categories of checks.
type
error =
| |
Empty_name |
| |
Invalid_character of char |
exception Exception of error
Exception to be raised when a function of this module fails.
type
t = private string
The type of category names, respecting the "a-z
+" regular expression.
val make : string -> t
make x
returns the category name equal to x
.
Raises Exception
if x
is either empty, or contains a character that is
not a lowercase letter.
Predefined names
val code : t
The predefined category for code errors.
val documentation : t
The predefined category for documentation errors.
val interface : t
The predefined category for interface errors.
val metrics : t
The predefined category for metrics.
val miscellaneous : t
The predefined category for miscellaneous errors.
val typography : t
The predefined category for typography errors.