Module Gui_types

module Gui_types: sig .. end

type gui_callstack = 
| GC_Filtered
| GC_Consolidated
| GC_Single of Value_types.callstack
| GC_Callstack of Value_types.callstack
val hash_gui_callstack : gui_callstack -> int
val compare_gui_callstack : gui_callstack -> gui_callstack -> int
module GCallstackMap: FCMap.Make(sig
type t = Gui_types.gui_callstack 
val compare : Gui_types.gui_callstack -> Gui_types.gui_callstack -> int
end)
type gui_selection = 
| GS_TLVal of Cil_types.term
| GS_LVal of Cil_types.lval
| GS_AbsoluteMem
| GS_Expr of Cil_types.exp
| GS_Term of Cil_types.term
| GS_Predicate of Cil_types.predicate
val pretty_gui_selection : 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 -> Format.formatter -> gui_offsetmap_res -> unit
val join_gui_offsetmap_res : gui_offsetmap_res ->
gui_offsetmap_res -> gui_offsetmap_res
type gui_res = 
| GR_Empty
| GR_Offsm of gui_offsetmap_res * Cil_types.typ option
| GR_Value of Cvalue.V.t * Cil_types.typ option
| GR_Status of Eval_terms.predicate_status
| GR_Zone of Locations.Zone.t
val pretty_gui_res : Format.formatter -> gui_res -> unit
val equal_gui_res : gui_res -> gui_res -> bool
type gui_after = 
| GA_After of gui_res
| GA_NA
| GA_Unchanged
val equal_gui_after : gui_after -> gui_after -> bool
type gui_loc = 
| GL_Stmt of Cil_types.kernel_function * Cil_types.stmt
| GL_Pre of Cil_types.kernel_function
| GL_Post of Cil_types.kernel_function
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 : Format.formatter -> (Kernel_function.t * Cil_types.kinstr) list -> unit
val pretty_callstack_short : Format.formatter -> (Kernel_function.t * Cil_types.kinstr) list -> unit
val var_of_base : Base.t -> Cil_types.varinfo list -> Cil_types.varinfo list
val vars_in_gui_res : gui_res -> Cil_types.varinfo list