package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
type gui_callstack =
  1. | GC_Filtered
  2. | GC_Consolidated
  3. | GC_Single of Frama_c_kernel.Value_types.callstack
  4. | GC_Callstack of Frama_c_kernel.Value_types.callstack
val hash_gui_callstack : gui_callstack -> int
val compare_gui_callstack : gui_callstack -> gui_callstack -> int
module GCallstackMap : Map.S with type key = gui_callstack
type gui_selection =
  1. | GS_TLVal of Frama_c_kernel.Cil_types.term
  2. | GS_LVal of Frama_c_kernel.Cil_types.lval
  3. | GS_AbsoluteMem
  4. | GS_Expr of Frama_c_kernel.Cil_types.exp
  5. | GS_Term of Frama_c_kernel.Cil_types.term
  6. | GS_Predicate of Frama_c_kernel.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 =
  1. | GO_Bottom
  2. | GO_Empty
  3. | GO_Top
  4. | GO_InvalidLoc
  5. | GO_Offsetmap of Frama_c_kernel.Cvalue.V_Offsetmap.t
val equal_gui_offsetmap_res : gui_offsetmap_res -> gui_offsetmap_res -> bool
val pretty_gui_offsetmap_res : ?typ:Frama_c_kernel.Cil_types.typ -> Format.formatter -> gui_offsetmap_res -> unit
val join_gui_offsetmap_res : gui_offsetmap_res -> gui_offsetmap_res -> gui_offsetmap_res
val gui_loc_equal : gui_loc -> gui_loc -> bool
val pretty_callstack : Format.formatter -> Frama_c_kernel.Value_types.callstack -> unit
val pretty_callstack_short : Format.formatter -> Frama_c_kernel.Value_types.callstack -> unit
type 'a gui_after =
  1. | GA_After of 'a gui_res
  2. | GA_Bottom
  3. | GA_NA
  4. | GA_Unchanged
module type S = sig ... end
module Make (V : sig ... end) : sig ... end

The types below depend on the abstract values currently available.