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.
|