pfff 0.37.4 · OCaml Package

module Ast = Ast_cpp

module Flag = Flag_parsing

val pr2 : string -> unit

val pr2_once : string -> unit

val warning : string -> 'a -> 'a

exception Semantic of string * Ast_cpp.tok

type shortLong =

| Short
| Long
| LongLong

type decl = {

storageD : Ast_cpp.storage;
typeD : (Ast_cpp.sign option * shortLong option * Ast_cpp.typeCbis option) Ast_cpp.wrap;
qualifD : Ast_cpp.typeQualifier;
inlineD : bool Ast_cpp.wrap;

}

val nullDecl : decl

val addStorageD : Ast_cpp.storage -> decl -> decl

val addInlineD : Ast_cpp.tok -> decl -> decl

val addTypeD : 
  ((Ast_cpp.sign, shortLong, Ast_cpp.typeCbis) Common.either3
   * Ast_cpp.tok list) ->
  decl ->
  decl

val addQualif : 
  Ast_cpp.typeQualifier ->
  Ast_cpp.typeQualifier ->
  Ast_cpp.typeQualifier

val addQualifD : Ast_cpp.typeQualifier -> decl -> decl

val type_and_storage_from_decl : 
  decl ->
  (Ast_cpp.typeQualifier * (Ast_cpp.typeCbis * Ast_cpp.tok list))
  * Ast_cpp.storage
  * (bool * Ast_cpp.tok list)

val type_and_register_from_decl : 
  decl ->
  (Ast_cpp.typeQualifier * (Ast_cpp.typeCbis * Ast_cpp.tok list))
  * Ast_cpp.tok option

val fixNameForParam : (Ast_cpp.name * 'a) -> Ast_cpp.simple_ident * 'a

val type_and_storage_for_funcdef_from_decl : 
  decl ->
  (Ast_cpp.typeQualifier * (Ast_cpp.typeCbis * Ast_cpp.tok list))
  * Ast_cpp.storage

val fixOldCDecl : Ast_cpp.fullType -> Ast_cpp.fullType

val fixFunc : 
  ((Ast_cpp.name * Ast_cpp.fullType * Ast_cpp.storage) * Ast_cpp.compound) ->
  Ast_cpp.func_definition

val fixFieldOrMethodDecl : 
  (Ast_cpp.fieldkind Ast_cpp.comma_list * Ast_cpp.tok) ->
  Ast_cpp.class_member

val mk_e : 'a -> 'b -> 'a * 'b

val mk_funcall : 
  Ast_cpp.expression ->
  Ast_cpp.argument Ast_cpp.comma_list Ast_cpp.paren ->
  Ast_cpp.expressionbis

val mk_constructor : 
  Ast_cpp.simple_ident ->
  (Ast_cpp.tok
   * (Ast_cpp.parameter Ast_cpp.comma_list * 'a option) option
   * Ast_cpp.tok) ->
  Ast_cpp.compound ->
  Ast_cpp.func_definition

val mk_destructor : 
  Ast_cpp.tok ->
  Ast_cpp.simple_ident ->
  (Ast_cpp.tok * 'a * Ast_cpp.tok) ->
  Ast_cpp.exn_spec option ->
  Ast_cpp.compound ->
  Ast_cpp.func_definition

val opt_to_list_params : ('a list * 'b) option -> 'a list

package pfff