File: flag.mli

package info (click to toggle)
coccinelle 1.0.8.deb-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 26,148 kB
  • sloc: ml: 136,392; ansic: 23,594; sh: 2,189; makefile: 2,157; perl: 1,576; lisp: 840; python: 823; awk: 70; csh: 12
file content (33 lines) | stat: -rw-r--r-- 1,136 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
val sgrep_mode2 : bool ref
val show_misc : bool ref
val show_transinfo : bool ref
val show_trying : bool ref
val track_iso_usage : bool ref
val worth_trying_opt : bool ref
type scanner = IdUtils | Glimpse | CocciGrep | GitGrep | NoScanner
val scanner : scanner ref
val pyoutput : string ref
val ocamlc : string ref
val ocamlopt : string ref
val ocamldep : string ref
val ocamlfind : string ref
val patch : string option ref
val make_hrule : string option ref
val hrule_per_file : bool ref
val currentfile : string option ref
val currentfiles : string list ref
val current_element : string ref
val current_element_pos : ((int * int) * (int * int)) Lazy.t ref
val dir : string ref
val defined_virtual_rules : string list ref
val defined_virtual_env : (string * string) list ref
val set_defined_virtual_rules : string -> unit
val c_plus_plus : bool ref
val ibm : bool ref
val include_headers : bool ref
val no_include_cache : bool ref
val parmap_cores      : int option ref
val parmap_chunk_size : int option ref
exception UnreadableFile of string
val cocci_attribute_names : string list ref
val add_cocci_attribute_names : string -> unit