| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
|
| index 76ba8c6bfb9fc58077a77521fe400852ccc7135e..be8f2880d2f686587d27badb2302feac962f5cc9 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
|
| @@ -32,7 +32,7 @@ public class WorkManager {
|
| */
|
| @SuppressWarnings("unchecked")
|
| public WorkManager() {
|
| - int queueCount = WorkManagerPriority.values().length;
|
| + int queueCount = SourcePriority.values().length;
|
| workQueues = new ArrayList[queueCount];
|
| for (int i = 0; i < queueCount; i++) {
|
| workQueues[i] = new ArrayList<Source>();
|
| @@ -46,7 +46,7 @@ public class WorkManager {
|
| * @param source the source that needs to be analyzed
|
| * @param priority the priority level of the source
|
| */
|
| - public void add(Source source, WorkManagerPriority priority) {
|
| + public void add(Source source, SourcePriority priority) {
|
| // TODO(brianwilkerson) Optimize the order of the libraries so that libraries that depend on
|
| // other libraries get analyzed after the other libraries.
|
| int queueCount = workQueues.length;
|
|
|