package frama-clang

You can search for identifiers within the package.

in-package search v0.2.0

frama-clang.core
- Clang
  - Class
  - Convert
  - Convert_acsl
  - Convert_env
  - Convert_link
  - Cxx_utils
  - Fclang_datatype
    
    Access_kind
    
    Qual_type
    
    Hashtbl
    
    Key
    
    Make
    
    Data
    
    Map
    
    Key
    
    Make
    
    Data
    
    Set
    
    Qualified_name
    
    Hashtbl
    
    Key
    
    Make
    
    Data
    
    Map
    
    Key
    
    Make
    
    Data
    
    Set
    
    Template_parameter
    
    Hashtbl
    
    Key
    
    Make
    
    Data
    
    Map
    
    Key
    
    Make
    
    Data
    
    Set
    
    Vkind
  - Frama_Clang
  - Frama_Clang_option
    
    C_std_headers
    
    Datatype
    
    Clang_command
    
    Datatype
    
    Clang_extra_args
    
    As_string
    
    Datatype
    
    Category
    
    Datatype
    
    Config
    
    Cxx_std_headers
    
    Datatype
    
    Cxx_virtual_bare_methods_in_clang
    
    Datatype
    
    Debug
    
    Datatype
    
    ParseableOutput
    
    Datatype
    
    Session
    
    Share
    
    Std_include
    
    Datatype
    
    Unmangling
    
    Datatype
    
    Verbose
    
    Datatype
  - Frama_Clang_register
  - Generate_spec
  - Intermediate_format
  - Intermediate_format_parser
  - Mangling
  - Reorder_defs

Legend:
Library
Module
Module type
Parameter
Class
Class type

Name mangling. Follows more or less IA-64 C++ ABI and thus gcc mangling.

compute the mangled name. For functions, the second argument is their signature. It is None for any other identifier.

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

val unmangle : string -> string

transforms a mangled name into a more readable string.

val short_name : string -> string

computes an unqualified name from a mangled name.

val is_constructor_name : string -> bool

true if the given mangled name is the name of a constructor (as obtained by mangle

val mangle_cc_type : Intermediate_format.typ -> string