Report error for ignored priority file. Ignore subscription for ignored files.

pkg/analysis_server/lib/src/analysis_server.dart

Index: pkg/analysis_server/lib/src/analysis_server.dart
diff --git a/pkg/analysis_server/lib/src/analysis_server.dart b/pkg/analysis_server/lib/src/analysis_server.dart
index 93c929c7daa1022a169cc4b5494d146a5bc885e4..2b58ebfb40d0523e6da6ee00932821a843b750ac 100644
--- a/pkg/analysis_server/lib/src/analysis_server.dart
+++ b/pkg/analysis_server/lib/src/analysis_server.dart
@@ -977,8 +977,11 @@ class AnalysisServer {
       Set<String> todoFiles =
           oldFiles != null ? newFiles.difference(oldFiles) : newFiles;
       for (String file in todoFiles) {
-        ContextSourcePair contextSource = getContextSourcePair(file);
+        if (contextManager.isIgnored(file)) {
+          continue;

[Brian Wilkerson, 2015/11/19 00:17:08]

Do we need to remember the subscriptions so that if we stop ignoring the file
then the subscriptions will take effect? Seems like that would be consistent
with the rest of the API, but it might be overkill.

[scheglov, 2015/11/19 01:30:16]

Actually yes, we need.
But we don't do it now.
So, it is a bug, but it's not a regression.

I've opened a new issue.
https://github.com/dart-lang/sdk/issues/24979

+        }
         // prepare context
+        ContextSourcePair contextSource = getContextSourcePair(file);
         AnalysisContext context = contextSource.context;
         if (context == null) {
           continue;
@@ -1066,6 +1069,11 @@ class AnalysisServer {
     List<String> unanalyzed = new List<String>();
     Source firstSource = null;
     files.forEach((String file) {
+      if (contextManager.isIgnored(file)) {
+        unanalyzed.add(file);
+        return;
+      }
+      // Prepare the context/source pair.
       ContextSourcePair contextSource = getContextSourcePair(file);
       AnalysisContext preferredContext = contextSource.context;
       Source source = contextSource.source;