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

Side by Side Diff: pkg/compiler/lib/src/kernel/types.dart

Issue 2954493002: Less inequivalence on Hello World! (Closed)
Patch Set: Updated cf. comments Created 3 years, 5 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 file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 part of dart2js.kernel.element_map; 5 part of dart2js.kernel.element_map;
6 6
7 /// Support for subtype checks of kernel based [DartType]s. 7 /// Support for subtype checks of kernel based [DartType]s.
8 class _KernelDartTypes extends DartTypes { 8 class _KernelDartTypes extends DartTypes {
9 final KernelToElementMapImpl elementMap; 9 final KernelToElementMapImpl elementMap;
10 final SubtypeVisitor<DartType> subtypeVisitor; 10 final SubtypeVisitor<DartType> subtypeVisitor;
(...skipping 28 matching lines...) Expand all
39 InterfaceType getSupertype(ClassEntity cls) { 39 InterfaceType getSupertype(ClassEntity cls) {
40 return elementMap._getSuperType(cls); 40 return elementMap._getSuperType(cls);
41 } 41 }
42 42
43 @override 43 @override
44 Iterable<InterfaceType> getSupertypes(ClassEntity cls) { 44 Iterable<InterfaceType> getSupertypes(ClassEntity cls) {
45 return elementMap._getOrderedTypeSet(cls).supertypes; 45 return elementMap._getOrderedTypeSet(cls).supertypes;
46 } 46 }
47 47
48 @override 48 @override
49 Iterable<InterfaceType> getInterfaces(ClassEntity cls) {
50 return elementMap._getInterfaces(cls);
51 }
52
53 @override
49 InterfaceType asInstanceOf(InterfaceType type, ClassEntity cls) { 54 InterfaceType asInstanceOf(InterfaceType type, ClassEntity cls) {
50 return elementMap._asInstanceOf(type, cls); 55 return elementMap._asInstanceOf(type, cls);
51 } 56 }
52 57
53 @override 58 @override
54 DartType substByContext(DartType base, InterfaceType context) { 59 DartType substByContext(DartType base, InterfaceType context) {
55 return elementMap._substByContext(base, context); 60 return elementMap._substByContext(base, context);
56 } 61 }
57 62
58 @override 63 @override
(...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after
129 134
130 _KernelSubtypeVisitor(this.elementMap); 135 _KernelSubtypeVisitor(this.elementMap);
131 } 136 }
132 137
133 class _KernelPotentialSubtypeVisitor extends PotentialSubtypeVisitor<DartType> 138 class _KernelPotentialSubtypeVisitor extends PotentialSubtypeVisitor<DartType>
134 with _AbstractTypeRelationMixin { 139 with _AbstractTypeRelationMixin {
135 final KernelToElementMapImpl elementMap; 140 final KernelToElementMapImpl elementMap;
136 141
137 _KernelPotentialSubtypeVisitor(this.elementMap); 142 _KernelPotentialSubtypeVisitor(this.elementMap);
138 } 143 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/kernel/element_map_impl.dart ('k') | pkg/compiler/lib/src/resolution/resolution_strategy.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698