[bpt/coccinelle.git] / globals / flag.ml

let sgrep_mode2 = ref false

let show_misc = ref true

let show_transinfo = ref false

let show_trying = ref false

let track_iso_usage = ref false

type scanner = Glimpse | Google of string | NoScanner
let scanner = ref NoScanner

let pyoutput = ref "coccilib.output.Console"

(*"Some" value is the path with respect to which the patch should be created*)
let patch = ref (None : string option)

let make_hrule = ref (None : string (*dir*) option)
let hrule_per_file = ref true (* if false, then a rule per function *)

let currentfile = ref (None : string option)

let current_element = ref ""
let dir = ref ""
Commit	Line	Data
34e49164 C	1	let sgrep_mode2 = ref false
	2
	3	let show_misc = ref true
	4
faf9a90c C	5	let show_transinfo = ref false
faf9a90c C	6
34e49164 C	7	let show_trying = ref false
	8
	9	let track_iso_usage = ref false
	10
951c7801 C	11	type scanner = Glimpse \| Google of string \| NoScanner
951c7801 C	12	let scanner = ref NoScanner
34e49164 C	13
	14	let pyoutput = ref "coccilib.output.Console"
	15
	16	("Some" value is the path with respect to which the patch should be created)
	17	let patch = ref (None : string option)
	18
	19	let make_hrule = ref (None : string (dir) option)
0708f913	20	let hrule_per_file = ref true (* if false, then a rule per function *)
485bce71 C	21
	22	let currentfile = ref (None : string option)
	23
	24	let current_element = ref ""
0708f913	25	let dir = ref ""