Index of types


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 [ConfigLexer]
error [IgnoreLexer]
error [ParameterName]
error [OutputName]
error [CheckName]
error [CategoryName]
error [Parameter]
error [Plugin]
error [Annotation]
error [Ocamldep]
error [Aspell]

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 [ParameterName]
The type of parameters names, respecting the "a-z+" regular expression.
t [OutputName]
The type of output names, respecting the "a-z\-+" regular expression.
t [Report]
The type of reports, that is collections of elements.
t [CheckName]
The type of check names, respecting the "a-z+" regular expression.
t [RollingHash]
The type represensing the state of a rolling hash.
t [Configuration]
The type representing the contents of a configuration file.
t [Check.T]
The type on which the check operates.
t [Check]
The type of checks.
t [CategoryName]
The type of category names, respecting the "a-z+" regular expression.
t [Ignore]
The type of elements to ignore when outputing a report.
t [Parameter]
The type of parameters.
t [Output]
The type of outputs.
t [Annotation]
The kind of annotations.
t [Cache]
The type of cache strucutres, with unbounded sizes.
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.