diffast-langs-cpp-parsing 0.1.1

module Xlist = Diffast_misc.Xlist

module Binding = Diffast_misc.Binding

module Astloc = Langs_common.Astloc

module BID = Binding.ID

module C = Context

module L = Label

val encode_ident : string -> string

val decode_pat : Str.regexp

val decode_ident : string -> string

type pp_if_cond =

| PP_IF of string * Obj.t list
| PP_IFDEF of Common.ident
| PP_IFNDEF of Common.ident

type pp_if_cond_sub =

| PP_NONE
| PP_CLOSING
| PP_STR
| PP_EXPR
| PP_INIT

type pp_compl = {

mutable c_brace : int;
mutable c_paren : int;

}

type pp_if_section_info = {

mutable i_line : int;
mutable i_context : C.t;
mutable i_sub_context : C.sub;
mutable i_label : L.t;
mutable i_brace_level : int;
mutable i_paren_level : int;
mutable i_templ_param_arg_level : int;
mutable i_cond : pp_if_cond;
mutable i_cond_sub : pp_if_cond_sub;
mutable i_pp_elif : int list;
mutable i_pp_else : int option;
mutable i_lbraces : int;
mutable i_rbraces : int;
mutable i_odd : bool;
mutable i_odd_canceled : bool;
mutable i_broken : bool;
mutable i_paren_closing : bool;
mutable i_brace_closing : int;
mutable i_brace_opening : bool;
mutable i_func_head : bool;
mutable i_func_body : bool;
mutable i_semicolon : bool;
mutable i_comma : bool;
mutable i_cond_expr : bool;
mutable i_cond_expr_ : bool;
mutable i_asm : bool;
mutable i_begin_asm : bool;
mutable i_pp_if_compl : pp_compl;
mutable i_lack_of_dtor : bool;
mutable i_class_brace_opening : bool;
mutable i_follows_comma : bool;
mutable i_brace_paren_closing : bool;
mutable i_broken_func_head : bool;
mutable i_templ_closing : bool;

}

val pp_if_cond_to_string : pp_if_cond -> string

val pp_if_cond_sub_to_string : pp_if_cond_sub -> string

val pp_compl_to_string : pp_compl -> string

val pp_if_section_info_to_string : pp_if_section_info -> string

val make_pp_if_section_info : 
  ?cond_sub:pp_if_cond_sub ->
  ?pp_elif:int list ->
  ?pp_else:int option ->
  int ->
  C.t ->
  C.sub ->
  int ->
  int ->
  int ->
  pp_if_cond ->
  pp_if_section_info

val dummy_info : pp_if_section_info

module ElaboratedType : sig ... end

module PlaceholderType : sig ... end

module CvQualifier : sig ... end

module TypeSpec : sig ... end

class decl_specs : object ... end

class qualifiers : object ... end

class virt_specs : object ... end

module Type : sig ... end

module Name : sig ... end

type t =

| NoInfo
| NameSpec of Name.Spec.c
| External of Common.name

val from_spec : Name.Spec.c -> t

val from_name : Common.name -> t

val get_external : t -> Common.name

val get_spec : t -> Name.Spec.c

val merge : t -> 'a -> 'a

val to_string : t -> string

package diffast-langs-cpp-parsing