src/share/classes/com/sun/tools/javac/file/Paths.java

*** 25,41 ****
--- 25,44 ----
  
  package com.sun.tools.javac.file;
  
  import java.io.File;
  import java.io.IOException;
+ import java.net.MalformedURLException;
+ import java.net.URL;
  import java.util.HashMap;
  import java.util.HashSet;
  import java.util.Map;
  import java.util.Set;
  import java.util.Collection;
  import java.util.Collections;
  import java.util.LinkedHashSet;
+ import java.util.StringTokenizer;
  import java.util.zip.ZipFile;
  import javax.tools.JavaFileManager.Location;
  
  import com.sun.tools.javac.code.Lint;
  import com.sun.tools.javac.util.Context;
*** 447,452 ****
--- 450,511 ----
      private boolean isArchive(File file) {
          String n = file.getName().toLowerCase();
          return fsInfo.isFile(file)
              && (n.endsWith(".jar") || n.endsWith(".zip"));
      }
+ 
+     /**
+      * Utility method for converting a search path string to an array
+      * of directory and JAR file URLs.
+      *
+      * Note that this method is called by apt and the DocletInvoker.
+      *
+      * @param path the search path string
+      * @return the resulting array of directory and JAR file URLs
+      */
+     public static URL[] pathToURLs(String path) {
+         StringTokenizer st = new StringTokenizer(path, File.pathSeparator);
+         URL[] urls = new URL[st.countTokens()];
+         int count = 0;
+         while (st.hasMoreTokens()) {
+             URL url = fileToURL(new File(st.nextToken()));
+             if (url != null) {
+                 urls[count++] = url;
+             }
+         }
+         if (urls.length != count) {
+             URL[] tmp = new URL[count];
+             System.arraycopy(urls, 0, tmp, 0, count);
+             urls = tmp;
+         }
+         return urls;
+     }
+ 
+     /**
+      * Returns the directory or JAR file URL corresponding to the specified
+      * local file name.
+      *
+      * @param file the File object
+      * @return the resulting directory or JAR file URL, or null if unknown
+      */
+     private static URL fileToURL(File file) {
+         String name;
+         try {
+             name = file.getCanonicalPath();
+         } catch (IOException e) {
+             name = file.getAbsolutePath();
+         }
+         name = name.replace(File.separatorChar, '/');
+         if (!name.startsWith("/")) {
+             name = "/" + name;
+         }
+         // If the file does not exist, then assume that it's a directory
+         if (!file.isFile()) {
+             name = name + "/";
+         }
+         try {
+             return new URL("file", "", name);
+         } catch (MalformedURLException e) {
+             throw new IllegalArgumentException(file.toString());
+         }
+     }
  }