Release coccinelle-0.1.4

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

diff --git a/ctl/.#flag_ctl.ml.1.12 b/engine/flag_engine.ml
similarity index 66%
rename from ctl/.#flag_ctl.ml.1.12
rename to engine/flag_engine.ml
index 97a487d..5783e6b 100644 (file)
--- a/ctl/.#flag_ctl.ml.1.12
+++ b/engine/flag_engine.ml
@@ -1,5 +1,5 @@
 (*
-* Copyright 2005-2008, Ecole des Mines de Nantes, University of Copenhagen
+* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller
 * This file is part of Coccinelle.
 * 
@@ -20,19 +20,15 @@
 *)
 
 
-(* option -verbose_ctl_engine *)
-let verbose_ctl_engine = ref false
+let debug_engine = ref false
 
-(* cheap partial matches using assttomember *)
-let verbose_match = ref false
+(* false = simpler formulas, only for debugging *)
+let useEU = ref true
 
-let partial_match = ref false
+let disallow_nested_exps = ref false
 
-let poswits_only = ref false
-
-let loop_in_src_code = ref false
-
-let bench = ref 0
-
-let steps = ref (None : int option)
+(* 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