Changes in src/ControlStruct/Mutate.cc [8688ce1:145f1fc]

File:

• src/ControlStruct/Mutate.cc (modified) (4 diffs)

src/ControlStruct/Mutate.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Mutate.cc --
+// Mutate.cc -- 
 //
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Aug  4 11:39:08 2016
-// Update Count     : 9
+// Last Modified By : Rob Schluntz
+// Last Modified On : Wed Jul 15 14:50:04 2015
+// Update Count     : 7
 //
 
@@ -20 +20 @@
 
 #include "Mutate.h"
+#include "ChooseMutator.h"
 #include "LabelFixer.h"
 #include "MLEMutator.h"
+#include "CaseRangeMutator.h"
 #include "ForExprMutator.h"
 #include "LabelTypeChecker.h"
 //#include "ExceptMutator.h"
 
-#include "Common/utility.h"
+#include "utility.h"
 
 #include "SynTree/Visitor.h"
@@ -37 +39 @@
                 ForExprMutator formut;
 
-                // normalizes label definitions and generates multi-level exit labels
+                // normalizes label definitions and generates multi-level
+                // exit labels
                 LabelFixer lfix;
+
+                // transform choose statements into switch statements
+                ChooseMutator chmut;
+
+                // expand case ranges and turn fallthru into a null statement
+                CaseRangeMutator ranges;  // has to run after ChooseMutator
 
                 //ExceptMutator exc;
@@ -45 +54 @@
                 mutateAll( translationUnit, formut );
                 acceptAll( translationUnit, lfix );
+                mutateAll( translationUnit, chmut );
+                mutateAll( translationUnit, ranges );
                 //mutateAll( translationUnit, exc );
                 //acceptAll( translationUnit, lbl );