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