frama-clang 0.0.15 (latest)

Various utilities function for manipulating intermediate_format ASTs

exception NoCxxName

raised when a string can't be converted in an existing C++ identifier.

val analyse_entrypoint : 
  string ->
  Intermediate_format.qualified_name
  * (Intermediate_format.funkind * Intermediate_format.signature) option

given a string representing a C++ name and optionally a full function signature, returns the corresponding qualified name, with signature.

raises NoCxxName
if the string does not correspond to a C++ name or signature.

val is_builtin_type : string -> bool

true if the given string is the name of a builtin type.

val is_builtin_qual_type : Intermediate_format.qualified_name -> bool

val is_const_type : Intermediate_format.qual_type -> bool

true iff the type is const-qualified.

val add_qualifiers : 
  Intermediate_format.specifier list ->
  Intermediate_format.qual_type ->
  Intermediate_format.qual_type

merge the given specifiers with the ones the type already has.

val empty_qual : string -> Intermediate_format.qualified_name

val meth_name : 
  Intermediate_format.qualified_name ->
  Intermediate_format.tkind ->
  string ->
  Intermediate_format.qualified_name

given a (potentially templated) class and a method name, returns the fully-qualified method name.

val int_type : Frama_c_kernel.Cil_types.ikind -> Intermediate_format.typ

returns an IR typ corresponding to the Cil's kind

val unqual_type : Intermediate_format.typ -> Intermediate_format.qual_type

returns the unqualified version of the given typ.

val const_type : Intermediate_format.typ -> Intermediate_format.qual_type

const-qualified version of the given typ.

val const_qual_type : 
  Intermediate_format.qual_type ->
  Intermediate_format.qual_type

ensures that the given type is const-qualified.

val force_ptr_to_const : 
  Intermediate_format.qual_type ->
  Intermediate_format.qual_type

ensures that the given object pointer type points to a constant type. Does nothing if the original type is not a pointer to an object.

val obj_ptr : Intermediate_format.qual_type -> Intermediate_format.qual_type

given an object type, returns an unqualified pointer type to the object.

val obj_lvref : Intermediate_format.qual_type -> Intermediate_format.qual_type

given an object type, returns an unqualified lvreference type to the object

val obj_rvref : Intermediate_format.qual_type -> Intermediate_format.qual_type

given an object type, returns an unqualified rvreference type to the object

val plain_obj_ptr : Intermediate_format.qual_type -> Intermediate_format.typ

val plain_obj_lvref : Intermediate_format.qual_type -> Intermediate_format.typ

val plain_obj_rvref : Intermediate_format.qual_type -> Intermediate_format.typ

val plain_class_ptr : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.typ

val plain_class_lvref : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.typ

val plain_class_rvref : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.typ

val class_ptr : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.qual_type

val class_lvref : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.qual_type

val class_rvref : 
  Fclang_datatype.Qualified_name.t ->
  Intermediate_format.qual_type

val spec_of_ikind : 
  Frama_c_kernel.Cil_types.ikind ->
  Frama_c_kernel.Cabs.specifier

package frama-clang