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

Unified Diff: dart/pkg/compiler/lib/src/world.dart

Issue 719443002: Incremental compilation: set up inheritance. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge
Patch Set: Negate and document ClassWorld.hasClosedWorldAssumption. Created 6 years, 1 month 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: dart/pkg/compiler/lib/src/world.dart
diff --git a/dart/pkg/compiler/lib/src/world.dart b/dart/pkg/compiler/lib/src/world.dart
index 4391cdb3fc3de33dca1f69415ef7f0c8eb849599..70bdcaa6ac35797adc1b0fe51a691cede574b2c3 100644
--- a/dart/pkg/compiler/lib/src/world.dart
+++ b/dart/pkg/compiler/lib/src/world.dart
@@ -96,6 +96,10 @@ abstract class ClassWorld {
/// Returns `true` if any subclass of [superclass] implements [type].
bool hasAnySubclassThatImplements(ClassElement superclass, ClassElement type);
+
+ /// Returns `true` if closed-world assumptions can be made, that is,
+ /// incremental compilation isn't enabled.
+ bool get hasClosedWorldAssumption;
}
class World implements ClassWorld {
@@ -521,4 +525,6 @@ class World implements ClassWorld {
}
return functionsThatMightBePassedToApply.contains(element);
}
+
+ bool get hasClosedWorldAssumption => !compiler.hasIncrementalSupport;
}

Powered by Google App Engine
This is Rietveld 408576698