| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 // This code was auto-generated, is not intended to be edited, and is subject to | 5 // This code was auto-generated, is not intended to be edited, and is subject to |
| 6 // significant change. Please see the README file for more information. | 6 // significant change. Please see the README file for more information. |
| 7 | 7 |
| 8 library engine.element; | 8 library engine.element; |
| 9 | 9 |
| 10 import 'dart:collection'; | 10 import 'dart:collection'; |
| (...skipping 9730 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 9741 return false; | 9741 return false; |
| 9742 } | 9742 } |
| 9743 return _isMoreSpecificThan(type as InterfaceType, new Set<ClassElement>(), w
ithDynamic, visitedTypePairs); | 9743 return _isMoreSpecificThan(type as InterfaceType, new Set<ClassElement>(), w
ithDynamic, visitedTypePairs); |
| 9744 } | 9744 } |
| 9745 | 9745 |
| 9746 @override | 9746 @override |
| 9747 bool internalIsSubtypeOf(DartType type, Set<TypeImpl_TypePair> visitedTypePair
s) { | 9747 bool internalIsSubtypeOf(DartType type, Set<TypeImpl_TypePair> visitedTypePair
s) { |
| 9748 // | 9748 // |
| 9749 // T is a subtype of S, written T <: S, iff [bottom/dynamic]T << S | 9749 // T is a subtype of S, written T <: S, iff [bottom/dynamic]T << S |
| 9750 // | 9750 // |
| 9751 if (identical(type, DynamicTypeImpl.instance)) { | 9751 if (type.isDynamic) { |
| 9752 return true; | 9752 return true; |
| 9753 } else if (type is TypeParameterType) { | 9753 } else if (type is TypeParameterType) { |
| 9754 return true; | 9754 return false; |
| 9755 } else if (type is FunctionType) { | 9755 } else if (type is FunctionType) { |
| 9756 ClassElement element = this.element; | 9756 ClassElement element = this.element; |
| 9757 MethodElement callMethod = element.lookUpMethod("call", element.library); | 9757 MethodElement callMethod = element.lookUpMethod("call", element.library); |
| 9758 if (callMethod != null) { | 9758 if (callMethod != null) { |
| 9759 return callMethod.type.isSubtypeOf(type); | 9759 return callMethod.type.isSubtypeOf(type); |
| 9760 } | 9760 } |
| 9761 return false; | 9761 return false; |
| 9762 } else if (type is! InterfaceType) { | 9762 } else if (type is! InterfaceType) { |
| 9763 return false; | 9763 return false; |
| 9764 } else if (this == type) { | 9764 } else if (this == type) { |
| (...skipping 1086 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 10851 } | 10851 } |
| 10852 | 10852 |
| 10853 /** | 10853 /** |
| 10854 * The interface `VoidType` defines the behavior of the unique object representi
ng the type | 10854 * The interface `VoidType` defines the behavior of the unique object representi
ng the type |
| 10855 * `void`. | 10855 * `void`. |
| 10856 */ | 10856 */ |
| 10857 abstract class VoidType implements DartType { | 10857 abstract class VoidType implements DartType { |
| 10858 @override | 10858 @override |
| 10859 VoidType substitute2(List<DartType> argumentTypes, List<DartType> parameterTyp
es); | 10859 VoidType substitute2(List<DartType> argumentTypes, List<DartType> parameterTyp
es); |
| 10860 } | 10860 } |
| OLD | NEW |