Fix to exclude patch files from search results (dartbug.com/5492).

compiler/java/com/google/dart/compiler/SystemLibrariesReader.java

 /*
  * Copyright (c) 2012, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 18 matching lines @@
 import com.google.dart.compiler.ast.DartUnit;
 import com.google.dart.compiler.metrics.CompilerMetrics;
 import com.google.dart.compiler.parser.DartParser;
 import com.google.dart.compiler.util.DartSourceString;
 
 import java.io.File;
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.Reader;
+import java.net.URI;
 import java.nio.charset.Charset;
+import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.List;
 import java.util.Map;
 
 /**
  * A reader that parses and reads the libraries dart-sdk/lib/_internal/libraries.dart file
  * for system library information 
  * 
  * library information is in the format 
@@ skipping 100 matching lines @@
           }
           if (arg instanceof DartNamedExpression){
             String name = ((DartNamedExpression) arg).getName().getName();
             DartExpression expression = ((DartNamedExpression) arg).getExpression();
             if (name.equals(CATEGORY)){
               library.setCategory(((DartStringLiteral) expression).getValue());
             } else if (name.equals(IMPLEMENTATION)){
               library.setImplementation(((DartBooleanLiteral)expression).getValue());
             } else if (name.equals(DOCUMENTED)){
               library.setDocumented(((DartBooleanLiteral)expression).getValue());
+            } else if (name.equals(PATCH_PATH)) {
+              String path = ((DartStringLiteral) expression).getValue();
+              URI uri = sdkLibPath.getAbsoluteFile().toURI().resolve(URI.create(path));
+              patchPaths.add(uri);
             } else if (name.equals(PLATFORMS)){
               if (expression instanceof DartIdentifier){
                 String identifier = ((DartIdentifier)expression).getName();
                 if (identifier.equals("VM_PLATFORM")) {
                   library.setPlatforms(VM_PLATFORM);
                 } else {
                   library.setPlatforms(DART2JS_PLATFORM);
                 }
               }
             }
           } 
         }
         librariesMap.put(keyString,library);
       }
       return null;
     }   
     
   }
   
  
   public static final String LIBRARIES_FILE = "libraries.dart";
   public static final String INTERNAL_DIR = "_internal";
   
   private static final String IMPLEMENTATION = "implementation";
   private static final String DOCUMENTED = "documented";
   private static final String CATEGORY = "category";
+  private static final String PATCH_PATH = "dart2jsPatchPath";
   private static final String PLATFORMS = "platforms";
   
+  
   private static final int DART2JS_PLATFORM = 1;
   private static final int VM_PLATFORM = 2;
   
   private final File sdkLibPath;
   private final Map<String, DartLibrary> librariesMap = new HashMap<String, DartLibrary>();
-  
+  private final List<URI> patchPaths = new ArrayList<URI>();
   
   public SystemLibrariesReader(File sdkLibPath) {
     this.sdkLibPath =sdkLibPath;
     loadLibraryInfo();
   }
   
   public Map<String, DartLibrary> getLibrariesMap() {
     return librariesMap;
   }
   
+  public List<URI> getPatchPaths() {
+    return patchPaths;
+  }
+  
   private void loadLibraryInfo(){
     File librariesFile = getLibrariesFile();
     
     DartUnit unit = getDartUnit(librariesFile);
     
     List<DartNode> nodes = unit.getTopLevelNodes();
     for (DartNode node : nodes){
       if (node instanceof DartFieldDefinition){
         node.accept(new LibrariesFileAstVistor());
       }
@@ skipping 39 matching lines @@
   private File getLibrariesFile() {
     File file = new File(new File(sdkLibPath, INTERNAL_DIR), LIBRARIES_FILE);
     if (!file.exists()) {
       throw new InternalCompilerException("Failed to find " + file.toString()
                                           + ".  Is dart-sdk path correct?");
     }
     return file;
   }  
   
 }