Index: pkg/compiler/lib/src/enqueue.dart |
diff --git a/pkg/compiler/lib/src/enqueue.dart b/pkg/compiler/lib/src/enqueue.dart |
index 18258022954c0c79ec7e871f384bf2a5e2803a24..fbd159d7c8b4030ecfb75d25d89afe8be786e81b 100644 |
--- a/pkg/compiler/lib/src/enqueue.dart |
+++ b/pkg/compiler/lib/src/enqueue.dart |
@@ -32,7 +32,7 @@ import 'elements/elements.dart' |
import 'native/native.dart' as native; |
import 'types/types.dart' show TypeMaskStrategy; |
import 'universe/selector.dart' show Selector; |
-import 'universe/universe.dart'; |
+import 'universe/world_builder.dart'; |
import 'universe/use.dart' |
show DynamicUse, StaticUse, StaticUseKind, TypeUse, TypeUseKind; |
import 'universe/world_impact.dart' |
@@ -71,7 +71,7 @@ class EnqueueTask extends CompilerTask { |
abstract class Enqueuer { |
EnqueueTask task; |
- Universe get universe; |
+ WorldBuilder get universe; |
Siggi Cherem (dart-lang)
2016/09/29 18:14:48
might be worth renaming this field (and _universe
Johnni Winther
2016/09/30 08:43:14
Acknowledged.
|
native.NativeEnqueuer nativeEnqueuer; // Set by EnqueueTask |
void forgetElement(Element element); |
void processInstantiatedClassMembers(ClassElement cls); |
@@ -135,8 +135,8 @@ class ResolutionEnqueuer extends Enqueuer { |
new Map<String, Set<Element>>(); |
final Set<ClassElement> _processedClasses = new Set<ClassElement>(); |
Set<ClassElement> recentClasses = new Setlet<ClassElement>(); |
- final ResolutionUniverseImpl _universe = |
- new ResolutionUniverseImpl(const TypeMaskStrategy()); |
+ final ResolutionWorldBuilderImpl _universe = |
+ new ResolutionWorldBuilderImpl(const TypeMaskStrategy()); |
static final TRACE_MIRROR_ENQUEUING = |
const bool.fromEnvironment("TRACE_MIRROR_ENQUEUING"); |
@@ -160,7 +160,7 @@ class ResolutionEnqueuer extends Enqueuer { |
// TODO(johnniwinther): Move this to [ResolutionEnqueuer]. |
Resolution get resolution => compiler.resolution; |
- ResolutionUniverse get universe => _universe; |
+ ResolutionWorldBuilder get universe => _universe; |
bool get queueIsEmpty => queue.isEmpty; |