Changes in src/Parser/StatementNode.cc [658fafe4:7f5566b]

File:

• src/Parser/StatementNode.cc (modified) (13 diffs)

src/Parser/StatementNode.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// StatementNode.cc --
+// StatementNode.cc -- 
 //
 // Author           : Rodolfo G. Esteves
 // Created On       : Sat May 16 14:59:41 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:21:02 2016
-// Update Count     : 133
+// Last Modified On : Thu Jul 30 14:39:39 2015
+// Update Count     : 130
 //
 
@@ -22 +22 @@
 #include "SynTree/Expression.h"
 #include "parseutility.h"
-#include "Common/utility.h"
+#include "utility.h"
 
 using namespace std;
 
 const char *StatementNode::StType[] = {
-        "Exp",   "If",       "Switch", "Case",    "Default",  "Choose",   "Fallthru",
-        "While", "Do",       "For",
+        "Exp",   "If",       "Switch", "Case",    "Default",  "Choose",   "Fallthru", 
+        "While", "Do",       "For", 
         "Goto",  "Continue", "Break",  "Return",  "Throw",
         "Try",   "Catch",    "Finally", "Asm",
@@ -62 +62 @@
 StatementNode::StatementNode( Type t, ExpressionNode *ctrl_label, StatementNode *block ) : type( t ), control( ctrl_label ), block( block ), labels( 0 ), target( 0 ), decl( 0 ), isCatchRest ( false ) {
         this->control = ( t == Default ) ? 0 : control;
-}
+} 
 
 StatementNode::StatementNode( Type t, string *target ) : type( t ), control( 0 ), block( 0 ), labels( 0 ), target( target ), decl( 0 ), isCatchRest ( false ) {}
@@ -74 +74 @@
 
 StatementNode * StatementNode::newCatchStmt( DeclarationNode *d, StatementNode *s, bool catchRestP ) {
-        StatementNode *ret = new StatementNode( StatementNode::Catch, 0, s );
+        StatementNode *ret = new StatementNode( StatementNode::Catch, 0, s ); 
         ret->addDeclaration( d );
         ret->setCatchRest( catchRestP );
@@ -101 +101 @@
 StatementNode *StatementNode::add_label( const std::string *l ) {
         if ( l != 0 ) {
-                labels.push_front( *l );
+                labels.push_front( *l ); 
                 delete l;
         } // if
@@ -107 +107 @@
 }
 
-// StatementNode *StatementNode::add_controlexp( ExpressionNode *e ) {
-//      if ( control && e )
-//              control->add_to_list( e ); // xxx - check this
-//      return this;
-// }
+StatementNode *StatementNode::add_controlexp( ExpressionNode *e ) {
+        if ( control && e )
+                control->add_to_list( e ); // xxx - check this
+        return this;
+}
 
 StatementNode *StatementNode::append_block( StatementNode *stmt ) {
@@ -156 +156 @@
                         control->print( os, indent );
                         os << endl;
-                } else
+                } else 
                         os << string( indent, ' ' ) << "Null Statement" << endl;
                 break;
@@ -177 +177 @@
                 if ( block ) {
                         os << string( indent + ParseNode::indent_by, ' ' ) << "Branches of execution: " << endl;
-                        block->printList( os, indent + 2 * ParseNode::indent_by );
+                        block->printList( os, indent + 2 * ParseNode::indent_by );  
                 } // if
                 if ( target ) {
@@ -222 +222 @@
                                 branches.pop_front();
                         } // if
-                        return new IfStmt( labs, notZeroExpr( maybeBuild<Expression>(get_control()) ), thenb, elseb );
+                        return new IfStmt( labs, notZeroExpr( get_control()->build() ), thenb, elseb );
                 }
           case While:
                 assert( branches.size() == 1 );
-                return new WhileStmt( labs, notZeroExpr( maybeBuild<Expression>(get_control()) ), branches.front() );
+                return new WhileStmt( labs, notZeroExpr( get_control()->build() ), branches.front() );
           case Do:
                 assert( branches.size() == 1 );
-                return new WhileStmt( labs, notZeroExpr( maybeBuild<Expression>(get_control()) ), branches.front(), true );
+                return new WhileStmt( labs, notZeroExpr( get_control()->build() ), branches.front(), true );
           case For:
                 {
@@ -244 +244 @@
                         Expression *cond = 0;
                         if ( ctl->get_condition() != 0 )
-                                cond = notZeroExpr( maybeBuild<Expression>(ctl->get_condition()) );
+                                cond = notZeroExpr( ctl->get_condition()->build() );
 
                         Expression *incr = 0;
                         if ( ctl->get_change() != 0 )
-                                incr = maybeBuild<Expression>(ctl->get_change());
+                                incr = ctl->get_change()->build();
 
                         return new ForStmt( labs, init, cond, incr, branches.front() );
                 }
           case Switch:
-                return new SwitchStmt( labs, maybeBuild<Expression>(get_control()), branches );
-          case Case:
-                return new CaseStmt( labs, maybeBuild<Expression>(get_control()), branches );
+                return new SwitchStmt( labs, get_control()->build(), branches );
+          case Choose:
+                return new ChooseStmt( labs, get_control()->build(), branches );
+          case Fallthru:
+                return new FallthruStmt( labs );
+          case Case: 
+                return new CaseStmt( labs, get_control()->build(), branches );
           case Default:
                 return new CaseStmt( labs, 0, branches, true );
@@ -262 +266 @@
                         if ( get_target() == "" ) {                                     // computed goto
                                 assert( get_control() != 0 );
-                                return new BranchStmt( labs, maybeBuild<Expression>(get_control()), BranchStmt::Goto );
+                                return new BranchStmt( labs, get_control()->build(), BranchStmt::Goto );
                         } // if
 
@@ -390 +394 @@
                 os << string( indent + ParseNode::indent_by, ' ' ) << "Goto Labels:" << endl;
                 os << string( indent + 2 * ParseNode::indent_by, ' ' );
-                for ( std::list<Label>::const_iterator i = gotolabels.begin();; ) {
+                for ( std::list<std::string>::const_iterator i = gotolabels.begin();; ) {
                         os << *i;
                         i++;
@@ -417 +421 @@
 }
 
+
+void NullStmtNode::print( ostream &os, int indent ) const {
+        os << string( indent, ' ' ) << "Null Statement:" << endl;
+}
+
+Statement *NullStmtNode::build() const { 
+        return new NullStmt;
+}
+
 // Local Variables: //
 // tab-width: 4 //