Changeset d9a0e76 for translator/ControlStruct/ChooseMutator.cc

Timestamp:

Dec 16, 2014, 9:41:50 PM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

17cd4eb

Parents:

3848e0e

Message:

remove Parser.old, add -XCFA to driver, copy ptrdiff_t from stddef.h in preclude, remove casts from initialization constants, adjust formatting

File:

• translator/ControlStruct/ChooseMutator.cc (modified) (1 diff)

translator/ControlStruct/ChooseMutator.cc

@@ -5 +5 @@
 
 namespace ControlStruct {
-
-  Statement* ChooseMutator::mutate(ChooseStmt   *chooseStmt)
-  {
-    bool enclosingChoose = insideChoose;
-    insideChoose = true;
-    mutateAll( chooseStmt->get_branches(), *this );
-    insideChoose = enclosingChoose;
-
-    return new SwitchStmt( chooseStmt->get_labels(),  chooseStmt->get_condition(), chooseStmt->get_branches() );
-  }
-
-  Statement* ChooseMutator::mutate(SwitchStmt   *switchStmt)
-  {
-    bool enclosingChoose = insideChoose;
-    insideChoose = false;
-    mutateAll( switchStmt->get_branches(), *this );
-    insideChoose = enclosingChoose;
-
-    return switchStmt;
-  }
-
-  Statement* ChooseMutator::mutate(FallthruStmt *fallthruStmt)
-  {
-    delete fallthruStmt;
-    return new NullStmt();
-  }
-
-  Statement* ChooseMutator::mutate(CaseStmt *caseStmt)
-  {
-
-    std::list< Statement * > &stmts = caseStmt->get_statements();
-
-    if ( insideChoose ) {
-      BranchStmt *posBrk;
-      if ( (( posBrk = dynamic_cast< BranchStmt * > ( stmts.back() ) ) && 
-            ( posBrk->get_type() == BranchStmt::Break ))  // last statement in the list is a (superfluous) 'break' 
-           || dynamic_cast< FallthruStmt * > ( stmts.back() ) )
-        ; 
-      else {
-        stmts.push_back( new BranchStmt( std::list< Label >(), "", BranchStmt::Break ) );
-      }
+    Statement *ChooseMutator::mutate( ChooseStmt *chooseStmt) {
+        bool enclosingChoose = insideChoose;
+        insideChoose = true;
+        mutateAll( chooseStmt->get_branches(), *this );
+        insideChoose = enclosingChoose;
+        return new SwitchStmt( chooseStmt->get_labels(),  chooseStmt->get_condition(), chooseStmt->get_branches() );
     }
 
-    mutateAll ( stmts, *this );
+    Statement *ChooseMutator::mutate( SwitchStmt *switchStmt ) {
+        bool enclosingChoose = insideChoose;
+        insideChoose = false;
+        mutateAll( switchStmt->get_branches(), *this );
+        insideChoose = enclosingChoose;
+        return switchStmt;
+    }
 
-    return caseStmt;
-  }
+    Statement *ChooseMutator::mutate( FallthruStmt *fallthruStmt ) {
+        delete fallthruStmt;
+        return new NullStmt();
+    }
 
+    Statement* ChooseMutator::mutate(CaseStmt *caseStmt) {
+        std::list< Statement * > &stmts = caseStmt->get_statements();
+
+        if ( insideChoose ) {
+            BranchStmt *posBrk;
+            if ( (( posBrk = dynamic_cast< BranchStmt * > ( stmts.back() ) ) && 
+                  ( posBrk->get_type() == BranchStmt::Break ))  // last statement in the list is a (superfluous) 'break' 
+                 || dynamic_cast< FallthruStmt * > ( stmts.back() ) )
+                ; 
+            else {
+                stmts.push_back( new BranchStmt( std::list< Label >(), "", BranchStmt::Break ) );
+            } // if
+        } // if
+
+        mutateAll ( stmts, *this );
+        return caseStmt;
+    }
 } // namespace ControlStruct