[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

let use_glimpse = ref false

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
	11	let use_glimpse = ref false
	12
	13	let pyoutput = ref "coccilib.output.Console"
	14
	15	("Some" value is the path with respect to which the patch should be created)
	16	let patch = ref (None : string option)
	17
	18	let make_hrule = ref (None : string (dir) option)
0708f913	19	let hrule_per_file = ref true (* if false, then a rule per function *)
485bce71 C	20
	21	let currentfile = ref (None : string option)
	22
	23	let current_element = ref ""
0708f913	24	let dir = ref ""