OLD | NEW |
| (Empty) |
1 // Copyright 2014 the V8 project authors. All rights reserved. | |
2 // Use of this source code is governed by a BSD-style license that can be | |
3 // found in the LICENSE file. | |
4 | |
5 #include "src/ast-this-access-visitor.h" | |
6 #include "src/parser.h" | |
7 | |
8 namespace v8 { | |
9 namespace internal { | |
10 | |
11 typedef class AstThisAccessVisitor ATAV; // for code shortitude. | |
12 | |
13 ATAV::AstThisAccessVisitor(Isolate* isolate, Zone* zone) : uses_this_(false) { | |
14 InitializeAstVisitor(isolate, zone); | |
15 } | |
16 | |
17 | |
18 void ATAV::VisitVariableProxy(VariableProxy* proxy) { | |
19 if (proxy->is_this()) { | |
20 uses_this_ = true; | |
21 } | |
22 } | |
23 | |
24 | |
25 void ATAV::VisitSuperReference(SuperReference* leaf) { | |
26 // disallow super.method() and super(...). | |
27 uses_this_ = true; | |
28 } | |
29 | |
30 | |
31 void ATAV::VisitCallNew(CallNew* e) { | |
32 // new super(..) does not use 'this'. | |
33 if (!e->expression()->IsSuperReference()) { | |
34 Visit(e->expression()); | |
35 } | |
36 VisitExpressions(e->arguments()); | |
37 } | |
38 | |
39 | |
40 // --------------------------------------------------------------------------- | |
41 // -- Leaf nodes ------------------------------------------------------------- | |
42 // --------------------------------------------------------------------------- | |
43 | |
44 void ATAV::VisitVariableDeclaration(VariableDeclaration* leaf) {} | |
45 void ATAV::VisitFunctionDeclaration(FunctionDeclaration* leaf) {} | |
46 void ATAV::VisitModuleDeclaration(ModuleDeclaration* leaf) {} | |
47 void ATAV::VisitImportDeclaration(ImportDeclaration* leaf) {} | |
48 void ATAV::VisitExportDeclaration(ExportDeclaration* leaf) {} | |
49 void ATAV::VisitModuleVariable(ModuleVariable* leaf) {} | |
50 void ATAV::VisitModulePath(ModulePath* leaf) {} | |
51 void ATAV::VisitModuleUrl(ModuleUrl* leaf) {} | |
52 void ATAV::VisitEmptyStatement(EmptyStatement* leaf) {} | |
53 void ATAV::VisitContinueStatement(ContinueStatement* leaf) {} | |
54 void ATAV::VisitBreakStatement(BreakStatement* leaf) {} | |
55 void ATAV::VisitDebuggerStatement(DebuggerStatement* leaf) {} | |
56 void ATAV::VisitFunctionLiteral(FunctionLiteral* leaf) {} | |
57 void ATAV::VisitNativeFunctionLiteral(NativeFunctionLiteral* leaf) {} | |
58 void ATAV::VisitLiteral(Literal* leaf) {} | |
59 void ATAV::VisitRegExpLiteral(RegExpLiteral* leaf) {} | |
60 void ATAV::VisitThisFunction(ThisFunction* leaf) {} | |
61 | |
62 // --------------------------------------------------------------------------- | |
63 // -- Pass-through nodes------------------------------------------------------ | |
64 // --------------------------------------------------------------------------- | |
65 void ATAV::VisitModuleLiteral(ModuleLiteral* e) { Visit(e->body()); } | |
66 | |
67 | |
68 void ATAV::VisitBlock(Block* stmt) { VisitStatements(stmt->statements()); } | |
69 | |
70 | |
71 void ATAV::VisitExpressionStatement(ExpressionStatement* stmt) { | |
72 Visit(stmt->expression()); | |
73 } | |
74 | |
75 | |
76 void ATAV::VisitIfStatement(IfStatement* stmt) { | |
77 Visit(stmt->condition()); | |
78 Visit(stmt->then_statement()); | |
79 Visit(stmt->else_statement()); | |
80 } | |
81 | |
82 | |
83 void ATAV::VisitReturnStatement(ReturnStatement* stmt) { | |
84 Visit(stmt->expression()); | |
85 } | |
86 | |
87 | |
88 void ATAV::VisitWithStatement(WithStatement* stmt) { | |
89 Visit(stmt->expression()); | |
90 Visit(stmt->statement()); | |
91 } | |
92 | |
93 | |
94 void ATAV::VisitSwitchStatement(SwitchStatement* stmt) { | |
95 Visit(stmt->tag()); | |
96 ZoneList<CaseClause*>* clauses = stmt->cases(); | |
97 for (int i = 0; i < clauses->length(); i++) { | |
98 Visit(clauses->at(i)); | |
99 } | |
100 } | |
101 | |
102 | |
103 void ATAV::VisitTryFinallyStatement(TryFinallyStatement* stmt) { | |
104 Visit(stmt->try_block()); | |
105 Visit(stmt->finally_block()); | |
106 } | |
107 | |
108 | |
109 void ATAV::VisitClassLiteral(ClassLiteral* e) { | |
110 VisitIfNotNull(e->extends()); | |
111 Visit(e->constructor()); | |
112 ZoneList<ObjectLiteralProperty*>* properties = e->properties(); | |
113 for (int i = 0; i < properties->length(); i++) { | |
114 Visit(properties->at(i)->value()); | |
115 } | |
116 } | |
117 | |
118 | |
119 void ATAV::VisitConditional(Conditional* e) { | |
120 Visit(e->condition()); | |
121 Visit(e->then_expression()); | |
122 Visit(e->else_expression()); | |
123 } | |
124 | |
125 | |
126 void ATAV::VisitObjectLiteral(ObjectLiteral* e) { | |
127 ZoneList<ObjectLiteralProperty*>* properties = e->properties(); | |
128 for (int i = 0; i < properties->length(); i++) { | |
129 Visit(properties->at(i)->value()); | |
130 } | |
131 } | |
132 | |
133 | |
134 void ATAV::VisitArrayLiteral(ArrayLiteral* e) { VisitExpressions(e->values()); } | |
135 | |
136 | |
137 void ATAV::VisitYield(Yield* stmt) { | |
138 Visit(stmt->generator_object()); | |
139 Visit(stmt->expression()); | |
140 } | |
141 | |
142 | |
143 void ATAV::VisitThrow(Throw* stmt) { Visit(stmt->exception()); } | |
144 | |
145 | |
146 void ATAV::VisitProperty(Property* e) { | |
147 Visit(e->obj()); | |
148 Visit(e->key()); | |
149 } | |
150 | |
151 | |
152 void ATAV::VisitCall(Call* e) { | |
153 Visit(e->expression()); | |
154 VisitExpressions(e->arguments()); | |
155 } | |
156 | |
157 | |
158 void ATAV::VisitCallRuntime(CallRuntime* e) { | |
159 VisitExpressions(e->arguments()); | |
160 } | |
161 | |
162 | |
163 void ATAV::VisitUnaryOperation(UnaryOperation* e) { Visit(e->expression()); } | |
164 | |
165 | |
166 void ATAV::VisitBinaryOperation(BinaryOperation* e) { | |
167 Visit(e->left()); | |
168 Visit(e->right()); | |
169 } | |
170 | |
171 | |
172 void ATAV::VisitCompareOperation(CompareOperation* e) { | |
173 Visit(e->left()); | |
174 Visit(e->right()); | |
175 } | |
176 | |
177 | |
178 void ATAV::VisitCaseClause(CaseClause* cc) { | |
179 if (!cc->is_default()) Visit(cc->label()); | |
180 VisitStatements(cc->statements()); | |
181 } | |
182 | |
183 | |
184 void ATAV::VisitModuleStatement(ModuleStatement* stmt) { Visit(stmt->body()); } | |
185 | |
186 | |
187 void ATAV::VisitTryCatchStatement(TryCatchStatement* stmt) { | |
188 Visit(stmt->try_block()); | |
189 Visit(stmt->catch_block()); | |
190 } | |
191 | |
192 | |
193 void ATAV::VisitDoWhileStatement(DoWhileStatement* loop) { | |
194 Visit(loop->body()); | |
195 Visit(loop->cond()); | |
196 } | |
197 | |
198 | |
199 void ATAV::VisitWhileStatement(WhileStatement* loop) { | |
200 Visit(loop->cond()); | |
201 Visit(loop->body()); | |
202 } | |
203 | |
204 | |
205 void ATAV::VisitForStatement(ForStatement* loop) { | |
206 VisitIfNotNull(loop->init()); | |
207 VisitIfNotNull(loop->cond()); | |
208 Visit(loop->body()); | |
209 VisitIfNotNull(loop->next()); | |
210 } | |
211 | |
212 | |
213 void ATAV::VisitForInStatement(ForInStatement* loop) { | |
214 Visit(loop->each()); | |
215 Visit(loop->subject()); | |
216 Visit(loop->body()); | |
217 } | |
218 | |
219 | |
220 void ATAV::VisitForOfStatement(ForOfStatement* loop) { | |
221 Visit(loop->each()); | |
222 Visit(loop->subject()); | |
223 Visit(loop->body()); | |
224 } | |
225 | |
226 | |
227 void ATAV::VisitAssignment(Assignment* stmt) { | |
228 Expression* l = stmt->target(); | |
229 Visit(l); | |
230 Visit(stmt->value()); | |
231 } | |
232 | |
233 | |
234 void ATAV::VisitCountOperation(CountOperation* e) { | |
235 Expression* l = e->expression(); | |
236 Visit(l); | |
237 } | |
238 } | |
239 } // namespace v8::internal | |
OLD | NEW |