source: translator/SynTree/Mutator.h@ 1ead581

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since 1ead581 was 51b73452, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago

initial commit
  • Property mode set to 100644
File size: 4.9 KB
Line 
1/*
2 * This file is part of the Cforall project
3 *
4 * $Id: Mutator.h,v 1.19 2005/08/29 20:59:25 rcbilson Exp $
5 *
6 */
7
8#include <cassert>
9
10#include "SynTree.h"
11#include "SemanticError.h"
12
13#ifndef SYNTREE_MUTATOR_H
14#define SYNTREE_MUTATOR_H
15
16
17class Mutator
18{
19protected:
20 Mutator();
21 virtual ~Mutator();
22
23public:
24 virtual ObjectDecl* mutate(ObjectDecl *objectDecl);
25 virtual DeclarationWithType* mutate(FunctionDecl *functionDecl);
26 virtual Declaration* mutate(StructDecl *aggregateDecl);
27 virtual Declaration* mutate(UnionDecl *aggregateDecl);
28 virtual Declaration* mutate(EnumDecl *aggregateDecl);
29 virtual Declaration* mutate(ContextDecl *aggregateDecl);
30 virtual TypeDecl* mutate(TypeDecl *typeDecl);
31 virtual Declaration* mutate(TypedefDecl *typeDecl);
32
33 virtual CompoundStmt* mutate(CompoundStmt *compoundStmt);
34 virtual Statement* mutate(ExprStmt *exprStmt);
35 virtual Statement* mutate(IfStmt *ifStmt);
36 virtual Statement* mutate(WhileStmt *whileStmt);
37 virtual Statement* mutate(ForStmt *forStmt);
38 virtual Statement* mutate(SwitchStmt *switchStmt);
39 virtual Statement* mutate(ChooseStmt *chooseStmt);
40 virtual Statement* mutate(FallthruStmt *fallthruStmt);
41 virtual Statement* mutate(CaseStmt *caseStmt);
42 virtual Statement* mutate(BranchStmt *branchStmt);
43 virtual Statement* mutate(ReturnStmt *returnStmt);
44 virtual Statement* mutate(TryStmt *returnStmt);
45 virtual Statement* mutate(CatchStmt *catchStmt);
46 virtual Statement* mutate(FinallyStmt *catchStmt);
47 virtual NullStmt* mutate(NullStmt *nullStmt);
48 virtual Statement* mutate(DeclStmt *declStmt);
49
50 virtual Expression* mutate(ApplicationExpr *applicationExpr);
51 virtual Expression* mutate(UntypedExpr *untypedExpr);
52 virtual Expression* mutate(NameExpr *nameExpr);
53 virtual Expression* mutate(AddressExpr *castExpr);
54 virtual Expression* mutate(LabelAddressExpr *labAddressExpr);
55 virtual Expression* mutate(CastExpr *castExpr);
56 virtual Expression* mutate(UntypedMemberExpr *memberExpr);
57 virtual Expression* mutate(MemberExpr *memberExpr);
58 virtual Expression* mutate(VariableExpr *variableExpr);
59 virtual Expression* mutate(ConstantExpr *constantExpr);
60 virtual Expression* mutate(SizeofExpr *sizeofExpr);
61 virtual Expression* mutate(AttrExpr *attrExpr);
62 virtual Expression* mutate(LogicalExpr *logicalExpr);
63 virtual Expression* mutate(ConditionalExpr *conditionalExpr);
64 virtual Expression* mutate(CommaExpr *commaExpr);
65 virtual Expression* mutate(TupleExpr *tupleExpr);
66 virtual Expression* mutate(SolvedTupleExpr *tupleExpr);
67 virtual Expression* mutate(TypeExpr *typeExpr);
68 virtual Expression* mutate(UntypedValofExpr *valofExpr);
69
70 virtual Type* mutate(VoidType *basicType);
71 virtual Type* mutate(BasicType *basicType);
72 virtual Type* mutate(PointerType *pointerType);
73 virtual Type* mutate(ArrayType *arrayType);
74 virtual Type* mutate(FunctionType *functionType);
75 virtual Type* mutate(StructInstType *aggregateUseType);
76 virtual Type* mutate(UnionInstType *aggregateUseType);
77 virtual Type* mutate(EnumInstType *aggregateUseType);
78 virtual Type* mutate(ContextInstType *aggregateUseType);
79 virtual Type* mutate(TypeInstType *aggregateUseType);
80 virtual Type* mutate(TupleType *tupleType);
81 virtual Type* mutate(TypeofType *typeofType);
82 virtual Type* mutate(AttrType *attrType);
83
84 virtual Initializer* mutate(MemberInit *memberInit);
85 virtual Initializer* mutate(ElementInit *elementInit);
86 virtual Initializer* mutate(SingleInit *singleInit);
87 virtual Initializer* mutate(ListInit *listInit);
88
89 virtual Subrange *mutate(Subrange *subrange);
90
91 virtual Constant *mutate(Constant *constant);
92
93private:
94 virtual Declaration* handleAggregateDecl(AggregateDecl *aggregateDecl);
95 virtual Declaration* handleNamedTypeDecl(NamedTypeDecl *typeDecl);
96 virtual Type* handleReferenceToType(ReferenceToType *aggregateUseType);
97};
98
99template< typename TreeType, typename MutatorType >
100inline TreeType *
101maybeMutate( TreeType *tree, MutatorType &mutator )
102{
103 if( tree ) {
104 TreeType *newnode = dynamic_cast< TreeType* >( tree->acceptMutator( mutator ) );
105 assert( newnode );
106 return newnode;
107/// return tree->acceptMutator( mutator );
108 } else {
109 return 0;
110 }
111}
112
113template< typename Container, typename MutatorType >
114inline void
115mutateAll( Container &container, MutatorType &mutator )
116{
117 SemanticError errors;
118 for( typename Container::iterator i = container.begin(); i != container.end(); ++i ) {
119 try {
120 if( *i ) {
121/// *i = (*i)->acceptMutator( mutator );
122 *i = dynamic_cast< typename Container::value_type >( (*i)->acceptMutator( mutator ) );
123 assert( *i );
124 }
125 } catch( SemanticError &e ) {
126 errors.append( e );
127 }
128 }
129 if( !errors.isEmpty() ) {
130 throw errors;
131 }
132}
133
134
135
136#endif /* #ifndef SYNTREE_MUTATOR_H */
137
138// Local Variables: //
139// mode: c++ //
140// End: //
Note: See TracBrowser for help on using the repository browser.