Incremental compilation: set up inheritance.

dart/pkg/compiler/lib/src/world.dart

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..781648f7ded769b8e9b632ae720910c0925c2dee 100644
--- a/dart/pkg/compiler/lib/src/world.dart
+++ b/dart/pkg/compiler/lib/src/world.dart
@@ -96,6 +96,8 @@ abstract class ClassWorld {
 
   /// Returns `true` if any subclass of [superclass] implements [type].
   bool hasAnySubclassThatImplements(ClassElement superclass, ClassElement type);
+
+  bool get hasClosedWorldAssumption;

[Johnni Winther, 2014/11/14 10:20:53]

Document what this implies.

As I read the use it seem to be more like 'canUseClosedWorldAssumption' in which
case the value is `!compiler.hasIncrementalSupport`.

[ahe, 2014/11/14 14:40:05]

I got this wrong. The return value should have been negated, and the use should
be negated.

 }
 
 class World implements ClassWorld {
@@ -521,4 +523,6 @@ class World implements ClassWorld {
     }
     return functionsThatMightBePassedToApply.contains(element);
   }
+
+  bool get hasClosedWorldAssumption => compiler.hasIncrementalSupport;
 }