Doc_moduleTypeComment
Check: enforce presence of module type comments.
Code_deprecated
Check: deprecated elements.
Interf_duplicate
Check: duplicate exported values.
Code_nestedTry
Check: nested 'try' constructs.
Code_physicalComparisons
Check: detects physical comparisons.
Code_nestedIf
Check: nested 'if' constructs.
Code_open
Check: open statements.
Code_length
Check: elements that are too lengthy.
Code_predefinedOperators
Check: redefinition predefined of operators.
Code_uselessBinding
Check: detects useless bindings.
Code_predefinedExceptions
Check: redefinition of predefined exceptions.
Code_nestedFor
Check: nested 'for' constructs.
Code_emptyFor
Check: empty 'for' constructs.
Code_idempotentOperations
Check: detects some idempotent operations.
Typo_tabCharacter
Check: tabulation character.
Code_emptyWhile
Check: empty 'while' constructs.
Metrics_halstead
Check: Halstead complexity.
Doc_exceptionComment
Check: enforce presence of exception comments.
Code_magicNumber
Check: magic numbers.
Code_emptyTry
Check: empty 'try' constructs.
Typo_trailingWhiteSpace
Check: end-of-line whitespace.
Metrics_coupling
Check: computes dependencies.
Code_noEffectAssignment
Check: detects assignments with no effect.
Interf_exportedEmpty
Check: presence of empty structures.
Doc_classComment
Check: enforce presence of class comments.
Doc_moduleComment
Check: enforce presence of module comments.
Code_tupleSize
Check: lengthy tuples.
Interf_exportedCount
Check: presence of complex structures.
Code_parameterCount
Check: functions with too many parameters.
Typo_lineLength
Check: long lines.
Code_ignoreUnit
Check: ignore over unit expressions.
Code_uselessExternalParentheses
Check: useless external parentheses.
Code_nestedWhile
Check: nested 'while' constructs.
Misc_regexp
Check: regular expression matching.
Doc_typeComment
Check: enforce presence of type comments.
Typo_spacesAroundPunctuation
Check: white spaces around punctuation signs.
Doc_spell
Check: spell-check the text of ocamldoc comments.
Interf_methodCount
Check: presence of complex classes.
Doc_classTypeComment
Check: enforce presence of class type comments.
Typo_fileLength
Check: long files.
Typo_spacesAroundBlocks
Check: white spaces around block delimiters.
Code_catchAll
Check: catch of all exceptions.
Code_complexCondition
Check: complex if/while/when conditions.
Metrics_mccabe
Check: McCabe complexity.
Code_negatedIf
Check: negated 'if' condition.
Code_textualDuplicate
Check: textual duplicates.
Code_stringLiterals
Check: duplicate string literals.
Typo_trailingNewLine
Check: end-of-file newline.
Code_identifierLength
Check: identifiers that are too short.
Code_builtinTypes
Check: redefinition of builtin types.
Typo_header
Check: coherent headers for source files.
Typo_spacesAroundOperators
Check: white spaces around operators.
Doc_valueComment
Check: enforce presence of value comments.
Csv
Comma-separated output mode.
Xml
XML output mode.
Binary
Binary output mode.
Jdepend
JDepend-compatible output mode.
Checkstyle
CheckStyle-compatible output mode.
Text
Bare text output mode.
Html
HTML output mode.
Summary
Output mode writing only top-level statistics.
Cache
Cache / memoization structures.
Aspell
Spell-checking through the Aspell tool.
Ocamldep
Dependency analysis through the ocamldep tool.
Annotation
Definition annotation file contents.
Plugin
Handling of dynamically-loaded plugins (both checks and outputs).
Version
Current Mascot version.
Output
Definition of output modes.
State
Definition of checks states.
Parameter
Check parameters.
Ignore
Ignore files.
CategoryName
Names for categories of checks.
Camlp4Utils
Utility functions related to the camlp4 library.
Images
Data for images used in HTML output mode.
Check
Definition of checks in various flavors.
Configuration
Configuration files.
RollingHash
Naive implementation of a rolling hash over strings.
CheckName
Names for checks.
Report
Reports of check violations.
OutputName
Names for outputs.
OcamldocUtils
Utility functions related to the ocamldoc library.
ParameterName
Names for parameters.
Utils
Miscellaneous utility functions (time, string, i/o, parsing, XML).
IgnoreLexer
IgnoreParser
ConfigLexer
ConfigParser
Args
Handling of command-line arguments.
Predefined
Lists of predefined checks and outputs.