coccinelle 1.1.1 · OCaml Package

type line_restriction = Parse_c.line_restriction =

| Included of int * int
| Excluded of int * int

type program2 = toplevel2 list

and extended_program2 =
  toplevel2 list
  * (string, Lexer_parser.identkind) Common.scoped_h_env
  * (string, Cpp_token_c.define_def) Hashtbl.t

and toplevel2 = Ast_c.toplevel * info_item

and info_item = string * Parser_c.token list

type !'a generic_parse_info = 'a Parse_c.generic_parse_info = {

filename : string;
ranges : line_restriction list option;
parse_trees : 'a;
statistics : Parsing_stat.parsing_stat;

}

type parse_info = program2 generic_parse_info

type extended_parse_info = extended_program2 generic_parse_info

val _defs : (string, Cpp_token_c.define_def) Hashtbl.t ref

val _defs_builtins : (string, Cpp_token_c.define_def) Hashtbl.t ref

val init_defs_macros : Common.filename -> unit

val init_defs_builtins : Common.filename -> unit

val parse_c_and_cpp : 
  bool ->
  bool ->
  Common.filename ->
  program2 * Parsing_stat.parsing_stat

val parse_c_and_cpp_keep_typedefs : 
  (string, Lexer_parser.identkind) Common.scoped_h_env option ->
  (string, Cpp_token_c.define_def) Hashtbl.t option ->
  bool ->
  bool ->
  Common.filename ->
  extended_parse_info * extended_parse_info list

val parse_cache : 
  (string, Lexer_parser.identkind) Common.scoped_h_env option ->
  bool ->
  bool ->
  Common.filename ->
  bool ->
  extended_parse_info * extended_parse_info list

val extract_macros : 
  Common.filename ->
  (string, Cpp_token_c.define_def) Common.assoc

val tokens : ?profile:bool -> Common.filename -> Parser_c.token list

val tokens_of_string : string -> Lexing.position option -> Parser_c.token list

val parse : Common.filename -> Ast_c.program

val parse_gen : 
  cpp:bool ->
  tos:bool ->
  ((Lexing.lexbuf -> Parser_c.token) -> Lexing.lexbuf -> 'a) ->
  Lexing.position option ->
  string ->
  'a

val type_of_string : string -> Ast_c.fullType

val statement_of_string : string -> Ast_c.statement

val cstatement_of_string : string -> Ast_c.statement

val cexpression_of_string : string -> Ast_c.expression

val print_commentized : Parser_c.token list -> unit

val program_of_program2 : program2 -> Ast_c.program

val with_program2 : (Ast_c.program -> Ast_c.program) -> program2 -> program2

type parse_error_function =
  int ->
  Parser_c.token list ->
  (int * int) ->
  string array ->
  int ->
  unit

val set_parse_error_function : parse_error_function -> unit

package coccinelle