package mopsa
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_utils/Mopsa_utils/Core/Callstack/index.html
Module Core.Callstack
Callstack - representation of the call stack of a program execution
Call sites
**************
type callsite = {
call_fun_orig_name : string;
(*Original name of the called function
*)call_fun_uniq_name : string;
(*Unique name of the called function
*)call_range : Location.range;
(*Call location
*)
}
Call site is the location of a call in the program
val pp_callsite : Format.formatter -> callsite -> unit
Print a call site
type callstack = callsite list
val pp_callstack : Format.formatter -> callstack -> unit
Print a call stack
val pp_callstack_short : Format.formatter -> callstack -> unit
Print a call stack in a short style
val empty_callstack : callstack
Empty call stack
val is_empty_callstack : callstack -> bool
Check that a call stack is empty
val callstack_length : callstack -> int
Return the length of a call stack
val push_callstack :
string ->
?uniq:string ->
Location.range ->
callstack ->
callstack
push_callstack orig ~uniq range cs
adds the call to function orig
at location range
at the top of the call stack cs
. The default unique function name of the function is its original name.
pop_callstack cc
returns the last call site in cc
and the remaining callstack Raises Empty_callstack
if the call stack is empty.
callstack_top cs
returns the last call site in cs
. Raises Empty_callstack
if the call stack is empty.