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

Unified Diff: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart

Issue 2366363002: Move remaining functionality from ClassWorld to ClosedWorld (Closed)
Patch Set: Created 4 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 side-by-side diff with in-line comments
Download patch
Index: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
diff --git a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
index 98e12bea5be9eaf25ce07cfb09eadfe5c42b812f..6519aa9ac218206b6374393834963d176435a641 100644
--- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
+++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
@@ -24,7 +24,7 @@ import '../types/masks.dart'
ValueTypeMask;
import '../universe/selector.dart' show Selector;
import '../util/util.dart' show ImmutableEmptySet, Setlet;
-import '../world.dart' show ClassWorld;
+import '../world.dart' show ClosedWorld;
import 'debug.dart' as debug;
import 'inferrer_visitor.dart' show ArgumentsTypes;
import 'type_graph_inferrer.dart'
@@ -867,26 +867,27 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
*/
TypeInformation handleIntrisifiedSelector(
Selector selector, TypeMask mask, TypeGraphInferrerEngine inferrer) {
- ClassWorld classWorld = inferrer.closedWorld;
- if (!classWorld.backend.intImplementation.isResolved) return null;
+ ClosedWorld closedWorld = inferrer.closedWorld;
+ if (!closedWorld.backend.intImplementation.isResolved) return null;
if (mask == null) return null;
- if (!mask.containsOnlyInt(classWorld)) {
+ if (!mask.containsOnlyInt(closedWorld)) {
return null;
}
if (!selector.isCall && !selector.isOperator) return null;
if (!arguments.named.isEmpty) return null;
if (arguments.positional.length > 1) return null;
- ClassElement uint31Implementation = classWorld.backend.uint31Implementation;
- bool isInt(info) => info.type.containsOnlyInt(classWorld);
+ ClassElement uint31Implementation =
+ closedWorld.backend.uint31Implementation;
+ bool isInt(info) => info.type.containsOnlyInt(closedWorld);
bool isEmpty(info) => info.type.isEmpty;
bool isUInt31(info) {
- return info.type.satisfies(uint31Implementation, classWorld);
+ return info.type.satisfies(uint31Implementation, closedWorld);
}
bool isPositiveInt(info) {
- return info.type
- .satisfies(classWorld.backend.positiveIntImplementation, classWorld);
+ return info.type.satisfies(
+ closedWorld.backend.positiveIntImplementation, closedWorld);
}
TypeInformation tryLater() => inferrer.types.nonNullEmptyType;

Powered by Google App Engine
This is Rietveld 408576698