Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(189)

Side by Side Diff: pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart

Issue 2994533002: Perform type inference on constructor field initializer expressions. (Closed)
Patch Set: Created 3 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
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
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
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
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 }
OLDNEW
« no previous file with comments | « pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart ('k') | pkg/front_end/testcases/ast_builder.status » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698