[bpt/coccinelle.git] / parsing_cocci / flag_parsing_cocci.ml

(* uses E rather than A and adds comments indicating the start and end of
each matched term *)

let sgrep_mode = ref false (* no longer supported, subsumed by sgrep2 *)

let show_SP = ref false
let show_iso_failures = ref true

let iso_limit = ref (None : int option) (*(Some 3)*)

let defined_virtual_rules = ref ([] : string list)

let set_defined_virtual_rules s =
  defined_virtual_rules := s :: !defined_virtual_rules
Commit	Line	Data
34e49164 C	1	(* uses E rather than A and adds comments indicating the start and end of
	2	each matched term *)
	3
	4	let sgrep_mode = ref false (* no longer supported, subsumed by sgrep2 *)
	5
	6	let show_SP = ref false
	7	let show_iso_failures = ref true
b1b2de81 C	8
b1b2de81 C	9	let iso_limit = ref (None : int option) ((Some 3))
951c7801	10
7f004419	11	let defined_virtual_rules = ref ([] : string list)
951c7801 C	12
951c7801 C	13	let set_defined_virtual_rules s =
951c7801	14	defined_virtual_rules := s :: !defined_virtual_rules