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