Changes in src/ControlStruct/MLEMutator.h [27de955:843054c2]

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 : Rob Schluntz
-// Last Modified On : Wed Jun 03 15:06:36 2015
-// Update Count     : 25
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue May 19 15:32:39 2015
+// Update Count     : 3
 //
 
@@ -38 +38 @@
                 Statement *mutate( BranchStmt *branchStmt ) throw ( SemanticError );
 
-                Statement *mutate( CaseStmt *caseStmt ); 
                 Statement *mutate( SwitchStmt *switchStmt );
                 Statement *mutate( ChooseStmt *switchStmt );
@@ -49 +48 @@
                 class Entry {
                   public:
-                        explicit Entry( Statement *_loop, Label _breakExit, Label _contExit = Label("") ) :
-                                loop( _loop ), breakExit( _breakExit ), contExit( _contExit ), breakUsed(false), contUsed(false) {}
+                        explicit Entry( Statement *_loop = 0, Label _contExit = Label(""), Label _breakExit = Label("") ) :
+                                loop( _loop ), contExit( _contExit ), breakExit( _breakExit ), contExitUsed( false ), breakExitUsed( false ) {}
 
                         bool operator==( const Statement *stmt ) { return ( loop == stmt ); }
@@ -59 +58 @@
                         Statement *get_loop() const { return loop; }
 
-                        Label useContExit() { contUsed = true; return contExit; }
-                        Label useBreakExit() { breakUsed = true; return breakExit; }
+                        Label get_contExit() const { return contExit; }
+                        void set_contExit( Label );
 
-                        bool isContUsed() const { return contUsed; }
-                        bool isBreakUsed() const { return breakUsed; }
+                        Label get_breakExit() const { return breakExit; }
+                        void set_breakExit( Label );
 
                   private:
                         Statement *loop;
-                        Label breakExit, contExit;
-                        bool breakUsed, contUsed;
+                        Label contExit, breakExit;
+                  public: // hack, provide proper [sg]etters
+                        bool contExitUsed, breakExitUsed;
                 };
 
@@ -75 +75 @@
                 Label breakLabel;
                 LabelGenerator *generator;
-
-                template< typename LoopClass >
-                Statement *handleLoopStmt( LoopClass *loopStmt );
-
-                template< typename SwitchClass > 
-                Statement *handleSwitchStmt( SwitchClass *switchStmt );
-
-                void fixBlock( std::list< Statement * > &kids );
         };
 } // namespace ControlStruct