Index of module types


A
AI_Lattice_with_cardinal_one [Lattice_type]
Signature shared by some functors of module Abstract_interp.
Array [State_builder]
Attributes [State_dependency_graph]
Signature required by Graph.GraphViZ.Dot.

B
BACKWARD_MONOTONE_PARAMETER [Dataflows]
Statement-based backward dataflow.
BackwardsTransfer [Dataflow2]
Interface to provide for a backward dataflow analysis.
BackwardsTransfer [Dataflow]
Interface to provide for a backward dataflow analysis.
Bool [Parameter_sig]
Signature for a boolean parameter.
Bounded_Join_Semi_Lattice [Lattice_type]
Builder [Parameter_sig]
Signatures containing the different functors which may be used to generate new command line options.

C
Cacheable [Binary_cache]
Collapse [Abstract_interp]
Collection [Parameter_sig]
Common signature to all collections.
Collection_category [Parameter_sig]
Signature for a category over a collection.
Common [Dynamic.Parameter]
Set of common operations on parameters.
Comparable [Hook]
Counter [State_builder]

D
DATA [Qstack]
Domain [Fixpoint]

E
Elt [Indexer]

F
FORWARD_MONOTONE_PARAMETER [Dataflows]
Edge-based forward dataflow.
FUNCTION_ENV [Dataflows]
Environment relative to the function being processed, and function to create them from Kf.
ForwardsTransfer [Dataflow2]
Interface to provide for a backward dataflow analysis.
ForwardsTransfer [Dataflow]
Interface to provide for a forward dataflow analysis.
Full_AI_Lattice_with_cardinality [Lattice_type]
Most complete lattices: all operations plus widening, notion of cardinal (including enumeration) and difference.
Full_Lattice [Lattice_type]
Lattice with over- and under-approximation of join and meet, and intersection and difference.
Functor_info [Datatype]
Additional info for building Set, Map and Hashtbl.
Fundec_set [Parameter_sig]

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 [Hptmap]
Type of the keys of the map.
Info [State_builder]
Additional information required by State_builder.Register.
Info_with_size [State_builder]
Input [Parameter_sig]
Minimal signature to implement for each parameter corresponding to an option on the command line argument.
Input_with_arg [Parameter_sig]
Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.
Int [Parameter_sig]
Signature for an integer parameter.
Iter_hook [Hook]

J
JOIN_SEMILATTICE [Dataflows]
Join_Semi_Lattice [Lattice_type]

K
Kernel_function_set [Parameter_sig]
Set of defined kernel functions.
Key [Map_Lattice]

L
Lattice_Base [Lattice_type]
Lattice_Hashconsed_Set [Lattice_type]
Lattice_Product [Lattice_type]
Signature for a product lattice in which Bottom is handled especially.
Lattice_Set [Lattice_type]
Lattice_Set_Generic [Lattice_type]
Lattice_Sum [Lattice_type]
Signature for a lattice over a sum type (see Abstract_interp.Make_Lattice_Sum).
Lattice_UProduct [Lattice_type]
Signature for a product lattice (see Abstract_interp.Make_Lattice_UProduct).
Lattice_Value [Lattice_type]
Generic signature for the base elements of a lattice
List [Parameter_sig]
Signature for lists as command line parameters.
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
Make_input [Datatype]
Map [Parameter_sig]
Signature for maps as command line parameters.
Map [Datatype]
A standard OCaml map signature extended with datatype operations.
Messages [Log]
Multiple_map [Parameter_sig]
Signature for multiple maps as command line parameters.
Multiple_value_datatype [Parameter_sig]
Signature of the optional value associated to the key and required to build multiple map parameters.

O
OldDynlink [FCDynlink]
Option_ref [State_builder]
Output signature of Option_ref.

P
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]
PrinterClass [Printer_api.S]
Auxiliary module type for a pretty-printer
PrinterExtension [Printer_api.S]
Signature for extending an existing pretty-printer.

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 [Service_graph]
Output signature for services.
S [Rangemap]
S [Printer_api]
S [Plugin]
S [Parameter_sig]
Generic signature of a parameter.
S [Hptset]
Output signature of the functor Set.Make.
S [Hptmap_sig]
Signature for hptmaps from hash-consed trees to values
S [Hook]
Output signature.
S [FCSet]
Output signature of the functor FCSet.Make.
S [FCMap]
S [FCHashtbl]
S [Datatype]
All values associated to a datatype.
S_Basic_Compare [FCSet]
Standard operations on sets.
S_no_copy [Datatype]
All values associated to a datatype, excepted copy.
S_no_parameter [Parameter_sig]
Generic signature of a parameter, without parameter.
S_ordered [Hook]
hook with a notion of priority.
S_with_collections [Datatype]
A datatype for a type t extended with predefined set, map and hashtbl over t.
Set [Parameter_sig]
Signature for sets as command line parameters.
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]
Specific_dir [Parameter_sig]
signature for searching files in a specific directory.
StmtStartData [Dataflow2]
StmtStartData [Dataflow]
String [Parameter_sig]
Signature for a string parameter.
String_datatype [Parameter_sig]
Signature required to build custom collection parameters in which elements are convertible to string.
String_datatype_with_collections [Parameter_sig]
Signature requires to build custom collection parameters in which elements are convertible to string.
String_list [Parameter_sig]
String_set [Parameter_sig]
Sub_caml_weak_hashtbl [Datatype]

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

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

V
V [Hptmap]
Values stored in the map
Value [Rangemap]
Datatype with a function that approximately equality in a constant-time way.
Value_datatype [Parameter_sig]
Signature of the optional value associated to the key and required to build map parameters.

W
Weak_hashtbl [State_builder]
Output signature of builders of hashtables.
With_Cardinal_One [Lattice_type]
With_Diff [Lattice_type]
With_Diff_One [Lattice_type]
With_Enumeration [Lattice_type]
With_Error_Bottom [Lattice_type]
With_Error_Top [Lattice_type]
With_Errors [Lattice_type]
With_Intersects [Lattice_type]
With_Narrow [Lattice_type]
With_Top [Lattice_type]
With_Under_Approximation [Lattice_type]
With_Widening [Lattice_type]
With_default [Lmap_bitwise]
With_output [Parameter_sig]
Signature for a boolean parameter that causes something to be output.