source: translator/SynTree/Visitor.h @ a0d9f94

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since a0d9f94 was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

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