pfff-lang_cpp
Parser_cpp_mly_helper
commons
commons_core
commons_ocollection
pfff-commons-graph
pfff-config
pfff-graph_code
pfff-h_files-format
pfff-h_program-lang
pfff-h_visualization
pfff-lang_FUZZY
pfff-lang_GENERIC
pfff-lang_GENERIC-analyze
pfff-lang_c
pfff-lang_c-analyze
pfff-lang_cpp-analyze
pfff-lang_java
pfff-lang_java-analyze
pfff-lang_js
pfff-lang_js-analyze
pfff-lang_lisp
pfff-lang_ml
pfff-lang_ml-analyze
pfff-lang_nw
pfff-lang_nw-analyze
pfff-lang_php
pfff-lang_python
pfff-lang_python-analyze
pfff-lang_skip
module Ast = Cst_cpp
module Flag = Flag_parsing
val pr2 : string -> unit
val pr2_once : string -> unit
val warning : string -> 'a -> 'a
exception Semantic of string * Cst_cpp.tok
type shortLong =
| Short
| Long
| LongLong
type decl = {
storageD : Cst_cpp.storage;
typeD : (Cst_cpp.sign option * shortLong option * Cst_cpp.typeCbis option) Cst_cpp.wrap;
qualifD : Cst_cpp.typeQualifier;
inlineD : bool Cst_cpp.wrap;
}
val nullDecl : decl
val addStorageD : Cst_cpp.storage -> decl -> decl
val addInlineD : Cst_cpp.tok -> decl -> decl
val addTypeD : ((Cst_cpp.sign, shortLong, Cst_cpp.typeCbis) Common.either3 * Cst_cpp.tok list) -> decl -> decl
val addQualif : Cst_cpp.typeQualifier -> Cst_cpp.typeQualifier -> Cst_cpp.typeQualifier
val addQualifD : Cst_cpp.typeQualifier -> decl -> decl
val type_and_storage_from_decl : decl -> (Cst_cpp.typeQualifier * (Cst_cpp.typeCbis * Cst_cpp.tok list)) * Cst_cpp.storage * (bool * Cst_cpp.tok list)
val type_and_register_from_decl : decl -> (Cst_cpp.typeQualifier * (Cst_cpp.typeCbis * Cst_cpp.tok list)) * Cst_cpp.tok option
val fixNameForParam : (Cst_cpp.name * 'a) -> Cst_cpp.simple_ident * 'a
val type_and_storage_for_funcdef_from_decl : decl -> (Cst_cpp.typeQualifier * (Cst_cpp.typeCbis * Cst_cpp.tok list)) * Cst_cpp.storage
val fixOldCDecl : Cst_cpp.fullType -> Cst_cpp.fullType
val fixFunc : ((Cst_cpp.name * Cst_cpp.fullType * Cst_cpp.storage) * Cst_cpp.compound) -> Cst_cpp.func_definition
val fixFieldOrMethodDecl : (Cst_cpp.fieldkind Cst_cpp.comma_list * Cst_cpp.tok) -> Cst_cpp.class_member
val mk_e : 'a -> 'b -> 'a * 'b
val mk_funcall : Cst_cpp.expression -> Cst_cpp.argument Cst_cpp.comma_list Cst_cpp.paren -> Cst_cpp.expressionbis
val mk_constructor : Cst_cpp.simple_ident -> (Cst_cpp.tok * (Cst_cpp.parameter Cst_cpp.comma_list * 'a option) option * Cst_cpp.tok) -> Cst_cpp.compound -> Cst_cpp.func_definition
val mk_destructor : Cst_cpp.tok -> Cst_cpp.simple_ident -> (Cst_cpp.tok * 'a * Cst_cpp.tok) -> Cst_cpp.exn_spec option -> Cst_cpp.compound -> Cst_cpp.func_definition
val opt_to_list_params : ('a list * 'b) option -> 'a list