Changes in src/ControlStruct/MLEMutator.h [d3b7937:e39aa0f]

File:

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

src/ControlStruct/MLEMutator.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// MLEMutator.h -- 
+// MLEMutator.h --
 //
 // Author           : Rodolfo G. Esteves
@@ -23 +23 @@
 #include "SynTree/SynTree.h"
 #include "SynTree/Mutator.h"
+#include "SynTree/Label.h"
 
 #include "LabelGenerator.h"
@@ -38 +39 @@
                 Statement *mutate( BranchStmt *branchStmt ) throw ( SemanticError );
 
-                Statement *mutate( CaseStmt *caseStmt ); 
+                Statement *mutate( CaseStmt *caseStmt );
                 Statement *mutate( SwitchStmt *switchStmt );
                 Statement *mutate( ChooseStmt *switchStmt );
@@ -55 +56 @@
                         bool operator!=( const Statement *stmt ) { return ( loop != stmt ); }
 
-                        bool operator==( const Entry &other ) { return ( loop == other.get_loop() ); }
+                        bool operator==( const Entry &other ) { return ( loop == other.get_controlStructure() ); }
 
-                        Statement *get_loop() const { return loop; }
+                        Statement *get_controlStructure() const { return loop; }
 
                         Label useContExit() { contUsed = true; return contExit; }
@@ -72 +73 @@
 
                 std::map< Label, Statement * > *targetTable;
-                std::list< Entry > enclosingBlocks, enclosingLoops, enclosingSwitches;
+                std::list< Entry > enclosingControlStructures;
                 Label breakLabel;
                 LabelGenerator *generator;
@@ -79 +80 @@
                 Statement *handleLoopStmt( LoopClass *loopStmt );
 
-                template< typename SwitchClass > 
+                template< typename SwitchClass >
                 Statement *handleSwitchStmt( SwitchClass *switchStmt );