pfff 0.39.4 · OCaml Package

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

package pfff