| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/SourcePriority.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManagerPriority.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/SourcePriority.java
|
| similarity index 97%
|
| rename from editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManagerPriority.java
|
| rename to editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/SourcePriority.java
|
| index 080cd78bc18f55b1f4fab3e00b994fd81bf1cd87..51572a7bb4e313812674f15c9db1dd1f9a6b041c 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManagerPriority.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/SourcePriority.java
|
| @@ -18,7 +18,7 @@ package com.google.dart.engine.internal.context;
|
| * The enumerated type {@code Priority} defines the priority levels used to return sources in an
|
| * optimal order.
|
| */
|
| -public enum WorkManagerPriority {
|
| +public enum SourcePriority {
|
| /**
|
| * Used for a Dart source that is known to be a part contained in a library that was recently
|
| * resolved. These parts are given a higher priority because there is a high probability that
|
|
|