source: src/ControlStruct/MLEMutator.h @ 6a37d13

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerjacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 6a37d13 was 6a37d13, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

added some missing virtual and override in MLEMutator

  • Property mode set to 100644
File size: 2.9 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 : Wed Jun 03 15:06:36 2015
13// Update Count     : 25
14//
15
16#ifndef MLE_MUTATOR_H
17#define MLE_MUTATOR_H
18
19#include <map>
20#include <list>
21
22#include "Common/utility.h"
23#include "SynTree/SynTree.h"
24#include "SynTree/Mutator.h"
25#include "SynTree/Label.h"
26
27#include "LabelGenerator.h"
28
29namespace ControlStruct {
30        class MLEMutator : public Mutator {
31                class Entry;
32          public:
33                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
34                ~MLEMutator();
35
36                virtual CompoundStmt *mutate( CompoundStmt *cmpndStmt ) override;
37                virtual Statement *mutate( WhileStmt *whileStmt ) override;
38                virtual Statement *mutate( ForStmt *forStmt ) override;
39                virtual Statement *mutate( BranchStmt *branchStmt ) throw ( SemanticError ) override;
40
41                virtual Statement *mutate( CaseStmt *caseStmt ) override;
42                virtual Statement *mutate( SwitchStmt *switchStmt ) override;
43                virtual Statement *mutate( ChooseStmt *switchStmt ) override;
44
45                Statement *mutateLoop( Statement *bodyLoop, Entry &e );
46
47                Label &get_breakLabel() { return breakLabel; }
48                void set_breakLabel( Label newValue ) { breakLabel = newValue; }
49          private:
50                class Entry {
51                  public:
52                        explicit Entry( Statement *_loop, Label _breakExit, Label _contExit = Label("") ) :
53                                loop( _loop ), breakExit( _breakExit ), contExit( _contExit ), breakUsed(false), contUsed(false) {}
54
55                        bool operator==( const Statement *stmt ) { return ( loop == stmt ); }
56                        bool operator!=( const Statement *stmt ) { return ( loop != stmt ); }
57
58                        bool operator==( const Entry &other ) { return ( loop == other.get_controlStructure() ); }
59
60                        Statement *get_controlStructure() const { return loop; }
61
62                        Label useContExit() { contUsed = true; return contExit; }
63                        Label useBreakExit() { breakUsed = true; return breakExit; }
64
65                        bool isContUsed() const { return contUsed; }
66                        bool isBreakUsed() const { return breakUsed; }
67
68                  private:
69                        Statement *loop;
70                        Label breakExit, contExit;
71                        bool breakUsed, contUsed;
72                };
73
74                std::map< Label, Statement * > *targetTable;
75                std::list< Entry > enclosingControlStructures;
76                Label breakLabel;
77                LabelGenerator *generator;
78
79                template< typename LoopClass >
80                Statement *handleLoopStmt( LoopClass *loopStmt );
81
82                template< typename SwitchClass >
83                Statement *handleSwitchStmt( SwitchClass *switchStmt );
84
85                void fixBlock( std::list< Statement * > &kids );
86        };
87} // namespace ControlStruct
88
89#endif // MLE_MUTATOR_H
90
91// Local Variables: //
92// tab-width: 4 //
93// mode: c++ //
94// compile-command: "make install" //
95// End: //
Note: See TracBrowser for help on using the repository browser.