module Gui_types: sig
.. end
type
gui_callstack =
val hash_gui_callstack : gui_callstack -> int
val compare_gui_callstack : gui_callstack -> gui_callstack -> int
module GCallstackMap: FCMap.S
with type key = gui_callstack
type
gui_selection =
val pretty_gui_selection : Stdlib.Format.formatter -> gui_selection -> unit
val gui_selection_equal : gui_selection -> gui_selection -> bool
type
gui_offsetmap_res =
| |
GO_Bottom |
| |
GO_Empty |
| |
GO_Top |
| |
GO_InvalidLoc |
| |
GO_Offsetmap of Cvalue.V_Offsetmap.t |
val equal_gui_offsetmap_res : gui_offsetmap_res -> gui_offsetmap_res -> bool
val pretty_gui_offsetmap_res : ?typ:Cil_types.typ ->
Stdlib.Format.formatter -> gui_offsetmap_res -> unit
val join_gui_offsetmap_res : gui_offsetmap_res ->
gui_offsetmap_res -> gui_offsetmap_res
type
gui_loc =
val gui_loc_equal : gui_loc -> gui_loc -> bool
val gui_loc_loc : gui_loc -> Cil_types.location
val kf_of_gui_loc : gui_loc -> Cil_types.kernel_function
val pretty_callstack : Stdlib.Format.formatter -> Value_types.callstack -> unit
val pretty_callstack_short : Stdlib.Format.formatter -> Value_types.callstack -> unit
type 'a
gui_res =
type 'a
gui_after =
| |
GA_After of 'a gui_res |
| |
GA_Bottom |
| |
GA_NA |
| |
GA_Unchanged |
module type S = sig
.. end
module Make:
The types below depend on the abstract values currently available.