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 | |
Filepath [Datatype] | Type-safe strings representing normalized filepaths. |
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 |
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 |
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
|
Z | |
Zones [Dpds_gui] | |
Zones | |
Zones [Scope] |