module Monitoring_context: sig
.. end
type
query_phase =
| |
Parsing_Phase |
| |
Normalization_Phase |
| |
Rewriting_Phase |
| |
Factorization_Phase |
| |
Compile_Phase |
| |
Optimization_Phase |
| |
Selection_Phase |
| |
Evaluation_Phase |
type
phase =
| |
PQuery of query_phase |
| |
Document_Serialization_Phase |
| |
Document_Toplevel_ParsingLoading_Phase of string |
| |
Document_ParsingLoading_Phase of string |
| |
External_Phase |
val increment_node_count : unit -> unit
val get_node_count : unit -> int
type
call_kind =
| |
Prolog |
| |
Statement |
| |
Serialization |
type
stats_item = {
|
glx_total_memory : float ; |
|
glx_live_memory : float ; |
|
glx_time : float ; |
|
glx_node_count : int ; |
}
type
stats_point = {
}
type
call_stat_summary = {
}
type
monitor_context
val default_monitor_context : unit -> monitor_context
val set_monitor_mem : monitor_context -> bool -> unit
val set_monitor_time : monitor_context -> bool -> unit
val get_monitor_mem : monitor_context -> bool
val get_monitor_time : monitor_context -> bool
val set_monitor_output : monitor_context -> Galax_io.output_spec -> unit
val get_monitor_output : monitor_context -> Galax_io.output_spec
val set_current_call : monitor_context ->
call_stat_summary option -> unit
val get_current_call : monitor_context ->
call_stat_summary option
val push_resume_call : monitor_context ->
call_stat_summary -> unit
val pop_resume_call : monitor_context ->
call_stat_summary option
val add_completed_call : monitor_context ->
call_stat_summary -> unit
val get_last_call : monitor_context ->
call_stat_summary option
val get_all_calls : monitor_context ->
call_stat_summary list
val string_of_call_kind : call_kind -> string
val string_of_phase : phase -> string