| OLD | NEW |
| 1 // This code was auto-generated, is not intended to be edited, and is subject to | 1 // This code was auto-generated, is not intended to be edited, and is subject to |
| 2 // significant change. Please see the README file for more information. | 2 // significant change. Please see the README file for more information. |
| 3 library engine.element; | 3 library engine.element; |
| 4 import 'dart:collection'; | 4 import 'dart:collection'; |
| 5 import 'java_core.dart'; | 5 import 'java_core.dart'; |
| 6 import 'java_engine.dart'; | 6 import 'java_engine.dart'; |
| 7 import 'utilities_collection.dart'; | 7 import 'utilities_collection.dart'; |
| 8 import 'source.dart'; | 8 import 'source.dart'; |
| 9 import 'scanner.dart' show Keyword; | 9 import 'scanner.dart' show Keyword; |
| 10 import 'ast.dart' show Identifier, LibraryIdentifier; | 10 import 'ast.dart' show Identifier, LibraryIdentifier; |
| (...skipping 5661 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5672 /** | 5672 /** |
| 5673 * The unique instance of this class. | 5673 * The unique instance of this class. |
| 5674 */ | 5674 */ |
| 5675 static final BottomTypeImpl instance = new BottomTypeImpl(); | 5675 static final BottomTypeImpl instance = new BottomTypeImpl(); |
| 5676 | 5676 |
| 5677 /** | 5677 /** |
| 5678 * Prevent the creation of instances of this class. | 5678 * Prevent the creation of instances of this class. |
| 5679 */ | 5679 */ |
| 5680 BottomTypeImpl() : super(null, "<bottom>"); | 5680 BottomTypeImpl() : super(null, "<bottom>"); |
| 5681 bool operator ==(Object object) => identical(object, this); | 5681 bool operator ==(Object object) => identical(object, this); |
| 5682 bool get isBottom => true; |
| 5682 bool isMoreSpecificThan(Type2 type) => true; | 5683 bool isMoreSpecificThan(Type2 type) => true; |
| 5683 bool isSubtypeOf(Type2 type) => true; | 5684 bool isSubtypeOf(Type2 type) => true; |
| 5684 bool isSupertypeOf(Type2 type) => false; | 5685 bool isSupertypeOf(Type2 type) => false; |
| 5685 BottomTypeImpl substitute2(List<Type2> argumentTypes, List<Type2> parameterTyp
es) => this; | 5686 BottomTypeImpl substitute2(List<Type2> argumentTypes, List<Type2> parameterTyp
es) => this; |
| 5686 } | 5687 } |
| 5687 /** | 5688 /** |
| 5688 * The unique instance of the class `DynamicTypeImpl` implements the type `dynam
ic`. | 5689 * The unique instance of the class `DynamicTypeImpl` implements the type `dynam
ic`. |
| 5689 * | 5690 * |
| 5690 * @coverage dart.engine.type | 5691 * @coverage dart.engine.type |
| 5691 */ | 5692 */ |
| (...skipping 1102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 6794 */ | 6795 */ |
| 6795 TypeImpl(Element element, String name) { | 6796 TypeImpl(Element element, String name) { |
| 6796 this._element = element; | 6797 this._element = element; |
| 6797 this._name = name; | 6798 this._name = name; |
| 6798 } | 6799 } |
| 6799 String get displayName => name; | 6800 String get displayName => name; |
| 6800 Element get element => _element; | 6801 Element get element => _element; |
| 6801 Type2 getLeastUpperBound(Type2 type) => null; | 6802 Type2 getLeastUpperBound(Type2 type) => null; |
| 6802 String get name => _name; | 6803 String get name => _name; |
| 6803 bool isAssignableTo(Type2 type) => this.isSubtypeOf(type) || type.isSubtypeOf(
this); | 6804 bool isAssignableTo(Type2 type) => this.isSubtypeOf(type) || type.isSubtypeOf(
this); |
| 6805 bool get isBottom => false; |
| 6804 bool get isDartCoreFunction => false; | 6806 bool get isDartCoreFunction => false; |
| 6805 bool get isDynamic => false; | 6807 bool get isDynamic => false; |
| 6806 bool isMoreSpecificThan(Type2 type) => false; | 6808 bool isMoreSpecificThan(Type2 type) => false; |
| 6807 bool get isObject => false; | 6809 bool get isObject => false; |
| 6808 bool isSupertypeOf(Type2 type) => type.isSubtypeOf(this); | 6810 bool isSupertypeOf(Type2 type) => type.isSubtypeOf(this); |
| 6809 bool get isVoid => false; | 6811 bool get isVoid => false; |
| 6810 String toString() { | 6812 String toString() { |
| 6811 JavaStringBuilder builder = new JavaStringBuilder(); | 6813 JavaStringBuilder builder = new JavaStringBuilder(); |
| 6812 appendTo(builder); | 6814 appendTo(builder); |
| 6813 return builder.toString(); | 6815 return builder.toString(); |
| (...skipping 602 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 7416 * Return `true` if this type is assignable to the given type. A type <i>T</i>
may be | 7418 * Return `true` if this type is assignable to the given type. A type <i>T</i>
may be |
| 7417 * assigned to a type <i>S</i>, written <i>T</i> ⇔ <i>S</i>, iff either <
i>T</i> <: <i>S</i> | 7419 * assigned to a type <i>S</i>, written <i>T</i> ⇔ <i>S</i>, iff either <
i>T</i> <: <i>S</i> |
| 7418 * or <i>S</i> <: <i>T</i>. | 7420 * or <i>S</i> <: <i>T</i>. |
| 7419 * | 7421 * |
| 7420 * @param type the type being compared with this type | 7422 * @param type the type being compared with this type |
| 7421 * @return `true` if this type is assignable to the given type | 7423 * @return `true` if this type is assignable to the given type |
| 7422 */ | 7424 */ |
| 7423 bool isAssignableTo(Type2 type); | 7425 bool isAssignableTo(Type2 type); |
| 7424 | 7426 |
| 7425 /** | 7427 /** |
| 7428 * Return `true` if this type represents the bottom type. |
| 7429 * |
| 7430 * @return `true` if this type represents the bottom type |
| 7431 */ |
| 7432 bool get isBottom; |
| 7433 |
| 7434 /** |
| 7426 * Return `true` if this type represents the type 'Function' defined in the da
rt:core | 7435 * Return `true` if this type represents the type 'Function' defined in the da
rt:core |
| 7427 * library. | 7436 * library. |
| 7428 * | 7437 * |
| 7429 * @return `true` if this type represents the type 'Function' defined in the d
art:core | 7438 * @return `true` if this type represents the type 'Function' defined in the d
art:core |
| 7430 * library | 7439 * library |
| 7431 */ | 7440 */ |
| 7432 bool get isDartCoreFunction; | 7441 bool get isDartCoreFunction; |
| 7433 | 7442 |
| 7434 /** | 7443 /** |
| 7435 * Return `true` if this type represents the type 'dynamic'. | 7444 * Return `true` if this type represents the type 'dynamic'. |
| (...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 7503 } | 7512 } |
| 7504 /** | 7513 /** |
| 7505 * The interface `VoidType` defines the behavior of the unique object representi
ng the type | 7514 * The interface `VoidType` defines the behavior of the unique object representi
ng the type |
| 7506 * `void`. | 7515 * `void`. |
| 7507 * | 7516 * |
| 7508 * @coverage dart.engine.type | 7517 * @coverage dart.engine.type |
| 7509 */ | 7518 */ |
| 7510 abstract class VoidType implements Type2 { | 7519 abstract class VoidType implements Type2 { |
| 7511 VoidType substitute2(List<Type2> argumentTypes, List<Type2> parameterTypes); | 7520 VoidType substitute2(List<Type2> argumentTypes, List<Type2> parameterTypes); |
| 7512 } | 7521 } |
| OLD | NEW |