Index of modules

A
Array [Datatype]
Array_with_collections [Datatype]
B
Bool [Datatype]
C
Caml_weak_hashtbl [Datatype]
Char [Datatype]
D
D [Dpds_gui.Make_StmtMapState]
DataScope [Dpds_gui]
Datascope

The aim here is to select the statements where a data D has the same value then a given starting program point L.

Datascope [Scope]
Datatype [Datatype.Caml_weak_hashtbl]
Defs

Find the statements that defines a given data at a program point, ie.

Defs [Scope]

Interface for the Scope plugin.

DpdsState [Dpds_gui]
Dpds_gui
F
Float [Datatype]
Formatter [Datatype]
Function [Datatype]
H
Hashtbl [Datatype]
Hashtbl [Datatype.S_with_collections]
I
Int [Datatype]
Int32 [Datatype]
Int64 [Datatype]
Integer [Datatype]
K
Key [Datatype.Hashtbl]

Datatype for the keys of the hashtbl.

Key [Datatype.Map]

Datatype for the keys of the map.

Kf_containing_highlighted_stmt [Dpds_gui]
L
List [Datatype]
List_with_collections [Datatype]
M
Make [Datatype.Polymorphic4]
Make [Datatype.Polymorphic3]
Make [Datatype.Polymorphic2]
Make [Datatype.Polymorphic]

Create a datatype for a monomorphic instance of the polymorphic type.

Make [Datatype.Hashtbl]

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Make [Datatype.Map]

Build a datatype of the map according to the datatype of values in the map.

Make [Datatype]

Generic datatype builder.

Make_StmtMapState [Dpds_gui]
Make_StmtSetState [Dpds_gui]
Make_with_collections [Datatype]

Generic comparable datatype builder: functions equal, compare and hash must not be Datatype.undefined.

Map [Datatype]
Map [Datatype.S_with_collections]
N
Nativeint [Datatype]
O
Option [Datatype]
Option_with_collections [Datatype]
P
Pair [Datatype]
Pair_with_collections [Datatype]
Poly_array [Datatype]
Poly_list [Datatype]
Poly_option [Datatype]
Poly_pair [Datatype]
Poly_queue [Datatype]
Poly_ref [Datatype]
Polymorphic [Datatype]

Functor for polymorphic types with only 1 type variable.

Polymorphic2 [Datatype]

Functor for polymorphic types with 2 type variables.

Polymorphic3 [Datatype]

Functor for polymorphic types with 3 type variables.

Polymorphic4 [Datatype]

Functor for polymorphic types with 4 type variables.

Pscope [Dpds_gui.Pscope]
Pscope [Dpds_gui]
Pscope_warn [Dpds_gui.Pscope]
Q
Quadruple [Datatype]
Quadruple_with_collections [Datatype]
Queue [Datatype]
R
R [Datascope]

for internal use

Ref [Datatype]
S
Scope
Serializable_undefined [Datatype]

Same as Datatype.Undefined, but the type is supposed to be marshallable by the standard OCaml way (in particular, no hash-consing or projects inside the type).

Set [Datatype]
Set [Datatype.S_with_collections]
ShowDef [Dpds_gui]
String [Datatype]
T
Triple [Datatype]
Triple_with_collections [Datatype]
U
Undefined [Datatype]

Each values in these modules are undefined.

Unit [Datatype]
W
Weak [Datatype]
With_collections [Datatype]

Add sets, maps and hashtables modules to an existing datatype, provided the equal, compare and hash functions are not Datatype.undefined.

Z
Zones [Dpds_gui]
Zones
Zones [Scope]