source: src/ControlStruct/MLEMutator.h @ be5aa1b

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 be5aa1b was be5aa1b, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

error if continue statement targets a location that is not an enclosing loop, better error messages for branch statements with labels, formatting, refactoring

  • Property mode set to 100644
File size: 2.6 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// MLEMutator.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue May 26 15:04:21 2015
13// Update Count     : 7
14//
15
16#ifndef MLE_MUTATOR_H
17#define MLE_MUTATOR_H
18
19#include <map>
20#include <list>
21
22#include "utility.h"
23#include "SynTree/SynTree.h"
24#include "SynTree/Mutator.h"
25
26#include "LabelGenerator.h"
27
28namespace ControlStruct {
29        class MLEMutator : public Mutator {
30                class Entry;
31          public:
32                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
33                ~MLEMutator();
34
35                CompoundStmt *mutate( CompoundStmt *cmpndStmt );
36                Statement *mutate( WhileStmt *whileStmt );
37                Statement *mutate( ForStmt *forStmt );
38                Statement *mutate( BranchStmt *branchStmt ) throw ( SemanticError );
39
40                Statement *mutate( SwitchStmt *switchStmt );
41                Statement *mutate( ChooseStmt *switchStmt );
42
43                Statement *mutateLoop( Statement *bodyLoop, Entry &e );
44
45                Label &get_breakLabel() { return breakLabel; }
46                void set_breakLabel( Label newValue ) { breakLabel = newValue; }
47          private:
48                class Entry {
49                  public:
50                        explicit Entry( Statement *_loop = 0, Label _contExit = Label(""), Label _breakExit = Label("") ) :
51                                loop( _loop ), contExit( _contExit ), breakExit( _breakExit ), contExitUsed( false ), breakExitUsed( false ) {}
52
53                        bool operator==( const Statement *stmt ) { return ( loop == stmt ); }
54                        bool operator!=( const Statement *stmt ) { return ( loop != stmt ); }
55
56                        bool operator==( const Entry &other ) { return ( loop == other.get_loop() ); }
57
58                        Statement *get_loop() const { return loop; }
59
60                        Label get_contExit() const { return contExit; }
61                        void set_contExit( Label );
62
63                        Label get_breakExit() const { return breakExit; }
64                        void set_breakExit( Label );
65
66                  private:
67                        Statement *loop;
68                        Label contExit, breakExit;
69                  public: // hack, provide proper [sg]etters
70                        bool contExitUsed, breakExitUsed;
71                };
72
73                std::map< Label, Statement * > *targetTable;
74                std::list< Entry > enclosingBlocks, enclosingLoops, enclosingSwitches;
75                Label breakLabel;
76                LabelGenerator *generator;
77
78                template< typename SwitchClass > 
79                friend Statement *handleSwitchStmt( SwitchClass *switchStmt, MLEMutator &mutator );
80        };
81} // namespace ControlStruct
82
83#endif // MLE_MUTATOR_H
84
85// Local Variables: //
86// tab-width: 4 //
87// mode: c++ //
88// compile-command: "make install" //
89// End: //
Note: See TracBrowser for help on using the repository browser.