Index of values

add tm f d adds a floating-point f and a 'a d to the timemap tm.

add g tag n f k c adds a function f with name n to the graph g and returns it as an element of this graph.

add_tag id k n adds to the database a tag whose id is id, kind k, and name n.

buf_bool b i encodes a boolean i in the buffer b.

buf_float b f encodes a floating-point number f in the buffer b.

buf_int16 b i encodes a 16-bits integer i in the buffer b.

buf_int31 b i encodes a native 31-bits integer i in the buffer b.

buf_int63 b i encodes a native 63-bits integer i in the buffer b.

buf_int64 b i encodes an int64 i in the buffer b.

buf_int8 b i encodes a 8-bits integer i in the buffer b.

buf_list16 f b l encodes the list l in the buffer b, with the function f specifying how to encode an item of l.

change_value id v replaces the value of the tag whose identifier is id by the value v.

clean_up () cleans up every stored values from every timemaps that are older than the record window.

clear g clears the graph.

create d creates a timemap with the data d.

create s creates a time called s.

create s creates a tag called s.

create s creates a point called s.

create () creates an empty graph that is a GMisc.drawing_area.

decode s first last decodes messages using characters in s from first to last; returns the messages together with the position right after the last decoded message.

DEBUG

Time passed since the initialization (in seconds).

encode b ml encodes a message list ml in the buffer b.

encode_one b m encodes a message m in the buffer b.

find tm t returns the most recent pair (t',v') in tm with t' smaller or equal than t; raises Not_found if tm contains no element or if the first element of tm is younger than t.

get_bindings id returns a list of tags who are bound together.

get_bool s pos decodes a byte in s at the position pos and return a boolean along with the new position in s.

get_color f returns the current color used to display the function f.

get_current_time () returns the current time.

get_float s pos decodes eight bytes in s at the position pos and return a floating-point number along with the new position in s.

get_gridx g returns the number of divisions of the background along the X-axis on the graph g.

get_gridy g returns the number of divisions of the background along the Y-axis on the graph g.

get_hash id returns the value of the monitored Hashtable id that is the closest to the observation time along with its last change time.

get_hash_list () returns a list of every tags whose kind is Hash.

get_hash_mean id returns the buckets' mean length of the monitored Hashtable id that is the closest to the observation time.

get_hash_percent_filled id returns the filling rate of the monitored Hashtable id that is the closest to the observation time.

get_heap_alive_size () returns the alive datas size value of the major heap that is the closest to the observation time along with its last change time.

get_heap_max_size () returns the maximum size value of the major heap that is the closest to the observation time along with its last change time.

get_heap_total_size () returns the total size value of the major heap that is the closest to the observation time along with its last change time.

get_int16 s pos decodes two bytes in s at the position pos and return a 16 bits integer along with the new position in s.

get_int31 s pos decodes four bytes in s at the position pos and return a 31 bits integer along with the new position in s.

get_int63 s pos decodes eight bytes in s at the position pos and return a 63 bits integer along with the new position in s.

get_int63_of_31 s pos decodes four bytes in s at the position pos and return a 63 bits integer along with the new position in s, made from the 31 bits integer.

get_int64 s pos decodes eight bytes in s at the position pos and return a 63 bits integer along with the new position in s.

get_int64_of_63 s pos decodes eight bytes in s at the position pos and return a 64 bits integer along with the new position in s, made from the 63 bits integer.

get_kind g returns the kind of the graph g.

get_list16 f s pos last decodes last-pos bytes in s, at the position pos, with the function f that specifies how to get an item, and returns a 'b list.

get_min () returns the index of the minimum 'a in the timemap.

get_nb_fct g return the number of functions displayed on g.

get_observe_time () returns the observation time of the data base.

get_offset () returns the difference between observation time and current time.

get_percent_time id returns the percentage of the monitored Time id, related to the observation time, that is the closest to the observation time.

get_period g returns the value of the timer inside g (in milliseconds).

get_point id returns the value of the monitored Point id that is the closest to the observation time along with its last change time.

get_point_list () returns a list of every tags whose kind is Point.

get_time_window () returns the size of the record window in seconds.

get_steps g returns the number of values that are displayed in the graph g for each function.

get_string s pos len decodes len bytes in s at the position pos and return a string along with the new position in s.

get_tag id returns the tag whose identifier is id.

get_tag_count id returns the cardinal-number value of the monitored Tag id that is the closest to the observation time along with its last change time.

get_tag_count_list () returns a list of every tags whose kind is Tag_count.

get_tag_max_count id returns the maximum cardinal-number value of the monitored Tag id that is the closest to the observation time along with its last change time.

get_tag_max_size id returns the maximum size value of the monitored Tag id that is the closest to the observation time along with its last change time.

get_tag_percent_size id returns the percentage of the monitored Tag id, related to the major heap size, that is the closest to the observation time.

get_tag_size id returns the size value of the monitored Tag id that is the closest to the observation time along with its last change time.

get_tag_size_list () returns a list of every tags whose kind is Tag_size.

get_time id returns the value of the monitored Time id that is the closest to the observation time along with its last change time.

get_time_list () returns a list of every tags whose kind is Time.

get_timer g returns the timer inside g.

get_tree id returns the value of the monitored Tree id that is the closest to the observation time along with its last change time.

get_tree_list () returns a list of every tags whose kind is Ktree.

get_uint8 s pos decodes a byte in s at the position pos.

get_value_bool id returns the value of the monitored boolean Value id that is the closest to the observation time along with its last change time.

get_value_bool_list () returns a list of every tags whose kind is Value_bool.

get_value_float id returns the value of the monitored floating-point Value id that is the closest to the observation time along with its last change time.

get_value_float_list () returns a list of every tags whose kind is Value_float.

get_value_int id returns the value of the monitored integer Value id that is the closest to the observation time along with its last change time.

get_value_int_list () returns a list of every tags whose kind is Value_int.

get_value_string id returns the value of the monitored string Value id that is the closest to the observation time along with its last change time.

get_value_string_list () returns a list of every tags whose kind is Value_string.

get_xaxis g returns the frequency of the X-axis legend of the graph g (1 = always displayed, 2 = half displayed etc...)

get_yaxis g returns the frequency of the Y-axis legend of the graph g (1 = always displayed, 2 = half displayed etc...)

init () has to be used to initialize Ocamlviz_threads.

init () has to be used to initialize Ocamlviz.

interp m matches the message m and calls add_tag if m is a Declare message, or change_value if m is a Send message.

kill t kills a time t.

kill t kills a tag t.

kill p kills a point p.

Similar to an Ocaml printf function.

mark t v marks any value v of type 'a with the tag t.

observe s h monitors a hash table h called s.

observe s f monitors a variant called s given by the function f.

observe p puts a checkpoint p at the place where it is used.

observe_bool_now n b monitors a boolean b.

observe_bool n f monitors a boolean given by the function f.

observe_bool_ref n b monitors a boolean reference b.

observe_calls s f create a point called s inside the function f that has one argument and isn't recursive.

observe_calls2 s f create a point called s inside the function f that has two arguments and isn't recursive.

observe_calls_rec s f create a point called s inside the function f that has one argument and is recursive.

observe_calls_rec2 s f create a point called s inside the function f that has two arguments and is recursive.

observe_float_now n f monitors a floating-point number f.

observe_float n f monitors a floating-point number given by the function f.

observe_float_ref n f monitors a floating-point number reference f.

observe_int_now n i monitors an integer i.

observe_int n f monitors an integer given by the function f.

observe_int_ref n i monitors an integer reference i.

observe_string_now n s monitors a string s.

observe_string n f monitors a string given by the function f.

observe_string_ref n s monitors a string reference s.

remove g f removes the function f from the graph g.

remove_before tm t removes all entries younger or equal to t in tm.

restart g p clears the graph g and restarts the timer with the period p.

resume g restarts the timer of the graph g with its old period.

send_now () immediatly sends the current values of monitored datas to the clients.

send_now () immediatly sends the current values of monitored datas to the clients.

set_color f c sets the color c used to display the function f.

set_observe_time t sets the observation time of the data base at t.

set_offset t sets the offset of the database at the time t, which means that the difference between the observation time and the current time will be t.

set_period t p changes the period to which the operations on the tag t are made.

set_preferences g step divx divy xaxis yaxis () changes the value of these arguments in the graph g.

set_record_window t changes the size of the record window with t in seconds.

set_timer g t removes the timer inside g and replaces it with a new timer whose new timer period will be t (in milliseconds).

set_visible f b displays the function f on the graph according to b.

start t starts the time monitoring t at the place where it is used.

stop t sets the end of the time monitoring t at the place where it is used.

stop g stops the timer inside the graph g.

time s f arg monitors the time spent in the function f.

wait_for_connected_clients n blocks the program until n clients are connected.

wait_for_killed_clients () blocks the program until every clients are disconnected.

Use this function to allow monitoring in computation-only code.

Use this function to allow monitoring in computation-only code.