package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eva_gui.Gui_typesSource

Sourcetype gui_callstack =
  1. | GC_Filtered
  2. | GC_Consolidated
  3. | GC_Single of Eva.Callstack.t
  4. | GC_Callstack of Eva.Callstack.t
Sourceval hash_gui_callstack : gui_callstack -> int
Sourceval compare_gui_callstack : gui_callstack -> gui_callstack -> int
Sourcetype 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
Sourceval pretty_gui_selection : Format.formatter -> gui_selection -> unit
Sourceval gui_selection_equal : gui_selection -> gui_selection -> bool
Sourcetype 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
Sourceval equal_gui_offsetmap_res : gui_offsetmap_res -> gui_offsetmap_res -> bool
Sourceval pretty_gui_offsetmap_res : ?typ:Frama_c_kernel.Cil_types.typ -> Format.formatter -> gui_offsetmap_res -> unit
Sourceval gui_loc_equal : gui_loc -> gui_loc -> bool
Sourceval pretty_callstack : Format.formatter -> Eva.Callstack.t -> unit
Sourceval pretty_callstack_short : Format.formatter -> Eva.Callstack.t -> unit
Sourcetype 'a gui_after =
  1. | GA_After of 'a gui_res
  2. | GA_Bottom
  3. | GA_NA
  4. | GA_Unchanged
Sourcemodule type S = sig ... end
Sourcemodule Make (V : sig ... end) : sig ... end

The types below depend on the abstract values currently available.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct