module Retype: sig
.. end
class collectIntField : Cil_types.typ Cilutil.FieldinfoHashtbl.t ->
object
.. end
class retypeIntField : Cil_types.typ Cilutil.FieldinfoHashtbl.t ->
object
.. end
val retype_int_field : Cil_types.file -> unit
module UnionFind: functor (
Elem
:
sig
type
t
val equal : t -> t -> bool
val prefer : t -> t -> int
end
) ->
functor (
ElemSet
:
Set.S
with type elt = Elem.t
) ->
functor (
ElemTable
:
Hashtbl.S
with type key = Elem.t
) ->
sig
.. end
module FieldElem: sig
.. end
module FieldUnion: UnionFind
(
FieldElem
)
(
Cilutil.FieldinfoSet
)
(
Cilutil.FieldinfoHashtbl
)
val add_field_representant : Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key -> unit
module TypeElem: sig
.. end
module TypeUnion: UnionFind
(
TypeElem
)
(
Cilutil.TypeSet
)
(
Cilutil.TypeHashtbl
)
val type_to_parent_type : Cilutil.TypeComparable.t Cilutil.TypeHashtbl.t
val add_inheritance_relation : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> unit
val subtype : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> bool
val sub_list : 'a list -> int -> 'a list
class createStructHierarchy :
object
.. end
class exploitStructHierarchy :
object
.. end
val create_struct_hierarchy : Cil_types.file -> unit
val retype : Cil_types.file -> unit