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

Side by Side Diff: lib/compiler/implementation/universe/universe.dart

Issue 10964016: Change the type inference for fields in dart2js (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Minor fixes and rebased Created 8 years, 3 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 | Annotate | Revision Log
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, 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 file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 #library('universe'); 5 #library('universe');
6 6
7 #import('../closure.dart'); 7 #import('../closure.dart');
8 #import('../elements/elements.dart'); 8 #import('../elements/elements.dart');
9 #import('../leg.dart'); 9 #import('../leg.dart');
10 #import('../scanner/scannerlib.dart'); 10 #import('../scanner/scannerlib.dart');
(...skipping 429 matching lines...) Expand 10 before | Expand all | Expand 10 after
440 } 440 }
441 } 441 }
442 442
443 class TypedSelector extends Selector { 443 class TypedSelector extends Selector {
444 /** 444 /**
445 * The type of the receiver. Any subtype of that type can be the 445 * The type of the receiver. Any subtype of that type can be the
446 * target of the invocation. 446 * target of the invocation.
447 */ 447 */
448 final DartType receiverType; 448 final DartType receiverType;
449 449
450 TypedSelector(this.receiverType, Selector selector) 450 TypedSelector(DartType this.receiverType, Selector selector)
451 : super(selector.kind, 451 : super(selector.kind,
452 selector.name, 452 selector.name,
453 selector.library, 453 selector.library,
454 selector.argumentCount, 454 selector.argumentCount,
455 selector.namedArguments); 455 selector.namedArguments);
456 456
457 /** 457 /**
458 * Check if [element] will be the one used at runtime when being 458 * Check if [element] will be the one used at runtime when being
459 * invoked on an instance of [cls]. 459 * invoked on an instance of [cls].
460 */ 460 */
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after
496 496
497 if (!self.isInterface() && self.isSubclassOf(other)) { 497 if (!self.isInterface() && self.isSubclassOf(other)) {
498 // Resolve an invocation of [element.name] on [self]. If it 498 // Resolve an invocation of [element.name] on [self]. If it
499 // is found, this selector is a candidate. 499 // is found, this selector is a candidate.
500 return hasElementIn(self, element) && appliesUntyped(element, compiler); 500 return hasElementIn(self, element) && appliesUntyped(element, compiler);
501 } 501 }
502 502
503 return false; 503 return false;
504 } 504 }
505 } 505 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698