Changes in src/SynTree/Statement.cc [e67991f:37cdd97]

File:

• src/SynTree/Statement.cc (modified) (34 diffs)

src/SynTree/Statement.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Sep  3 20:46:44 2017
-// Update Count     : 68
+// Last Modified By : Andrew Beach
+// Last Modified On : Mon Jan 20 16:03:00 2020
+// Update Count     : 71
 //
 
@@ -46 +46 @@
 Statement::~Statement() {}
 
-ExprStmt::ExprStmt( Expression *expr ) : Statement(), expr( expr ) {}
-
-ExprStmt::ExprStmt( const ExprStmt &other ) : Statement( other ), expr( maybeClone( other.expr ) ) {}
+ExprStmt::ExprStmt( Expression * expr ) : Statement(), expr( expr ) {}
+
+ExprStmt::ExprStmt( const ExprStmt & other ) : Statement( other ), expr( maybeClone( other.expr ) ) {}
 
 ExprStmt::~ExprStmt() {
@@ -54 +54 @@
 }
 
-void ExprStmt::print( std::ostream &os, Indenter indent ) const {
+void ExprStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Expression Statement:" << endl << indent+1;
         expr->print( os, indent+1 );
@@ -60 +60 @@
 
 
-AsmStmt::AsmStmt( bool voltile, Expression *instruction, std::list<Expression *> output, std::list<Expression *> input, std::list<ConstantExpr *> clobber, std::list<Label> gotolabels ) : Statement(), voltile( voltile ), instruction( instruction ), output( output ), input( input ), clobber( clobber ), gotolabels( gotolabels ) {}
+AsmStmt::AsmStmt( bool voltile, Expression * instruction, std::list<Expression *> output, std::list<Expression *> input, std::list<ConstantExpr *> clobber, std::list<Label> gotolabels ) : Statement(), voltile( voltile ), instruction( instruction ), output( output ), input( input ), clobber( clobber ), gotolabels( gotolabels ) {}
 
 AsmStmt::AsmStmt( const AsmStmt & other ) : Statement( other ), voltile( other.voltile ), instruction( maybeClone( other.instruction ) ), gotolabels( other.gotolabels ) {
@@ -75 +75 @@
 }
 
-void AsmStmt::print( std::ostream &os, Indenter indent ) const {
+void AsmStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Assembler Statement:" << endl;
         os << indent+1 << "instruction: " << endl << indent;
@@ -96 +96 @@
 DirectiveStmt::DirectiveStmt( const std::string & directive ) : Statement(), directive( directive ) {}
 
-void DirectiveStmt::print( std::ostream &os, Indenter ) const {
+void DirectiveStmt::print( std::ostream & os, Indenter ) const {
         os << "GCC Directive:" << directive << endl;
 }
 
 
-const char *BranchStmt::brType[] = { "Goto", "Break", "Continue" };
+const char * BranchStmt::brType[] = {
+        "Goto", "Break", "Continue", "Fall Through", "Fall Through Default",
+};
 
 BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticErrorException ) :
@@ -111 +113 @@
 }
 
-BranchStmt::BranchStmt( Expression *computedTarget, Type type ) throw ( SemanticErrorException ) :
+BranchStmt::BranchStmt( Expression * computedTarget, Type type ) throw ( SemanticErrorException ) :
         Statement(), computedTarget( computedTarget ), type( type ) {
         if ( type != BranchStmt::Goto || computedTarget == nullptr ) {
@@ -118 +120 @@
 }
 
-void BranchStmt::print( std::ostream &os, Indenter indent ) const {
+void BranchStmt::print( std::ostream & os, Indenter indent ) const {
+        assert(type < 5);
         os << "Branch (" << brType[type] << ")" << endl ;
         if ( target != "" ) os << indent+1 << "with target: " << target << endl;
@@ -125 +128 @@
 }
 
-ReturnStmt::ReturnStmt( Expression *expr ) : Statement(), expr( expr ) {}
+ReturnStmt::ReturnStmt( Expression * expr ) : Statement(), expr( expr ) {}
 
 ReturnStmt::ReturnStmt( const ReturnStmt & other ) : Statement( other ), expr( maybeClone( other.expr ) ) {}
@@ -133 +136 @@
 }
 
-void ReturnStmt::print( std::ostream &os, Indenter indent ) const {
+void ReturnStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Return Statement, returning: ";
         if ( expr != nullptr ) {
@@ -142 +145 @@
 }
 
-IfStmt::IfStmt( Expression *condition, Statement *thenPart, Statement *elsePart, std::list<Statement *> initialization ):
+IfStmt::IfStmt( Expression * condition, Statement * thenPart, Statement * elsePart, std::list<Statement *> initialization ):
         Statement(), condition( condition ), thenPart( thenPart ), elsePart( elsePart ), initialization( initialization ) {}
 
@@ -157 +160 @@
 }
 
-void IfStmt::print( std::ostream &os, Indenter indent ) const {
+void IfStmt::print( std::ostream & os, Indenter indent ) const {
         os << "If on condition: " << endl;
         os << indent+1;
@@ -176 +179 @@
         thenPart->print( os, indent+1 );
 
-        if ( elsePart != 0 ) {
+        if ( elsePart != nullptr ) {
                 os << indent << "... else: " << endl;
                 os << indent+1;
@@ -183 +186 @@
 }
 
-SwitchStmt::SwitchStmt( Expression * condition, const std::list<Statement *> &statements ):
+SwitchStmt::SwitchStmt( Expression * condition, const std::list<Statement *> & statements ):
         Statement(), condition( condition ), statements( statements ) {
 }
@@ -198 +201 @@
 }
 
-void SwitchStmt::print( std::ostream &os, Indenter indent ) const {
+void SwitchStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Switch on condition: ";
         condition->print( os );
@@ -208 +211 @@
 }
 
-CaseStmt::CaseStmt( Expression *condition, const std::list<Statement *> &statements, bool deflt ) throw ( SemanticErrorException ) :
+CaseStmt::CaseStmt( Expression * condition, const std::list<Statement *> & statements, bool deflt ) throw ( SemanticErrorException ) :
         Statement(), condition( condition ), stmts( statements ), _isDefault( deflt ) {
-        if ( isDefault() && condition != 0 ) SemanticError( condition, "default case with condition: " );
+        if ( isDefault() && condition != nullptr ) SemanticError( condition, "default case with condition: " );
 }
 
@@ -229 +232 @@
 }
 
-void CaseStmt::print( std::ostream &os, Indenter indent ) const {
+void CaseStmt::print( std::ostream & os, Indenter indent ) const {
         if ( isDefault() ) os << indent << "Default ";
         else {
@@ -243 +246 @@
 }
 
-WhileStmt::WhileStmt( Expression *condition, Statement *body, std::list< Statement * > & initialization, bool isDoWhile ):
+WhileStmt::WhileStmt( Expression * condition, Statement * body, std::list< Statement * > & initialization, bool isDoWhile ):
         Statement(), condition( condition), body( body), initialization( initialization ), isDoWhile( isDoWhile) {
 }
@@ -256 +259 @@
 }
 
-void WhileStmt::print( std::ostream &os, Indenter indent ) const {
+void WhileStmt::print( std::ostream & os, Indenter indent ) const {
         os << "While on condition: " << endl ;
         condition->print( os, indent+1 );
@@ -262 +265 @@
         os << indent << "... with body: " << endl;
 
-        if ( body != 0 ) body->print( os, indent+1 );
-}
-
-ForStmt::ForStmt( std::list<Statement *> initialization, Expression *condition, Expression *increment, Statement *body ):
+        if ( body != nullptr ) body->print( os, indent+1 );
+}
+
+ForStmt::ForStmt( std::list<Statement *> initialization, Expression * condition, Expression * increment, Statement * body ):
         Statement(), initialization( initialization ), condition( condition ), increment( increment ), body( body ) {
 }
@@ -282 +285 @@
 }
 
-void ForStmt::print( std::ostream &os, Indenter indent ) const {
+void ForStmt::print( std::ostream & os, Indenter indent ) const {
         Statement::print( os, indent ); // print labels
 
@@ -305 +308 @@
         }
 
-        if ( body != 0 ) {
+        if ( body != nullptr ) {
                 os << "\n" << indent << "... with body: \n" << indent+1;
                 body->print( os, indent+1 );
@@ -317 +320 @@
 }
 
-ThrowStmt::ThrowStmt( const ThrowStmt &other ) :
+ThrowStmt::ThrowStmt( const ThrowStmt & other ) :
         Statement ( other ), kind( other.kind ), expr( maybeClone( other.expr ) ), target( maybeClone( other.target ) ) {
 }
@@ -326 +329 @@
 }
 
-void ThrowStmt::print( std::ostream &os, Indenter indent) const {
+void ThrowStmt::print( std::ostream & os, Indenter indent) const {
         if ( target ) os << "Non-Local ";
         os << "Throw Statement, raising: ";
@@ -336 +339 @@
 }
 
-TryStmt::TryStmt( CompoundStmt *tryBlock, std::list<CatchStmt *> &handlers, FinallyStmt *finallyBlock ) :
+TryStmt::TryStmt( CompoundStmt * tryBlock, std::list<CatchStmt *> & handlers, FinallyStmt * finallyBlock ) :
         Statement(), block( tryBlock ),  handlers( handlers ), finallyBlock( finallyBlock ) {
 }
 
-TryStmt::TryStmt( const TryStmt &other ) : Statement( other ), block( maybeClone( other.block ) ), finallyBlock( maybeClone( other.finallyBlock ) ) {
+TryStmt::TryStmt( const TryStmt & other ) : Statement( other ), block( maybeClone( other.block ) ), finallyBlock( maybeClone( other.finallyBlock ) ) {
         cloneAll( other.handlers, handlers );
 }
@@ -350 +353 @@
 }
 
-void TryStmt::print( std::ostream &os, Indenter indent ) const {
+void TryStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Try Statement" << endl;
         os << indent << "... with block:" << endl << indent+1;
@@ -363 +366 @@
 
         // finally block
-        if ( finallyBlock != 0 ) {
+        if ( finallyBlock != nullptr ) {
                 os << indent << "... and finally:" << endl << indent+1;
                 finallyBlock->print( os, indent+1 );
@@ -369 +372 @@
 }
 
-CatchStmt::CatchStmt( Kind kind, Declaration *decl, Expression *cond, Statement *body ) :
+CatchStmt::CatchStmt( Kind kind, Declaration * decl, Expression * cond, Statement * body ) :
         Statement(), kind ( kind ), decl ( decl ), cond ( cond ), body( body ) {
                 assertf( decl, "Catch clause must have a declaration." );
@@ -383 +386 @@
 }
 
-void CatchStmt::print( std::ostream &os, Indenter indent ) const {
+void CatchStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Catch " << ((Terminate == kind) ? "Terminate" : "Resume") << " Statement" << endl;
 
@@ -401 +404 @@
 
 
-FinallyStmt::FinallyStmt( CompoundStmt *block ) : Statement(), block( block ) {
+FinallyStmt::FinallyStmt( CompoundStmt * block ) : Statement(), block( block ) {
 }
 
@@ -411 +414 @@
 }
 
-void FinallyStmt::print( std::ostream &os, Indenter indent ) const {
+void FinallyStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Finally Statement" << endl;
         os << indent << "... with block:" << endl << indent+1;
         block->print( os, indent+1 );
+}
+
+SuspendStmt::SuspendStmt( const SuspendStmt & other )
+        : Statement( other )
+        , then( maybeClone(other.then) )
+{}
+
+SuspendStmt::~SuspendStmt() {
+        delete then;
+}
+
+void SuspendStmt::print( std::ostream & os, Indenter indent ) const {
+        os << "Suspend Statement";
+        switch (type) {
+                case None     : os << " with implicit target"; break;
+                case Generator: os << " for generator"       ; break;
+                case Coroutine: os << " for coroutine"       ; break;
+        }
+        os << endl;
+        indent += 1;
+
+        if(then) {
+                os << indent << " with post statement :" << endl;
+                then->print( os, indent + 1);
+        }
 }
 
@@ -458 +486 @@
 }
 
-void WaitForStmt::print( std::ostream &os, Indenter indent ) const {
+void WaitForStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Waitfor Statement" << endl;
         indent += 1;
@@ -514 +542 @@
 }
 
-void NullStmt::print( std::ostream &os, Indenter indent ) const {
+void NullStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Null Statement" << endl;
         Statement::print( os, indent );
@@ -530 +558 @@
 }
 
-void ImplicitCtorDtorStmt::print( std::ostream &os, Indenter indent ) const {
+void ImplicitCtorDtorStmt::print( std::ostream & os, Indenter indent ) const {
         os << "Implicit Ctor Dtor Statement" << endl;
         os << indent << "... with Ctor/Dtor: ";