module Cil_datatype: sig
.. end
Datatypes of some useful CIL types.
Consult the Plugin Development Guide for additional details.
Datatypes of some useful CIL types.
module Varinfo: S
with type t = varinfo
module Location: S
with type t = location
module Block: S
with type t = block
module Stmt: sig
.. end
module Kinstr: S
with type t = kinstr
module Lval: S
with type t = lval
module File: S
with type t = file
Datatype for a cil file.
module UntypedFiles: S
with type t = Cabs.file list
module InitInfo: S
with type t = initinfo
module Initinfo: S
with type t = initinfo
module Enuminfo: S
with type t = enuminfo
module Typeinfo: S
with type t = typeinfo
Hashtables for Cil types
module IntHashtbl:
module InstrHashtbl:
module StmtHashtbl:
module VarinfoHashtbl:
Sets
module StmtSet: S
with type t = Cilutil.StmtSet.t
Datatype for a set of statements.
module StmtSetRef: S
with type t = Cilutil.StmtSet.t ref
Datatype for a reference to a set of statements.
module VarinfoSet: S
with type t = Cilutil.VarinfoSet.t
module EnuminfoSet: S
with type t = Cilutil.EnuminfoSet.t
module TypeinfoSet: S
with type t = Cilutil.TypeinfoSet.t
Lists
module StmtList: S
with type t = stmt list
Datatype for a set of datatypes.
module VarinfoList: S
with type t = varinfo list
Annotations
module Code_Annotation: S
with type t = code_annotation
module Logic_Info: S
with type t = logic_info
module Builtin_Logic_Info: S
with type t = builtin_logic_info
module Logic_Type_Info: S
with type t = logic_type_info
module Logic_Ctor_Info: S
with type t = logic_ctor_info
module Annot_Status: S
with type t = annot_status
module Annot_Status_List: S
with type t = annot_status list
module Annotation_Status: S
with type t = annotation_status