let print_info main_ui kf_stmt_opt =
try
let kf_dpds, _s, txt = DpdsState.get () in
add_msg main_ui txt;
match kf_stmt_opt with
| None -> ()
| Some (kf, _s) ->
if Kernel_function.equal kf kf_dpds then
begin
let get f =
let msg = f kf_stmt_opt in
if msg <> "" then add_msg main_ui msg
in
get ShowDef.get_info;
get Zones.get_info;
get DataScope.get_info;
get Pscope.get_info
end
else add_msg main_ui
"[dependencies] no information in this function"
with Not_found -> ()