source: src/SynTree/Statement.cc @ b2152e7a

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since b2152e7a was b2152e7a, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

fix MLE hack that puts a dangling break statement outside of a case statement in a switch

  • Property mode set to 100644
File size: 9.5 KB
Line 
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//
7// Statement.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue Jun 02 13:07:09 2015
13// Update Count     : 14
14//
15
16#include <functional>
17#include <algorithm>
18#include <iostream>
19#include <list>
20#include <cassert>
21
22#include "Statement.h"
23#include "Expression.h"
24#include "Declaration.h"
25#include "Common/SemanticError.h"
26
27using std::string;
28using std::endl;
29
30Statement::Statement( std::list<Label> _labels ) : labels(_labels ) {}
31
32void Statement::print( std::ostream &, int indent ) {}
33
34Statement::~Statement() {}
35
36ExprStmt::ExprStmt( std::list<Label> _labels, Expression *_expr ) : Statement(_labels ), expr(_expr ) {}
37
38ExprStmt::~ExprStmt() {}
39
40void ExprStmt::print( std::ostream &os, int indent ) {
41        os << "\r" << string(indent, ' ') << "Expression Statement:" << endl;
42        expr->print( os, indent + 2 );
43} 
44
45const char *BranchStmt::brType[] = { "Goto", "Break", "Continue" };
46
47BranchStmt::BranchStmt( std::list<Label> labels, Label _target, Type _type ) throw ( SemanticError ) :
48        Statement( labels ), originalTarget(_target ), target(_target ), type(_type ) {
49        //actually this is a syntactic error signaled by the parser
50        if ( type == BranchStmt::Goto && target.size() == 0 )
51                throw SemanticError("goto without target");
52}
53
54BranchStmt::BranchStmt( std::list<Label> labels, Expression *_computedTarget, Type _type ) throw ( SemanticError ) :
55        Statement( labels ), computedTarget(_computedTarget ), type(_type ) {
56        if ( type != BranchStmt::Goto || computedTarget == 0 )
57                throw SemanticError("Computed target not valid in branch statement");
58}
59
60void BranchStmt::print( std::ostream &os, int indent ) {
61        os << "\r" << string( indent, ' ') << "Branch (" << brType[type] << ")" << endl ;
62}
63
64ReturnStmt::ReturnStmt( std::list<Label> labels, Expression *_expr, bool throwP ) : Statement( labels ), expr( _expr ), isThrow( throwP ) {}
65
66ReturnStmt::~ReturnStmt() {
67        delete expr;
68}
69
70void ReturnStmt::print( std::ostream &os, int indent ) {
71        os << "\r" << std::string( indent, ' ') << string ( isThrow? "Throw":"Return" ) << " Statement, returning: ";
72        if ( expr != 0 ) expr->print( os );
73        os << endl;
74}
75
76IfStmt::IfStmt( std::list<Label> _labels, Expression *_condition, Statement *_thenPart, Statement *_elsePart ):
77        Statement(_labels ), condition(_condition ), thenPart(_thenPart ), elsePart(_elsePart ) {}
78
79IfStmt::~IfStmt() {}
80
81void IfStmt::print( std::ostream &os, int indent ) {
82        os << "\r" << string( indent, ' ') << "If on condition: " << endl ;
83        condition->print( os, indent + 4 );
84
85        os << string( indent, ' ') << ".... and branches: " << endl;
86
87        thenPart->print( os, indent + 4 );
88
89        if ( elsePart != 0 ) {
90                elsePart->print( os, indent + 4 );
91        } // if
92}
93
94SwitchStmt::SwitchStmt( std::list<Label> _labels, Expression * _condition, std::list<Statement *> &_branches ):
95        Statement(_labels ), condition(_condition ), branches(_branches ) {
96}
97
98SwitchStmt::~SwitchStmt() {
99        delete condition;
100        // destroy branches
101}
102
103void SwitchStmt::add_case( CaseStmt *c ) {}
104
105void SwitchStmt::print( std::ostream &os, int indent ) {
106        os << "\r" << string( indent, ' ') << "Switch on condition: ";
107        condition->print( os );
108        os << endl;
109
110        // branches
111        std::list<Statement *>::iterator i;
112        for ( i = branches.begin(); i != branches.end(); i++)
113                (*i )->print( os, indent + 4 );
114
115        //for_each( branches.begin(), branches.end(), mem_fun( bind1st(&Statement::print ), os ));
116}
117
118CaseStmt::CaseStmt( std::list<Label> _labels, Expression *_condition, std::list<Statement *> &_statements, bool deflt ) throw ( SemanticError ) : 
119        Statement(_labels ), condition(_condition ), stmts(_statements ), _isDefault( deflt ) {
120        if ( isDefault() && condition != 0 )
121                throw SemanticError("default with conditions");
122}
123
124CaseStmt::~CaseStmt() {
125        delete condition;
126}
127
128CaseStmt * CaseStmt::makeDefault( std::list<Label> labels, std::list<Statement *> branches ) {
129        return new CaseStmt( labels, 0, branches, true );
130}
131
132void CaseStmt::print( std::ostream &os, int indent ) {
133        os << "\r" << string( indent, ' ');
134
135        if ( isDefault())
136                os << "Default ";
137        else {
138                os << "Case ";
139                condition->print( os );
140        } // if
141
142        os << endl;
143
144        std::list<Statement *>::iterator i;
145        for ( i = stmts.begin(); i != stmts.end(); i++)
146                (*i )->print( os, indent + 4 );
147}
148
149//ChooseStmt::ChooseStmt( std::list<Label> labels, Expression *condition, Statement *body ) {}
150ChooseStmt::ChooseStmt( std::list<Label> _labels, Expression * _condition, std::list<Statement *> &_branches ):
151        Statement(_labels ), condition(_condition ), branches(_branches ) {
152}
153
154ChooseStmt::~ChooseStmt() {
155        delete condition;
156}
157
158void ChooseStmt::add_case( CaseStmt *c ) {}
159
160void ChooseStmt::print( std::ostream &os, int indent ) {
161        os << "\r" << string( indent, ' ') << "Choose on condition: ";
162        condition->print( os );
163        os << endl;
164
165        // branches
166        std::list<Statement *>::iterator i;
167        for ( i = branches.begin(); i != branches.end(); i++)
168                (*i )->print( os, indent + 4 );
169
170        //for_each( branches.begin(), branches.end(), mem_fun( bind1st(&Statement::print ), os ));
171}
172
173void FallthruStmt::print( std::ostream &os, int indent ) {
174        os << "\r" << string( indent, ' ') << "Fall-through statement" << endl;
175}
176
177WhileStmt::WhileStmt( std::list<Label> labels, Expression *condition_, Statement *body_, bool isDoWhile_ ):
178        Statement( labels ), condition( condition_), body( body_), isDoWhile( isDoWhile_) {
179}
180
181WhileStmt::~WhileStmt() {
182        delete body;
183}
184
185void WhileStmt::print( std::ostream &os, int indent ) {
186        os << "\r" << string( indent, ' ') << "While on condition: " << endl ;
187        condition->print( os, indent + 4 );
188
189        os << string( indent, ' ') << ".... with body: " << endl;
190
191        if ( body != 0 ) body->print( os, indent + 4 );
192}
193
194ForStmt::ForStmt( std::list<Label> labels, Statement *initialization_, Expression *condition_, Expression *increment_, Statement *body_ ):
195        Statement( labels ), initialization( initialization_ ), condition( condition_ ), increment( increment_ ), body( body_ ) {
196}
197
198ForStmt::~ForStmt() {
199        delete initialization;
200        delete condition;
201        delete increment;
202        delete body;
203}
204
205void ForStmt::print( std::ostream &os, int indent ) {
206        os << "\r" << string( indent, ' ') << "Labels: {";
207        for (std::list<Label>::iterator it = get_labels().begin(); it != get_labels().end(); ++it) {
208                os << *it << ",";
209        }
210        os << "}" << endl;
211
212        os << "\r" << string( indent, ' ') << "For Statement" << endl ;
213
214        os << "\r" << string( indent + 2, ' ') << "initialization: \n"; 
215        if ( initialization != 0 )
216                initialization->print( os, indent + 4 );
217
218        os << "\n\r" << string( indent + 2, ' ') << "condition: \n"; 
219        if ( condition != 0 )
220                condition->print( os, indent + 4 );
221
222        os << "\n\r" << string( indent + 2, ' ') << "increment: \n"; 
223        if ( increment != 0 )
224                increment->print( os, indent + 4 );
225
226        os << "\n\r" << string( indent + 2, ' ') << "statement block: \n"; 
227        if ( body != 0 )
228                body->print( os, indent + 4 );
229
230        os << endl;
231}
232
233TryStmt::TryStmt( std::list<Label> labels, CompoundStmt *tryBlock, std::list<Statement *> &_handlers, FinallyStmt *_finallyBlock ) :
234        Statement( labels ), block( tryBlock ),  handlers( _handlers ), finallyBlock( _finallyBlock ) {
235}
236
237TryStmt::TryStmt( const TryStmt &other ) : Statement( other.labels ) {
238        block = other.block;
239        std::copy( other.handlers.begin(), other.handlers.end(), back_inserter( handlers ) );
240        finallyBlock = other.finallyBlock;
241}
242
243TryStmt::~TryStmt() {
244        delete block;
245}
246
247void TryStmt::print( std::ostream &os, int indent ) {
248        os << "\r" << string( indent, ' ') << "Try Statement" << endl;
249        os << string( indent + 2, ' ') << "with block: " << endl;
250        block->print( os, indent + 4 );
251
252        // handlers
253        os << string( indent + 2, ' ') << "and handlers: " << endl;
254        std::list<Statement *>::iterator i;
255        for ( i = handlers.begin(); i != handlers.end(); i++)
256                (*i )->print( os, indent + 4 );
257
258        // finally block
259        if ( finallyBlock != 0 ) {
260                os << string( indent + 2, ' ') << "Finally block: " << endl;
261                finallyBlock->print( os, indent + 4 );
262        } // if
263}
264
265CatchStmt::CatchStmt( std::list<Label> labels, Declaration *_decl, Statement *_body, bool isCatchRest ) :
266        Statement( labels ), decl ( _decl ), body( _body ), catchRest ( isCatchRest ) {
267}
268
269CatchStmt::~CatchStmt() {
270        delete decl;
271        delete body;
272}
273
274void CatchStmt::print( std::ostream &os, int indent ) {
275        os << "\r" << string( indent, ' ') << "Catch Statement" << endl;
276
277        os << "\r" << string( indent, ' ') << "... catching" << endl;
278        if ( decl ) {
279                decl->printShort( os, indent + 4 );
280                os << endl;
281        } else if ( catchRest )
282                os << "\r" << string( indent + 4 , ' ') << "the rest" << endl;
283        else
284                os << "\r" << string( indent + 4 , ' ') << ">>> Error:  this catch clause must have a declaration <<<" << endl;
285}
286
287
288FinallyStmt::FinallyStmt( std::list<Label> labels, CompoundStmt *_block ) : Statement( labels ), block( _block ) {
289        assert( labels.empty() ); // finally statement cannot be labeled
290}
291
292FinallyStmt::~FinallyStmt() {
293        delete block;
294}
295
296void FinallyStmt::print( std::ostream &os, int indent ) {
297        os << "\r" << string( indent, ' ') << "Finally Statement" << endl;
298        os << string( indent + 2, ' ') << "with block: " << endl;
299        block->print( os, indent + 4 );
300}
301
302NullStmt::NullStmt( std::list<Label> labels ) : CompoundStmt( labels ) {}
303NullStmt::NullStmt() : CompoundStmt( std::list<Label>() ) {}
304NullStmt::~NullStmt() {}
305
306void NullStmt::print( std::ostream &os, int indent ) {
307        os << "\r" << string( indent, ' ') << "Null Statement" << endl ;
308}
309
310// Local Variables: //
311// tab-width: 4 //
312// mode: c++ //
313// compile-command: "make install" //
314// End: //
Note: See TracBrowser for help on using the repository browser.