Index of module types


A
Attributes [State_dependency_graph]
Signature required by Graph.GraphViZ.Dot.

B
BackwardsTransfer [Dataflow]
Interface to provide for a backward dataflow analysis.
Bool [Plugin]
Signature for a boolean parameter.

C
Cacheable [Binary_cache]
Collapse [Abstract_interp]
Common [Dynamic.Parameter]
Set of common operations on parameters.
Counter [State_builder]

D
DATA [Qstack]

E
Elt [Indexer]

F
ForwardsTransfer [Dataflow]
Interface to provide for a backward dataflow analysis.
Functor_info [Datatype]
Additional info for building Set, Map and Hashtbl.

G
G [State_topological]
Minimal graph signature to provide.
General_services [Plugin]

H
Hashtbl [State_builder]
Output signature of builders of hashtables.
Hashtbl [Datatype]
A standard OCaml hashtbl signature extended with datatype operations.
Hashtbl_with_descr [Datatype]
Marshallable collectors with hashtbl-like interface.
Heterogeneous_table [Type]

I
INOUT [Db]
INOUTKF [Db]
Signature common to some Inout plugin options.
Id_Datatype [Hptset]
Input signature of the functor Set.Make.
Indexed_val [Plugin]
option interface
Indexed_val_input [Plugin]
input signature for IndexedVal
Info [State_builder]
Additional information required by State_builder.Register.
Info_with_size [State_builder]
Int [Plugin]
Signature for an integer parameter.
Iter_hook [Hook]

K
Key [Map_Lattice]

L
LatValue [Abstract_interp]
Lattice [Abstract_interp]
Generic lattice.
Lattice_Base [Abstract_interp]
Lattice_Product [Abstract_interp]
Lattice_Set [Abstract_interp]
Lattice_Sum [Abstract_interp]
Lattice_With_Diff [Abstract_interp]
Level [Cmdline]
List_ref [State_builder]
Output signature of ListRef.
Local [State]
Operations on the local state required for registering a new state via State_builder.Register.
Location_map_bitwise [Lmap_bitwise]

M
Machdeps [Cil]
Description of the machine as seen in GCC and MSVC modes.
Make_input [Datatype]
Map [Datatype]
A standard OCaml map signature extended with datatype operations.
Messages [Log]

O
OldDynlink [Dynlink_common_interface]
Option_ref [State_builder]
Output signature of OptionRef.

P
Parameter [Plugin]
Generic signature of a parameter.
Parameter_input [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument.
Parameter_input_with_arg [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.
Polymorphic [Type]
For a polymorphic type value with one type variable, you must use an implementation of this signature.
Polymorphic [Datatype]
Output signature of Datatype.Polymorphic.
Polymorphic2 [Type]
Same as Type.Polymorphic for polymorphic types with two type variables.
Polymorphic2 [Datatype]
Output signature of Datatype.Polymorphic2.
Polymorphic2_input [Type]
See module Type.Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.
Polymorphic3 [Type]
Same as Type.Polymorphic for polymorphic types with three type variables.
Polymorphic3 [Datatype]
Output signature of Datatype.Polymorphic3.
Polymorphic3_input [Type]
See module Type.Polymorphic_input: very same functions with two additional arguments corresponding to the second and third type variables.
Polymorphic4 [Type]
Same as Type.Polymorphic for polymorphic types with four type variables.
Polymorphic4 [Datatype]
Output signature of Datatype.Polymorphic4.
Polymorphic4_input [Type]
See module Type.Polymorphic_input: very same functions with three additional arguments corresponding to the additional type variables.
Polymorphic_input [Type]

Q
Queue [State_builder]

R
Ref [State_builder]
Output signature of Ref.
RemoveInfo [Filter]
Signature of a module that decides which element of a function have to be visible or not
Result [Binary_cache]

S
S [State_selection]
Operations over selections which depend on a State Dependency Graph implementation.
S [State_dependency_graph]
Signature of a State Dependency Graph.
S [State_builder]
Output signature of State_builder.Register.
S [SetWithNearest]
Output signature of the functor SetWithNearest.Make.
S [Rangemap]
S [Printer_api]
S [Plugin]
S [Hptset]
Output signature of the functor Set.Make.
S [Hook]
Output signature.
S [Hashtbl_common_interface]
S [Datatype]
All values associated to a datatype.
S [Buckx]
S_no_copy [Datatype]
All values associated to a datatype, excepted copy.
S_with_collections [Datatype]
A datatype for a type t extended with predefined set, map and hashtbl over t.
Set [Datatype]
A standard OCaml set signature extended with datatype operations.
Set_ref [State_builder]
Output signature of builders of references on a set.
Sig [Db.PostdominatorsTypes]
StmtStartData [Dataflow]
String [Plugin]
Signature for a string parameter.
String_collection [Plugin]
Signature for a generic set of strings option.
String_hashtbl [Plugin]
String_list [Plugin]
String_set [Plugin]
Sub_caml_weak_hashtbl [Datatype]

T
Ty [Datatype]
A type with its type value.

U
Undefined [Datatype]
Sub-signature of Datatype.S.

V
Value [Rangemap]
Datatype with a function that approximately equality in a constant-time way.

W
WeakHashable [Buckx]
Weak_hashtbl [State_builder]
Output signature of builders of hashtables.
WithOutput [Plugin]
Signature for a boolean parameter that causes something to be output.
With_default [Lmap_bitwise]
Lattice with default values on a range or on an entire base.