Changeset 5cdeecd for src/ControlStruct/MLEMutator.h

Timestamp:

Jan 21, 2020, 10:59:49 AM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

09f357ec, 5518719

Parents:

5ee7d36

Message:

We think we figured out what MLE stood for and cleaned up some of the Multi-Level Exit helpers.

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 );