package frama-clang

You can search for identifiers within the package.

in-package search v0.2.0

package frama-clang

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

module Class : sig ... end

Information related to class: inheritance diagram, virtual meths, ...

module Convert : sig ... end

module Convert_acsl : sig ... end

conversion of ACSL++ annotations into ACSL (Logic_ptree)

module Convert_env : sig ... end

module Convert_link : sig ... end

Some transformations have to be done after having linked all files. In particular, for some of them we have to take into account the whole inheritance graph, which can be done only when all files have been parsed.

module Cxx_utils : sig ... end

Various utilities function for manipulating intermediate_format ASTs

module Fclang_datatype : sig ... end

module Frama_Clang : sig ... end

module Frama_Clang_option : sig ... end

module Frama_Clang_register : sig ... end

module Generate_spec : sig ... end

Elements of specification generated from the C++ conversion itself.

module Intermediate_format : sig ... end

module Intermediate_format_parser : sig ... end

module Mangling : sig ... end

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

module Reorder_defs : sig ... end