coccinelle 1.1.1 · OCaml Package

val path : string Stdlib.ref

val macro_dir : string

val mk_macro_path : cocci_path:string -> string -> string

val std_h : string Stdlib.ref

val common_h : string Stdlib.ref

val cmdline_flags_macrofile : unit -> (string * Stdlib.Arg.spec * string) list

val cpp_i_opts : string list Stdlib.ref

val cpp_d_opts : string list Stdlib.ref

val cmdline_flags_cpp : unit -> (string * Stdlib.Arg.spec * string) list

val show_parsing_error : bool Stdlib.ref

val verbose_lexing : bool Stdlib.ref

val verbose_parsing : bool Stdlib.ref

val verbose_type : bool Stdlib.ref

val verbose_cfg : bool Stdlib.ref

val verbose_annotater : bool Stdlib.ref

val verbose_unparsing : bool Stdlib.ref

val verbose_visit : bool Stdlib.ref

val verbose_cpp_ast : bool Stdlib.ref

val verbose_includes : bool Stdlib.ref

val filter_msg : bool Stdlib.ref

val filter_msg_define_error : bool Stdlib.ref

val filter_define_error : bool Stdlib.ref

val filter_passed_level : int Stdlib.ref

val pretty_print_type_info : bool Stdlib.ref

val pretty_print_comment_info : bool Stdlib.ref

val pretty_print_typedef_value : bool Stdlib.ref

val show_flow_labels : bool Stdlib.ref

val cmdline_flags_verbose : unit -> (string * Stdlib.Arg.spec * string) list

val debug_lexer : bool Stdlib.ref

val debug_etdt : bool Stdlib.ref

val debug_typedef : bool Stdlib.ref

val debug_cpp : bool Stdlib.ref

val debug_cpp_ast : bool Stdlib.ref

val debug_unparsing : bool Stdlib.ref

val debug_cfg : bool Stdlib.ref

val cmdline_flags_debugging : unit -> (string * Stdlib.Arg.spec * string) list

val check_annotater : bool Stdlib.ref

val cmdline_flags_checks : unit -> (string * Stdlib.Arg.spec * string) list

val label_strategy_2 : bool Stdlib.ref

val cmdline_flags_algos : unit -> (string * Stdlib.Arg.spec * string) list

val cpp_directive_passing : bool Stdlib.ref

val ifdef_directive_passing : bool Stdlib.ref

val ifdef_to_if : bool Stdlib.ref

val disable_multi_pass : bool Stdlib.ref

val disable_add_typedef : bool Stdlib.ref

val if0_passing : bool Stdlib.ref

val add_typedef_root : bool Stdlib.ref

val exts_ITU : bool Stdlib.ref

val add : string list Stdlib.ref -> string -> unit

val defined : string list Stdlib.ref

val undefined : string list Stdlib.ref

val cmdline_flags_parsing_algos : 
  unit ->
  (string * Stdlib.Arg.spec * string) list

val diff_lines : string option Stdlib.ref

val use_cache : bool Stdlib.ref

val cache_prefix : string option Stdlib.ref

val cache_limit : int option Stdlib.ref

val cmdline_flags_other : unit -> (string * Stdlib.Arg.spec * string) list

val int_thresholds : 
  (int * int * string * string * string * string) option Stdlib.ref

val set_int_bits : int -> unit

val set_long_bits : int -> unit

type spacing =

| LINUX
| SMPL

val spacing : spacing Stdlib.ref

val indent : int Stdlib.ref

val set_linux_spacing : 'a -> unit

val set_smpl_spacing : 'a -> unit

val max_width : int Stdlib.ref

val no_loops : bool Stdlib.ref

val no_gotos : bool Stdlib.ref

val keep_comments : bool Stdlib.ref

val parsing_header_for_types : bool Stdlib.ref

val force_kr : bool Stdlib.ref

val prevent_kr : bool Stdlib.ref

package coccinelle