sig
type rcallstack
val empty : Gui_callstacks_filters.rcallstack
val from_callstack :
Value_types.callstack -> Gui_callstacks_filters.rcallstack
type filter = Gui_callstacks_filters.rcallstack list option
val callstack_matches :
Gui_callstacks_filters.filter ->
Gui_callstacks_filters.rcallstack -> bool
val callsite_matches :
Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
val focused_callstacks : unit -> Gui_callstacks_filters.filter
val focus_on_callstacks : Gui_callstacks_filters.filter -> unit
val is_reachable_stmt :
Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
val is_non_terminating_instr :
Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
val register_to_zone_functions : (module Gui_eval.S) -> unit
end