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

val fc_implicit_attr : string

attribute decorating member functions that are implicitly defined by Frama-Clang.

val fc_pure_template_decl_attr : string

attribute decorating templated member functions that are never defined (i.e. fully instantiated). Their presence in the AST tends to be dependent on the clang version used for type-checking.

val create_base_field_name : 
  Convert_env.env ->
  Intermediate_format.qualified_name ->
  Intermediate_format.tkind ->
  string

creates the name of the field corresponding to a direct base class.

val convert_ast : Intermediate_format.file -> Frama_c_kernel.Cabs.file

val remove_unneeded : Frama_c_kernel.Cil_types.file -> unit

remove unneeded definitions and declarations. Notably:

unused implicit definitions
templated member functions that are not defined and never used.