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