[bpt/coccinelle.git] / engine / flag_matcher.ml

let debug_engine = ref false
let verbose_matcher = ref true


(* false = simpler formulas, only for debugging *)
let useEU = ref true

let disallow_nested_exps = ref false

(* if this flag is not set, then break and continue are also error exits *)
let only_return_is_error_exit = ref false

(* a hack to allow adding code in some more sgrep-like uses *)
let allow_inconsistent_paths = ref false

(* see the use of this variable in asttoctl2.ml *)
let no_safe_expressions = ref false

let show_misc = ref true


let show_transinfo = ref false
Commit	Line	Data
485bce71	1	let debug_engine = ref false
708f4980 C	2	let verbose_matcher = ref true
708f4980 C	3
485bce71 C	4
	5	(* false = simpler formulas, only for debugging *)
	6	let useEU = ref true
	7
	8	let disallow_nested_exps = ref false
	9
	10	(* if this flag is not set, then break and continue are also error exits *)
	11	let only_return_is_error_exit = ref false
	12
	13	(* a hack to allow adding code in some more sgrep-like uses *)
	14	let allow_inconsistent_paths = ref false
	15
978fd7e5 C	16	(* see the use of this variable in asttoctl2.ml *)
	17	let no_safe_expressions = ref false
	18
485bce71	19	let show_misc = ref true
708f4980 C	20
	21
	22	let show_transinfo = ref false
	23