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.
dummy [Datatype.Filepath]

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
of_string [Datatype.Filepath]
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_abs [Datatype.Filepath]
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]