A | |
| annotations [Check] |
The type associated with checks over annotation files.
|
B | |
| binary_annotations [Check] |
The type associated with checks over binary annotation files.
|
| block [Annotation] |
The type of blocks, that is a range and associated elements.
|
C | |
| call [Annotation] |
The kind of function calls.
|
| category [Configuration] |
The type of categories found in a configuration file.
|
| check [Configuration] |
The type of checks found in a configuration file.
|
D | |
| dependency [Ocamldep] |
The type of dependencies, as reported by ocamldep.
|
| desc [Parameter] |
The type of parameter descriptors, components being: name;, short documentation;, default value;, predicate validating a value.
|
E | |
| element [Report] |
The type of report element, that is check violations.
|
| error [Args] | |
| error [Aspell] | |
| error [Plugin] | |
| error [ParameterName] | |
| error [Parameter] | |
| error [CheckName] | |
| error [OutputName] | |
| error [Ocamldep] | |
| error [Annotation] | |
| error [CategoryName] | |
| error [IgnoreLexer] | |
| error [ConfigLexer] | |
F | |
| file [Check] |
The kind of analyzed files.
|
| file [Annotation] |
The type representing the contents of a whole file.
|
G | |
| getter [State] |
The type of function used for retrieving a state from an identifier.
|
I | |
| id [State] |
The type of state identifiers.
|
| ident [Annotation] |
The kind of identifier uses.
|
K | |
| kind [Report] |
The type of element kinds, that is the level of a report element.
|
L | |
| lines [Check] |
The type associated with checks over source lines.
|
M | |
| map [Parameter] |
The type of parameter maps associating name to values.
|
| mistake [Aspell] |
The type of mistakes, as reported by Aspell.
|
O | |
| ocamldoc [Check] |
The type associated with checks over ocamldoc comments.
|
P | |
| position [Annotation] |
The type of file positions.
|
| predicate [Parameter] |
The type of predicates over a parameter value.
|
R | |
| report [Check] |
The type of reports, that is report functions for the various levels.
|
| report_function [Check] |
The type of report functions, accepting the following parameters: line;, column;, message.
|
S | |
| setter [State] |
The type of function used for setting a state from an identifier.
|
| signature [Check] |
The type associated with checks over interface syntax trees.
|
| structure [Check] |
The type associated with checks over implementation syntax trees.
|
T | |
| t [Output] |
The type of outputs.
|
| t [ParameterName] |
The type of parameters names, respecting the "
a-z+" regular expression.
|
| t [Ignore] |
The type of elements to ignore when outputing a report.
|
| t [Configuration] |
The type representing the contents of a configuration file.
|
| t [RollingHash] |
The type represensing the state of a rolling hash.
|
| t [Parameter] |
The type of parameters.
|
| t [Check.T] |
The type on which the check operates.
|
| t [Check] |
The type of checks.
|
| t [Cache] |
The type of cache strucutres, with unbounded sizes.
|
| t [CheckName] |
The type of check names, respecting the "
a-z+" regular expression.
|
| t [OutputName] |
The type of output names, respecting the "
a-z\-+" regular expression.
|
| t [Annotation] |
The kind of annotations.
|
| t [Report] |
The type of reports, that is collections of elements.
|
| t [CategoryName] |
The type of category names, respecting the "
a-z+" regular expression.
|
| token [ConfigParser] | |
| token [IgnoreParser] | |
| tokens [Check] |
The type associated with checks over source tokens.
|
V | |
| value [Configuration] |
The type of parameter values found in a configuration file.
|
X | |
| xml_data [Utils] |
The type of (simplified) XML tree.
|
| xml_tree [Utils] |
XML node children.
|