source: src/SynTree/Statement.cc@ 0a89a8f

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum with_gc
Last change on this file since 0a89a8f was 6a276a0, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Update parser for new fallthrough semantics

  • Property mode set to 100644
File size: 15.2 KB
RevLine 
[0dd3a2f]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
[3be261a]7// Statement.cc --
[0dd3a2f]8//
9// Author : Richard C. Bilson
10// Created On : Mon May 18 07:44:20 2015
[6d49ea3]11// Last Modified By : Peter A. Buhr
[e612146c]12// Last Modified On : Sun Sep 3 20:46:44 2017
13// Update Count : 68
[0dd3a2f]14//
15
[ea6332d]16#include "SynTree/Statement.h"
[51b73452]17
[ea6332d]18#include <stddef.h> // for NULL
19#include <cassert> // for assert, assertf
20#include <iostream> // for operator<<, basic_ostream, endl
21#include <list> // for list, list<>::const_iterator, _Lis...
22#include <string> // for operator<<, string, char_traits
23
24#include "Common/SemanticError.h" // for SemanticError
25#include "Common/utility.h" // for maybeClone, cloneAll, deleteAll
26#include "Declaration.h" // for Declaration
27#include "Expression.h" // for Expression, ConstantExpr
28#include "Statement.h" // for Statement, ForStmt, AsmStmt, Catch...
29#include "SynTree/Label.h" // for Label, operator<<
[51b73452]30
31using std::string;
32using std::endl;
33
[ba3706f]34Statement::Statement( const std::list<Label> & labels ) : labels( labels ) {}
[51b73452]35
[6a276a0]36void Statement::print( std::ostream & os, Indenter indent ) const {
[50377a4]37 if ( ! labels.empty() ) {
[6a276a0]38 os << indent << "... Labels: {";
[50377a4]39 for ( const Label & l : labels ) {
40 os << l << ",";
41 }
42 os << "}" << endl;
43 }
44}
[51b73452]45
46Statement::~Statement() {}
47
[ba3706f]48ExprStmt::ExprStmt( Expression *expr ) : Statement(), expr( expr ) {}
[51b73452]49
[3be261a]50ExprStmt::ExprStmt( const ExprStmt &other ) : Statement( other ), expr( maybeClone( other.expr ) ) {}
51
52ExprStmt::~ExprStmt() {
53 delete expr;
54}
[51b73452]55
[50377a4]56void ExprStmt::print( std::ostream &os, Indenter indent ) const {
57 os << "Expression Statement:" << endl << indent+1;
58 expr->print( os, indent+1 );
[3be261a]59}
[51b73452]60
[7f5566b]61
[ba3706f]62AsmStmt::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 ) {}
[7f5566b]63
[3be261a]64AsmStmt::AsmStmt( const AsmStmt & other ) : Statement( other ), voltile( other.voltile ), instruction( maybeClone( other.instruction ) ), gotolabels( other.gotolabels ) {
65 cloneAll( other.output, output );
66 cloneAll( other.input, input );
67 cloneAll( other.clobber, clobber );
68}
69
[7f5566b]70AsmStmt::~AsmStmt() {
71 delete instruction;
72 deleteAll( output );
73 deleteAll( input );
74 deleteAll( clobber );
75}
76
[50377a4]77void AsmStmt::print( std::ostream &os, Indenter indent ) const {
[7f5566b]78 os << "Assembler Statement:" << endl;
[50377a4]79 os << indent+1 << "instruction: " << endl << indent;
80 instruction->print( os, indent+1 );
[7f5566b]81 if ( ! output.empty() ) {
[50377a4]82 os << endl << indent+1 << "output: " << endl;
83 printAll( output, os, indent+1 );
[3be261a]84 } // if
[7f5566b]85 if ( ! input.empty() ) {
[50377a4]86 os << indent+1 << "input: " << endl;
87 printAll( input, os, indent+1 );
[7f5566b]88 } // if
89 if ( ! clobber.empty() ) {
[50377a4]90 os << indent+1 << "clobber: " << endl;
91 printAll( clobber, os, indent+1 );
[7f5566b]92 } // if
[3be261a]93}
[7f5566b]94
95
[51b73452]96const char *BranchStmt::brType[] = { "Goto", "Break", "Continue" };
97
[a16764a6]98BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticErrorException ) :
[ba3706f]99 Statement(), originalTarget( target ), target( target ), computedTarget( nullptr ), type( type ) {
[0dd3a2f]100 //actually this is a syntactic error signaled by the parser
[b0dfbc4]101 if ( type == BranchStmt::Goto && target.empty() ) {
[a16764a6]102 SemanticError( target.get_statement()->location, "goto without target");
[b0dfbc4]103 }
[51b73452]104}
105
[a16764a6]106BranchStmt::BranchStmt( Expression *computedTarget, Type type ) throw ( SemanticErrorException ) :
[ba3706f]107 Statement(), computedTarget( computedTarget ), type( type ) {
[b0dfbc4]108 if ( type != BranchStmt::Goto || computedTarget == nullptr ) {
[a16764a6]109 SemanticError( computedTarget->location, "Computed target not valid in branch statement");
[b0dfbc4]110 }
[51b73452]111}
112
[50377a4]113void BranchStmt::print( std::ostream &os, Indenter indent ) const {
114 os << "Branch (" << brType[type] << ")" << endl ;
115 if ( target != "" ) os << indent+1 << "with target: " << target << endl;
116 if ( originalTarget != "" ) os << indent+1 << "with original target: " << originalTarget << endl;
117 if ( computedTarget != nullptr ) os << indent+1 << "with computed target: " << computedTarget << endl;
[51b73452]118}
119
[ba3706f]120ReturnStmt::ReturnStmt( Expression *expr ) : Statement(), expr( expr ) {}
[51b73452]121
[daf1af8]122ReturnStmt::ReturnStmt( const ReturnStmt & other ) : Statement( other ), expr( maybeClone( other.expr ) ) {}
[3be261a]123
[51b73452]124ReturnStmt::~ReturnStmt() {
[0dd3a2f]125 delete expr;
[51b73452]126}
127
[50377a4]128void ReturnStmt::print( std::ostream &os, Indenter indent ) const {
129 os << "Return Statement, returning: ";
130 if ( expr != nullptr ) {
131 os << endl << indent+1;
132 expr->print( os, indent+1 );
[89231bc]133 }
[0dd3a2f]134 os << endl;
[51b73452]135}
136
[ba3706f]137IfStmt::IfStmt( Expression *condition, Statement *thenPart, Statement *elsePart, std::list<Statement *> initialization ):
138 Statement(), condition( condition ), thenPart( thenPart ), elsePart( elsePart ), initialization( initialization ) {}
[51b73452]139
[3be261a]140IfStmt::IfStmt( const IfStmt & other ) :
[6d49ea3]141 Statement( other ), condition( maybeClone( other.condition ) ), thenPart( maybeClone( other.thenPart ) ), elsePart( maybeClone( other.elsePart ) ) {
142 cloneAll( other.initialization, initialization );
143}
[3be261a]144
[ac71a86]145IfStmt::~IfStmt() {
[6d49ea3]146 deleteAll( initialization );
[ac71a86]147 delete condition;
148 delete thenPart;
149 delete elsePart;
150}
[51b73452]151
[50377a4]152void IfStmt::print( std::ostream &os, Indenter indent ) const {
153 os << "If on condition: " << endl;
154 os << indent+1;
155 condition->print( os, indent+1 );
[51b73452]156
[6d49ea3]157 if ( !initialization.empty() ) {
[50377a4]158 os << indent << "... with initialization: \n";
159 for ( const Statement * stmt : initialization ) {
160 os << indent+1;
161 stmt->print( os, indent+1 );
[6d49ea3]162 }
163 os << endl;
164 }
165
[50377a4]166 os << indent << "... then: " << endl;
[51b73452]167
[50377a4]168 os << indent+1;
169 thenPart->print( os, indent+1 );
[51b73452]170
[0dd3a2f]171 if ( elsePart != 0 ) {
[50377a4]172 os << indent << "... else: " << endl;
173 os << indent+1;
174 elsePart->print( os, indent+1 );
[0dd3a2f]175 } // if
[51b73452]176}
177
[ba3706f]178SwitchStmt::SwitchStmt( Expression * condition, const std::list<Statement *> &statements ):
179 Statement(), condition( condition ), statements( statements ) {
[0dd3a2f]180}
[51b73452]181
[3be261a]182SwitchStmt::SwitchStmt( const SwitchStmt & other ):
183 Statement( other ), condition( maybeClone( other.condition ) ) {
[8688ce1]184 cloneAll( other.statements, statements );
[3be261a]185}
186
[51b73452]187SwitchStmt::~SwitchStmt() {
[0dd3a2f]188 delete condition;
[8688ce1]189 // destroy statements
[2037f82]190 deleteAll( statements );
[51b73452]191}
192
[50377a4]193void SwitchStmt::print( std::ostream &os, Indenter indent ) const {
[89231bc]194 os << "Switch on condition: ";
[0dd3a2f]195 condition->print( os );
196 os << endl;
[51b73452]197
[50377a4]198 for ( const Statement * stmt : statements ) {
199 stmt->print( os, indent+1 );
200 }
[51b73452]201}
202
[a16764a6]203CaseStmt::CaseStmt( Expression *condition, const std::list<Statement *> &statements, bool deflt ) throw ( SemanticErrorException ) :
[ba3706f]204 Statement(), condition( condition ), stmts( statements ), _isDefault( deflt ) {
[a16764a6]205 if ( isDefault() && condition != 0 ) SemanticError( condition, "default case with condition: " );
[51b73452]206}
207
[3be261a]208CaseStmt::CaseStmt( const CaseStmt & other ) :
209 Statement( other ), condition( maybeClone(other.condition ) ), _isDefault( other._isDefault ) {
210 cloneAll( other.stmts, stmts );
211}
212
[51b73452]213CaseStmt::~CaseStmt() {
[0dd3a2f]214 delete condition;
[2037f82]215 deleteAll( stmts );
[51b73452]216}
217
[ba3706f]218CaseStmt * CaseStmt::makeDefault( const std::list<Label> & labels, std::list<Statement *> stmts ) {
219 CaseStmt * stmt = new CaseStmt( nullptr, stmts, true );
220 stmt->labels = labels;
221 return stmt;
[b2152e7a]222}
223
[50377a4]224void CaseStmt::print( std::ostream &os, Indenter indent ) const {
[6a276a0]225 if ( isDefault() ) os << indent << "Default ";
[0dd3a2f]226 else {
[6a276a0]227 os << indent << "Case ";
[50377a4]228 condition->print( os, indent );
[0dd3a2f]229 } // if
230 os << endl;
[51b73452]231
[50377a4]232 for ( Statement * stmt : stmts ) {
[6a276a0]233 os << indent+1;
[50377a4]234 stmt->print( os, indent+1 );
235 }
[51b73452]236}
237
[ba3706f]238WhileStmt::WhileStmt( Expression *condition, Statement *body, bool isDoWhile ):
239 Statement(), condition( condition), body( body), isDoWhile( isDoWhile) {
[0dd3a2f]240}
[51b73452]241
[3be261a]242WhileStmt::WhileStmt( const WhileStmt & other ):
243 Statement( other ), condition( maybeClone( other.condition ) ), body( maybeClone( other.body ) ), isDoWhile( other.isDoWhile ) {
244}
245
[a08ba92]246WhileStmt::~WhileStmt() {
[0dd3a2f]247 delete body;
[2037f82]248 delete condition;
[51b73452]249}
250
[50377a4]251void WhileStmt::print( std::ostream &os, Indenter indent ) const {
[89231bc]252 os << "While on condition: " << endl ;
[50377a4]253 condition->print( os, indent+1 );
[51b73452]254
[50377a4]255 os << indent << "... with body: " << endl;
[51b73452]256
[50377a4]257 if ( body != 0 ) body->print( os, indent+1 );
[51b73452]258}
259
[ba3706f]260ForStmt::ForStmt( std::list<Statement *> initialization, Expression *condition, Expression *increment, Statement *body ):
261 Statement(), initialization( initialization ), condition( condition ), increment( increment ), body( body ) {
[0dd3a2f]262}
[51b73452]263
[3be261a]264ForStmt::ForStmt( const ForStmt & other ):
265 Statement( other ), condition( maybeClone( other.condition ) ), increment( maybeClone( other.increment ) ), body( maybeClone( other.body ) ) {
266 cloneAll( other.initialization, initialization );
267
268}
269
[51b73452]270ForStmt::~ForStmt() {
[145f1fc]271 deleteAll( initialization );
[0dd3a2f]272 delete condition;
273 delete increment;
274 delete body;
[51b73452]275}
276
[50377a4]277void ForStmt::print( std::ostream &os, Indenter indent ) const {
278 Statement::print( os, indent ); // print labels
[be5aa1b]279
[50377a4]280 os << "For Statement" << endl;
[51b73452]281
[50377a4]282 if ( ! initialization.empty() ) {
283 os << indent << "... initialization: \n";
284 for ( Statement * stmt : initialization ) {
285 os << indent+1;
286 stmt->print( os, indent+1 );
287 }
[145f1fc]288 }
[51b73452]289
[50377a4]290 if ( condition != nullptr ) {
291 os << indent << "... condition: \n" << indent+1;
292 condition->print( os, indent+1 );
[bb8ea30]293 }
[51b73452]294
[50377a4]295 if ( increment != nullptr ) {
296 os << "\n" << indent << "... increment: \n" << indent+1;
297 increment->print( os, indent+1 );
[bb8ea30]298 }
[51b73452]299
[bb8ea30]300 if ( body != 0 ) {
[50377a4]301 os << "\n" << indent << "... with body: \n" << indent+1;
302 body->print( os, indent+1 );
[bb8ea30]303 }
[0dd3a2f]304 os << endl;
[51b73452]305}
306
[ba3706f]307ThrowStmt::ThrowStmt( Kind kind, Expression * expr, Expression * target ) :
308 Statement(), kind(kind), expr(expr), target(target) {
[daf1af8]309 assertf(Resume == kind || nullptr == target, "Non-local termination throw is not accepted." );
310}
311
312ThrowStmt::ThrowStmt( const ThrowStmt &other ) :
313 Statement ( other ), kind( other.kind ), expr( maybeClone( other.expr ) ), target( maybeClone( other.target ) ) {
314}
315
316ThrowStmt::~ThrowStmt() {
317 delete expr;
318 delete target;
319}
320
[50377a4]321void ThrowStmt::print( std::ostream &os, Indenter indent) const {
322 if ( target ) os << "Non-Local ";
[daf1af8]323 os << "Throw Statement, raising: ";
[50377a4]324 expr->print(os, indent+1);
[daf1af8]325 if ( target ) {
[50377a4]326 os << "... at: ";
327 target->print(os, indent+1);
[daf1af8]328 }
329}
330
[ba3706f]331TryStmt::TryStmt( CompoundStmt *tryBlock, std::list<CatchStmt *> &handlers, FinallyStmt *finallyBlock ) :
332 Statement(), block( tryBlock ), handlers( handlers ), finallyBlock( finallyBlock ) {
[0dd3a2f]333}
[51b73452]334
[3be261a]335TryStmt::TryStmt( const TryStmt &other ) : Statement( other ), block( maybeClone( other.block ) ), finallyBlock( maybeClone( other.finallyBlock ) ) {
336 cloneAll( other.handlers, handlers );
[51b73452]337}
338
[a08ba92]339TryStmt::~TryStmt() {
[0dd3a2f]340 delete block;
[2037f82]341 deleteAll( handlers );
342 delete finallyBlock;
[51b73452]343}
344
[50377a4]345void TryStmt::print( std::ostream &os, Indenter indent ) const {
[89231bc]346 os << "Try Statement" << endl;
[50377a4]347 os << indent << "... with block:" << endl << indent+1;
348 block->print( os, indent+1 );
[0dd3a2f]349
350 // handlers
[50377a4]351 os << indent << "... and handlers:" << endl;
352 for ( const CatchStmt * stmt : handlers ) {
353 os << indent+1;
354 stmt->print( os, indent+1 );
[406a6e6]355 }
[0dd3a2f]356
357 // finally block
358 if ( finallyBlock != 0 ) {
[50377a4]359 os << indent << "... and finally:" << endl << indent+1;
360 finallyBlock->print( os, indent+1 );
[0dd3a2f]361 } // if
[51b73452]362}
363
[ba3706f]364CatchStmt::CatchStmt( Kind kind, Declaration *decl, Expression *cond, Statement *body ) :
365 Statement(), kind ( kind ), decl ( decl ), cond ( cond ), body( body ) {
[50377a4]366 assertf( decl, "Catch clause must have a declaration." );
[0dd3a2f]367}
[51b73452]368
[3be261a]369CatchStmt::CatchStmt( const CatchStmt & other ) :
[ca78437]370 Statement( other ), kind ( other.kind ), decl ( maybeClone( other.decl ) ), cond ( maybeClone( other.cond ) ), body( maybeClone( other.body ) ) {
[3be261a]371}
372
[a08ba92]373CatchStmt::~CatchStmt() {
[0dd3a2f]374 delete decl;
375 delete body;
[51b73452]376}
377
[50377a4]378void CatchStmt::print( std::ostream &os, Indenter indent ) const {
[ca78437]379 os << "Catch " << ((Terminate == kind) ? "Terminate" : "Resume") << " Statement" << endl;
[0dd3a2f]380
[50377a4]381 os << indent << "... catching: ";
382 decl->printShort( os, indent+1 );
383 os << endl;
[406a6e6]384
385 if ( cond ) {
[50377a4]386 os << indent << "... with conditional:" << endl << indent+1;
387 cond->print( os, indent+1 );
[406a6e6]388 }
389
[50377a4]390 os << indent << "... with block:" << endl;
391 os << indent+1;
392 body->print( os, indent+1 );
[51b73452]393}
394
395
[ba3706f]396FinallyStmt::FinallyStmt( CompoundStmt *block ) : Statement(), block( block ) {
[51b73452]397}
398
[3be261a]399FinallyStmt::FinallyStmt( const FinallyStmt & other ) : Statement( other ), block( maybeClone( other.block ) ) {
400}
401
[0dd3a2f]402FinallyStmt::~FinallyStmt() {
403 delete block;
[51b73452]404}
405
[50377a4]406void FinallyStmt::print( std::ostream &os, Indenter indent ) const {
[f1b1e4c]407 os << "Finally Statement" << endl;
[50377a4]408 os << indent << "... with block:" << endl << indent+1;
409 block->print( os, indent+1 );
[51b73452]410}
411
[ba3706f]412WaitForStmt::WaitForStmt() : Statement() {
[135b431]413 timeout.time = nullptr;
414 timeout.statement = nullptr;
415 timeout.condition = nullptr;
416 orelse .statement = nullptr;
417 orelse .condition = nullptr;
418}
419
420WaitForStmt::WaitForStmt( const WaitForStmt & other ) : Statement( other ) {
421 clauses.reserve( other.clauses.size() );
422 for( auto & ocl : other.clauses ) {
423 clauses.emplace_back();
424 clauses.back().target.function = ocl.target.function->clone();
425 cloneAll( ocl.target.arguments, clauses.back().target.arguments );
426 clauses.back().statement = ocl.statement->clone();
427 clauses.back().condition = ocl.condition->clone();
428 }
429
430 timeout.time = other.timeout.time ->clone();
431 timeout.statement = other.timeout.statement->clone();
432 timeout.condition = other.timeout.condition->clone();
433 orelse .statement = other.orelse .statement->clone();
434 orelse .condition = other.orelse .condition->clone();
435}
436
437WaitForStmt::~WaitForStmt() {
438 for( auto & clause : clauses ) {
439 delete clause.target.function;
440 deleteAll( clause.target.arguments );
441 delete clause.statement;
442 delete clause.condition;
443 }
444
445 delete timeout.time;
446 delete timeout.statement;
447 delete timeout.condition;
448
449 delete orelse.statement;
450 delete orelse.condition;
451}
452
[50377a4]453void WaitForStmt::print( std::ostream &os, Indenter indent ) const {
[135b431]454 os << "Waitfor Statement" << endl;
[50377a4]455 os << indent << "... with block:" << endl << indent+1;
[135b431]456 // block->print( os, indent + 4 );
457}
458
[61255ad]459
[3ca540f]460WithStmt::WithStmt( const std::list< Expression * > & exprs, Statement * stmt ) : Statement(), exprs( exprs ), stmt( stmt ) {}
[61255ad]461WithStmt::WithStmt( const WithStmt & other ) : Statement( other ), stmt( maybeClone( other.stmt ) ) {
462 cloneAll( other.exprs, exprs );
463}
464WithStmt::~WithStmt() {
465 deleteAll( exprs );
466 delete stmt;
467}
468
469void WithStmt::print( std::ostream & os, Indenter indent ) const {
470 os << "With statement" << endl;
[44b4114]471 os << indent << "... with expressions: " << endl;
472 printAll( exprs, os, indent+1 );
[61255ad]473 os << indent << "... with statement:" << endl << indent+1;
474 stmt->print( os, indent+1 );
475}
476
477
[ba3706f]478NullStmt::NullStmt( const std::list<Label> & labels ) : Statement( labels ) {
479}
[51b73452]480
[6a276a0]481void NullStmt::print( std::ostream &os, Indenter indent ) const {
[50377a4]482 os << "Null Statement" << endl;
[6a276a0]483 Statement::print( os, indent );
[51b73452]484}
485
[ba3706f]486ImplicitCtorDtorStmt::ImplicitCtorDtorStmt( Statement * callStmt ) : Statement(), callStmt( callStmt ) {
[f1b1e4c]487 assert( callStmt );
488}
489
[74d1804]490ImplicitCtorDtorStmt::ImplicitCtorDtorStmt( const ImplicitCtorDtorStmt & other ) : Statement( other ), callStmt( maybeClone( other.callStmt ) ) {
[f1b1e4c]491}
492
493ImplicitCtorDtorStmt::~ImplicitCtorDtorStmt() {
[74d1804]494 delete callStmt;
[f1b1e4c]495}
496
[50377a4]497void ImplicitCtorDtorStmt::print( std::ostream &os, Indenter indent ) const {
[f1b1e4c]498 os << "Implicit Ctor Dtor Statement" << endl;
[50377a4]499 os << indent << "... with Ctor/Dtor: ";
500 callStmt->print( os, indent+1);
[f1b1e4c]501 os << endl;
502}
503
[0dd3a2f]504// Local Variables: //
505// tab-width: 4 //
506// mode: c++ //
507// compile-command: "make install" //
508// End: //
Note: See TracBrowser for help on using the repository browser.