OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart'; | 5 import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart'; |
6 import 'package:kernel/ast.dart'; | 6 import 'package:kernel/ast.dart'; |
7 | 7 |
8 /// Base class for [TypeInferenceListener] that defines the API for debugging. | 8 /// Base class for [TypeInferenceListener] that defines the API for debugging. |
9 /// | 9 /// |
10 /// By default no debug info is printed. To enable debug printing, mix in | 10 /// By default no debug info is printed. To enable debug printing, mix in |
(...skipping 152 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
163 | 163 |
164 void dryRunExit(Expression expression) => | 164 void dryRunExit(Expression expression) => |
165 genericExpressionExit("dryRun", expression, null); | 165 genericExpressionExit("dryRun", expression, null); |
166 | 166 |
167 void expressionStatementEnter(ExpressionStatement statement) => | 167 void expressionStatementEnter(ExpressionStatement statement) => |
168 genericStatementEnter('expressionStatement', statement); | 168 genericStatementEnter('expressionStatement', statement); |
169 | 169 |
170 void expressionStatementExit(ExpressionStatement statement) => | 170 void expressionStatementExit(ExpressionStatement statement) => |
171 genericStatementExit('expressionStatement', statement); | 171 genericStatementExit('expressionStatement', statement); |
172 | 172 |
| 173 void fieldInitializerEnter(FieldInitializer initializer) => |
| 174 genericInitializerEnter("fieldInitializer", initializer); |
| 175 |
| 176 void fieldInitializerExit(FieldInitializer initializer) => |
| 177 genericInitializerExit("fieldInitializer", initializer); |
| 178 |
173 void forInStatementEnter(ForInStatement statement) => | 179 void forInStatementEnter(ForInStatement statement) => |
174 genericStatementEnter('forInStatement', statement); | 180 genericStatementEnter('forInStatement', statement); |
175 | 181 |
176 void forInStatementExit(ForInStatement statement) => | 182 void forInStatementExit(ForInStatement statement) => |
177 genericStatementExit('forInStatement', statement); | 183 genericStatementExit('forInStatement', statement); |
178 | 184 |
179 void forStatementEnter(ForStatement statement) => | 185 void forStatementEnter(ForStatement statement) => |
180 genericStatementEnter('forStatement', statement); | 186 genericStatementEnter('forStatement', statement); |
181 | 187 |
182 void forStatementExit(ForStatement statement) => | 188 void forStatementExit(ForStatement statement) => |
(...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
251 void logicalExpressionExit( | 257 void logicalExpressionExit( |
252 LogicalExpression expression, DartType inferredType) => | 258 LogicalExpression expression, DartType inferredType) => |
253 genericExpressionExit("logicalExpression", expression, inferredType); | 259 genericExpressionExit("logicalExpression", expression, inferredType); |
254 | 260 |
255 bool mapLiteralEnter(MapLiteral expression, DartType typeContext) => | 261 bool mapLiteralEnter(MapLiteral expression, DartType typeContext) => |
256 genericExpressionEnter("mapLiteral", expression, typeContext); | 262 genericExpressionEnter("mapLiteral", expression, typeContext); |
257 | 263 |
258 void mapLiteralExit(MapLiteral expression, DartType typeContext) => | 264 void mapLiteralExit(MapLiteral expression, DartType typeContext) => |
259 genericExpressionExit("mapLiteral", expression, typeContext); | 265 genericExpressionExit("mapLiteral", expression, typeContext); |
260 | 266 |
| 267 void methodInvocationBeforeArgs(Expression expression, bool isImplicitCall) {} |
| 268 |
261 bool methodInvocationEnter(Expression expression, DartType typeContext) => | 269 bool methodInvocationEnter(Expression expression, DartType typeContext) => |
262 genericExpressionEnter("methodInvocation", expression, typeContext); | 270 genericExpressionEnter("methodInvocation", expression, typeContext); |
263 | 271 |
264 void methodInvocationBeforeArgs(Expression expression, bool isImplicitCall) {} | |
265 | |
266 void methodInvocationExit(Expression expression, Arguments arguments, | 272 void methodInvocationExit(Expression expression, Arguments arguments, |
267 bool isImplicitCall, DartType inferredType) => | 273 bool isImplicitCall, DartType inferredType) => |
268 genericExpressionExit("methodInvocation", expression, inferredType); | 274 genericExpressionExit("methodInvocation", expression, inferredType); |
269 | 275 |
270 bool notEnter(Not expression, DartType typeContext) => | 276 bool notEnter(Not expression, DartType typeContext) => |
271 genericExpressionEnter("not", expression, typeContext); | 277 genericExpressionEnter("not", expression, typeContext); |
272 | 278 |
273 void notExit(Not expression, DartType inferredType) => | 279 void notExit(Not expression, DartType inferredType) => |
274 genericExpressionExit("not", expression, inferredType); | 280 genericExpressionExit("not", expression, inferredType); |
275 | 281 |
(...skipping 147 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
423 | 429 |
424 void whileStatementExit(WhileStatement statement) => | 430 void whileStatementExit(WhileStatement statement) => |
425 genericStatementExit("whileStatement", statement); | 431 genericStatementExit("whileStatement", statement); |
426 | 432 |
427 void yieldStatementEnter(YieldStatement statement) => | 433 void yieldStatementEnter(YieldStatement statement) => |
428 genericStatementEnter('yieldStatement', statement); | 434 genericStatementEnter('yieldStatement', statement); |
429 | 435 |
430 void yieldStatementExit(YieldStatement statement) => | 436 void yieldStatementExit(YieldStatement statement) => |
431 genericStatementExit('yieldStatement', statement); | 437 genericStatementExit('yieldStatement', statement); |
432 } | 438 } |
OLD | NEW |