Module Cil_datatype


module Cil_datatype: sig .. end
Datatypes of some useful kernel types.
Consult the Plugin Development Guide for additional details.

Datatypes of some useful kernel 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

Hashtables for Cil types


module IntHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t Inthash.t
module InstrHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t InstrHashtbl.t
module StmtHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t StmtHashtbl.t
module VarinfoHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t VarinfoHashtbl.t

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.

Lists


module StmtList: S  with type t = stmt list
Datatype for a set of datatypes.

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