Check equivalence of closed world based on kernel elements.

pkg/compiler/lib/src/kernel/world_builder.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.kernel.world_builder;
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/resolution.dart';
 import '../compile_time_constants.dart';
 import '../constants/constant_system.dart';
 import '../constants/constructors.dart';
 import '../constants/evaluation.dart';
 import '../constants/expressions.dart';
 import '../constants/values.dart';
 import '../common_elements.dart';
 import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../elements/types.dart';
 import '../js_backend/constant_system_javascript.dart';
 import '../js_backend/native_data.dart';
 import '../js_backend/no_such_method_registry.dart';
 import '../native/native.dart' as native;
 import '../native/resolver.dart';
 import '../ordered_typeset.dart';
 import '../ssa/kernel_impact.dart';
 import '../universe/call_structure.dart';
+import '../universe/world_builder.dart';
 import '../util/util.dart' show Link, LinkBuilder;
 import 'element_adapter.dart';
 import 'elements.dart';
 
 part 'native_basic_data.dart';
 part 'native_class_resolver.dart';
 part 'no_such_method_resolver.dart';
 part 'types.dart';
 
 /// World builder used for creating elements and types corresponding to Kernel
@@ skipping 1056 matching lines @@
   ConstantExpression getLocalConstant(Local local) {
     throw new UnimplementedError("_EvaluationEnvironment.getLocalConstant");
   }
 
   @override
   String readFromEnvironment(String name) {
     throw new UnimplementedError("_EvaluationEnvironment.readFromEnvironment");
   }
 }
 
+class KernelResolutionWorldBuilder extends KernelResolutionWorldBuilderBase {
+  final KernelWorldBuilder worldBuilder;
+
+  KernelResolutionWorldBuilder(
+      this.worldBuilder,
+      NativeBasicData nativeBasicData,
+      SelectorConstraintsStrategy selectorConstraintsStrategy)
+      : super(worldBuilder.elementEnvironment, worldBuilder.commonElements,
+            nativeBasicData, selectorConstraintsStrategy);
+
+  @override
+  Iterable<InterfaceType> getSupertypes(ClassEntity cls) {
+    return worldBuilder._getOrderedTypeSet(cls).supertypes;
+  }
+
+  @override
+  ClassEntity getSuperClass(ClassEntity cls) {
+    return worldBuilder._getSuperType(cls)?.element;
+  }
+
+  @override
+  bool implementsFunction(ClassEntity cls) {
+    // TODO(johnniwinther): Implement this.
+    return false;

[Siggi Cherem (dart-lang), 2017/04/21 17:04:21]

throw?

[Johnni Winther, 2017/04/24 09:53:46]

Needed for the closed world computation.

+  }
+
+  @override
+  int getHierarchyDepth(ClassEntity cls) {
+    return worldBuilder._getHierarchyDepth(cls);
+  }
+
+  @override
+  ClassEntity getAppliedMixin(ClassEntity cls) {
+    // TODO(johnniwinther): Implement this.
+    return null;
+  }
+
+  @override
+  bool validateClass(ClassEntity cls) => true;
+
+  @override
+  bool checkClass(ClassEntity cls) => true;
+}
+
 // Interface for testing equivalence of Kernel-based entities.
 class WorldDeconstructionForTesting {
   final KernelWorldBuilder builder;
 
   WorldDeconstructionForTesting(this.builder);
 
   Uri getLibraryUri(KLibrary library) {
     return builder._libraryEnvs[library.libraryIndex].library.importUri;
   }
 
@@ skipping 29 matching lines @@
   }
 
   InterfaceType getMixinTypeForClass(KClass cls) {
     KClassEnv env = builder._classEnvs[cls.classIndex];
     ir.Supertype mixedInType = env.cls.mixedInType;
     if (mixedInType == null) return null;
     return builder.createInterfaceType(
         mixedInType.classNode, mixedInType.typeArguments);
   }
 }