Changes in src/ControlStruct/MLEMutator.h [9d6317f:720a007]

File:

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

src/ControlStruct/MLEMutator.h

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Jan 22 11:50:00 2020
-// Update Count     : 48
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Mar  8 16:42:32 2018
+// Update Count     : 41
 //
 
@@ -30 +30 @@
         class LabelGenerator;
 
-        class MultiLevelExitMutator : public WithVisitorRef<MultiLevelExitMutator>,
-                        public WithShortCircuiting, public WithGuards {
+        class MLEMutator : public WithVisitorRef<MLEMutator>, public WithShortCircuiting, public WithGuards {
           public:
                 class Entry;
-                MultiLevelExitMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) :
-                        targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
-                ~MultiLevelExitMutator();
-
-                void premutate( FunctionDecl * );
+                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
+                ~MLEMutator();
 
                 void premutate( CompoundStmt *cmpndStmt );
@@ -51 +47 @@
                 void premutate( SwitchStmt *switchStmt );
                 Statement * postmutate( SwitchStmt *switchStmt );
-                void premutate( ReturnStmt *returnStmt );
-                void premutate( TryStmt *tryStmt );
-                Statement * postmutate( TryStmt *tryStmt );
-                void premutate( FinallyStmt *finallyStmt );
 
                 Statement *mutateLoop( Statement *bodyLoop, Entry &e );
@@ -81 +73 @@
                         explicit Entry( SwitchStmt *stmt, Label breakExit, Label fallDefaultExit ) :
                                 stmt( stmt ), breakExit( breakExit ), fallDefaultExit( fallDefaultExit ) {}
-
-                        explicit Entry( TryStmt *stmt, Label breakExit ) :
-                                stmt( stmt ), breakExit( breakExit ) {}
 
                         bool operator==( const Statement *other ) { return stmt == other; }
@@ -116 +105 @@
                 Label breakLabel;
                 LabelGenerator *generator;
-                bool inFinally = false;
 
                 template< typename LoopClass >