module Cil_datatype: sig
.. end
Datatypes of some useful CIL types.
Consult the Plugin Development Guide for additional details.
Cabs types
module Cabs_file: S
with type t = Cabs.file
C types
Sorted by alphabetic order.
module Block: S
with type t = block
module Compinfo: S_with_collections
with type t = compinfo
module Enuminfo: S_with_collections
with type t = enuminfo
module Enumitem: S_with_collections
with type t = enumitem
module Exp: sig
.. end
Note that the equality is based on eid.
module Fieldinfo: S_with_collections
with type t = fieldinfo
module File: S
with type t = file
module Global: sig
.. end
module Initinfo: S
with type t = initinfo
module Instr: sig
.. end
module Kinstr: sig
.. end
module Label: S
with type t = label
module Position: S_with_collections
with type t = Lexing.position
Single position in a file
module Location: sig
.. end
Cil locations
module Lval: sig
.. end
Note that the equality is based on eid (for sub-expressions).
module Offset: sig
.. end
Same remark as for Lval.
module Stmt: sig
.. end
module Typ: sig
.. end
module Typeinfo: S_with_collections
with type t = typeinfo
module Varinfo: sig
.. end
module Kf: sig
.. end
ACSL types
Sorted by alphabetic order.
module Builtin_logic_info: S_with_collections
with type t = builtin_logic_info
module Code_annotation: sig
.. end
module Rooted_code_annotation: Datatype.S
with type t = rooted_code_annotation
module Global_annotation: sig
.. end
module Logic_ctor_info: S_with_collections
with type t = logic_ctor_info
module Logic_info: S_with_collections
with type t = logic_info
module Logic_type: sig
.. end
module Logic_type_info: S_with_collections
with type t = logic_type_info
module Identified_term: S_with_collections
with type t = identified_term
module Logic_var: sig
.. end
module Term: sig
.. end
module Term_lhost: S_with_collections
with type t = term_lhost
module Term_offset: S_with_collections
with type t = term_offset
module Term_lval: S_with_collections
with type t = term_lval
module Logic_label: S_with_collections
with type t = logic_label
Logic_ptree
Sorted by alphabetic order.
module Lexpr: S
with type t = Logic_ptree.lexpr
Other types
module Int_hashtbl: Hashtbl
with type 'a t = 'a Inthash.t and type key = int
module Localisation: Datatype.S
with type t = localisation
module Alarm: Datatype.S_with_collections
with type t = alarm