Changes in src/ControlStruct/MLEMutator.h [d62806c:5cdeecd]

File:

• src/ControlStruct/MLEMutator.h (modified) (2 diffs)

src/ControlStruct/MLEMutator.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr Jan 16 12:46:00 2020
-// Update Count     : 46
+// Last Modified On : Tue Jan 21 10:33:00 2020
+// Update Count     : 47
 //
-
-// Can anyone figure out what MLE stands for?
 
 #pragma once
@@ -32 +30 @@
         class LabelGenerator;
 
-        class MLEMutator : public WithVisitorRef<MLEMutator>, public WithShortCircuiting, public WithGuards {
+        class MultiLevelExitMutator : public WithVisitorRef<MultiLevelExitMutator>,
+                        public WithShortCircuiting, public WithGuards {
           public:
                 class Entry;
-                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
-                ~MLEMutator();
+                MultiLevelExitMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) :
+                        targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
+                ~MultiLevelExitMutator();
 
                 void premutate( CompoundStmt *cmpndStmt );