Index of values

A
add [State_builder.List_ref]
add [Datatype.Sub_caml_weak_hashtbl]
add [State_builder.Hashtbl]

Add a new binding.

add_item [Dpds_gui]

To add a sensitive/insensitive menu item to a factory.

add_msg [Dpds_gui]
add_tag [Dpds_gui]
array [Datatype]
ask_for_lval [Dpds_gui]
B
bool [Datatype]
build_zones [Zones]
build_zones [Scope.Zones]
C
callbacks [Dpds_gui]
char [Datatype]
check_asserts [Datascope]
check_asserts [Scope.Datascope]

Print how many assertions could be removed based on the previous analysis (get_prop_scope_at_stmt) and return the annotations that can be removed.

check_value [Dpds_gui]
clear [Dpds_gui.DpdCmdSig]
clear [Dpds_gui.Zones]
clear [Dpds_gui.ShowDef]
clear [Dpds_gui.Pscope]
clear [Dpds_gui.DataScope]
clear [State_builder.Hashtbl]

Clear the table.

compare [Datatype.Make_input]
compare [Datatype.S_no_copy]

Comparison: same spec than Pervasives.compare.

compare [Datatype.Undefined]
compare [Datatype]
compute [Dpds_gui.DpdCmdSig]
compute [Dpds_gui.Zones]
compute [Dpds_gui.ShowDef]
compute [Dpds_gui.Pscope]
compute [Dpds_gui.DataScope]
compute_with_def_type_zone [Defs]

This function is similar to , except that it receives a zone as argument, instead of an l-value

copy [Datatype.Make_input]
copy [Datatype.S]

Deep copy: no possible sharing between x and copy x.

copy [Datatype.Undefined]
copy [Datatype]
create [Datatype.Sub_caml_weak_hashtbl]
D
default_icon [Dpds_gui]
default_icon_name [Dpds_gui]
descr [Datatype.S_no_copy]

Datatype descriptor.

E
empty_tag [Dpds_gui]
equal [Datatype.Make_input]
equal [Datatype.S_no_copy]

Equality: same spec than Pervasives.(=).

equal [Datatype.Undefined]
equal [Datatype]
eval_lval [Dpds_gui]
F
filetree_decorate [Dpds_gui]
find [State_builder.Hashtbl]

Return the current binding of the given key.

find_all [State_builder.Hashtbl]

Return the list of all data associated with the given key.

float [Datatype]
fold [State_builder.Hashtbl]
fold_left [State_builder.List_ref]
fold_sorted [State_builder.Hashtbl]
formatter [Datatype]
from_compare [Datatype]

Must be used for equal in order to implement it by compare x y = 0 (with your own compare function).

from_pretty_code [Datatype]

Must be used for pretty in order to implement it by pretty_code provided by the datatype from your own internal_pretty_code function.

func [Datatype]
func2 [Datatype]
func3 [Datatype]
func4 [Datatype]
G
get_annot_opt [Dpds_gui]
get_data_scope_at_stmt [Datascope]
get_data_scope_at_stmt [Scope.Datascope]
get_defs [Defs]
get_defs [Scope.Defs]
get_defs_with_type [Defs]
get_defs_with_type [Scope.Defs]
get_info [Dpds_gui.DpdCmdSig]
get_info [Dpds_gui.Zones]
get_info [Dpds_gui.ShowDef]
get_info [Dpds_gui.Pscope]
get_info [Dpds_gui.DataScope]
get_lval_opt [Dpds_gui]

kf_opt is used if we want to ask the lval to the user in a popup

get_lval_zones [Datascope]
get_option [State_builder.Option_ref]
get_prop_scope_at_stmt [Datascope]
get_prop_scope_at_stmt [Scope.Datascope]

compute the set of statements where the given annotation has the same value as before the given stmt.

get_zones [Zones]
get_zones [Scope.Zones]
H
hash [Datatype.Make_input]
hash [Datatype.S_no_copy]

Hash function: same spec than Hashtbl.hash.

hash [Datatype.Undefined]
hash [Datatype]
help [Dpds_gui.DpdCmdSig]
help [Dpds_gui.Zones]
help [Dpds_gui.ShowDef]
help [Dpds_gui.Pscope]
help [Dpds_gui.DataScope]
help [Dpds_gui]
highlighter [Dpds_gui]
I
identity [Datatype]

Must be used if you want to implement a required function by fun x ->
    x
.

info [Datatype]
int [Datatype]
int32 [Datatype]
int64 [Datatype]
integer [Datatype]
internal_pretty_code [Datatype.Make_input]
internal_pretty_code [Datatype.S_no_copy]

Same spec than pretty_code, but must take care of the precedence of the context in order to put parenthesis if required.

internal_pretty_code [Datatype.Undefined]
internal_pretty_code [Datatype]
iter [State_builder.List_ref]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]
L
length [State_builder.Hashtbl]

Length of the table.

list [Datatype]
M
main [Dpds_gui]
make_type [Datatype.Hashtbl]
map [State_builder.Option_ref]
may [State_builder.Option_ref]
mem [State_builder.Hashtbl]
mem_project [Datatype.Make_input]
mem_project [Datatype.S_no_copy]

mem_project f x must return true iff there is a value p of type Project.t in x such that f p returns true.

mem_project [Datatype.Undefined]
mem_project [Datatype]
memo [State_builder.Option_ref]

Memoization.

memo [State_builder.Hashtbl]

Memoization.

module_name [Datatype.Functor_info]

Must be a valid OCaml module name corresponding to the module name you are defining by applying the functor.

N
name [Datatype.Make_input]

Unique name for this datatype.

name [Datatype.S_no_copy]

Unique name of the datatype.

nativeint [Datatype]
never_any_project [Datatype]

Must be used for mem_project if values of your type does never contain any project.

O
option [Datatype]
optlabel_func [Datatype]

optlabel_func lab dft ty1 ty2 is equivalent to func ~label:(lab, Some dft) ty1 ty2

P
packed_descr [Datatype.S_no_copy]

Packed version of the descriptor.

pair [Datatype]
pp_fail [Datatype]

Must be used for internal_pretty_code if this pretty-printer must fail only when called.

pretty [Datatype.Make_input]
pretty [Datatype.S_no_copy]

Pretty print each value in an user-friendly way.

pretty [Datatype.Undefined]
pretty [Datatype]
pretty_code [Datatype.S_no_copy]

Pretty print each value in an ML-like style: the result must be a valid OCaml expression.

pretty_code [Datatype]
pretty_zone [Dpds_gui]
pretty_zones [Zones]
pretty_zones [Scope.Zones]
Q
quadruple [Datatype]
queue [Datatype]
R
rehash [Datatype.Make_input]

How to rehashconsed values.

rehash [Datatype.Undefined]
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]

Add a new binding.

reprs [Datatype.Make_input]

Must be non-empty.

reprs [Datatype.S_no_copy]

List of representants of the descriptor.

reset [Dpds_gui]
rm_asserts [Datascope]
rm_asserts [Scope.Datascope]

Same analysis than check_asserts but mark the assertions as proven.

S
scope_b_tag [Dpds_gui]
scope_f_tag [Dpds_gui]
scope_fb_tag [Dpds_gui]
scope_p_tag [Dpds_gui]
scope_p_warn_tag [Dpds_gui]
scope_start_tag [Dpds_gui]
selector [Dpds_gui]
set [Dpds_gui.Make_StmtMapState]
set [Dpds_gui.Make_StmtSetState]
show_def_direct_tag [Dpds_gui]
show_def_indirect_tag [Dpds_gui]
string [Datatype]
structural_descr [Datatype.Hashtbl_with_descr]
structural_descr [Datatype.Make_input]
structural_descr [Datatype.Undefined]
T
t_ref [Datatype]
tag_annot [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DpdCmdSig]
tag_stmt [Dpds_gui.Zones]
tag_stmt [Dpds_gui.ShowDef]
tag_stmt [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DataScope]
triple [Datatype]
ty [Datatype.Ty]
U
undefined [Datatype]

Must be used if you don't want to implement a required function.

unit [Datatype]
update_column [Dpds_gui]
V
varname [Datatype.Make_input]
varname [Datatype.S_no_copy]

A good prefix name to use for an OCaml variable of this type.

varname [Datatype.Undefined]
varname [Datatype]
Z
zones_used_tag [Dpds_gui]