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 |