OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 compiler.src.inferrer.type_graph_nodes; | 5 library compiler.src.inferrer.type_graph_nodes; |
6 | 6 |
7 import 'dart:collection' show IterableBase; | 7 import 'dart:collection' show IterableBase; |
8 | 8 |
9 import '../common.dart'; | 9 import '../common.dart'; |
10 import '../common/names.dart' show Identifiers; | 10 import '../common/names.dart' show Identifiers; |
(...skipping 747 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
758 if (arguments != null) { | 758 if (arguments != null) { |
759 arguments.forEach((info) => info.addUser(this)); | 759 arguments.forEach((info) => info.addUser(this)); |
760 } | 760 } |
761 inferrer.updateParameterAssignments( | 761 inferrer.updateParameterAssignments( |
762 this, calledElement, arguments, selector, mask, | 762 this, calledElement, arguments, selector, mask, |
763 remove: false, addToQueue: false); | 763 remove: false, addToQueue: false); |
764 } | 764 } |
765 | 765 |
766 bool get isSynthesized { | 766 bool get isSynthesized { |
767 // Some calls do not have a corresponding selector, for example | 767 // Some calls do not have a corresponding selector, for example |
768 // fowarding factory constructors, or synthesized super | 768 // forwarding factory constructors, or synthesized super |
769 // constructor calls. We synthesize these calls but do | 769 // constructor calls. We synthesize these calls but do |
770 // not create a selector for them. | 770 // not create a selector for them. |
771 return selector == null; | 771 return selector == null; |
772 } | 772 } |
773 | 773 |
774 TypeMask computeType(InferrerEngine inferrer) { | 774 TypeMask computeType(InferrerEngine inferrer) { |
775 if (isSynthesized) { | 775 if (isSynthesized) { |
776 assert(arguments != null); | 776 assert(arguments != null); |
777 return inferrer.types.getInferredTypeOf(calledElement).type; | 777 return inferrer.types.getInferredTypeOf(calledElement).type; |
778 } else { | 778 } else { |
(...skipping 983 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1762 } else if (annotation.isVoid) { | 1762 } else if (annotation.isVoid) { |
1763 otherType = closedWorld.commonMasks.nullType; | 1763 otherType = closedWorld.commonMasks.nullType; |
1764 } else { | 1764 } else { |
1765 ResolutionInterfaceType interfaceType = annotation; | 1765 ResolutionInterfaceType interfaceType = annotation; |
1766 otherType = new TypeMask.nonNullSubtype(interfaceType.element, closedWorld); | 1766 otherType = new TypeMask.nonNullSubtype(interfaceType.element, closedWorld); |
1767 } | 1767 } |
1768 if (isNullable) otherType = otherType.nullable(); | 1768 if (isNullable) otherType = otherType.nullable(); |
1769 if (type == null) return otherType; | 1769 if (type == null) return otherType; |
1770 return type.intersection(otherType, closedWorld); | 1770 return type.intersection(otherType, closedWorld); |
1771 } | 1771 } |
OLD | NEW |