/**
* Returns the existing git repositories for the given file path, following the given traversal
* rule.
*
* @param path expected format /file/{Workspace}/{projectName}[/{path}]
* @return a map of all git repositories found, or <code>null</code> if the provided path format
* doesn't match the expected format.
* @throws CoreException
*/
public static Map<IPath, File> getGitDirs(IPath path, Traverse traverse) throws CoreException {
IPath p = path.removeFirstSegments(1); // remove /file
IFileStore fileStore = NewFileServlet.getFileStore(null, p);
if (fileStore == null) return null;
Map<IPath, File> result = new HashMap<IPath, File>();
File file = fileStore.toLocalFile(EFS.NONE, null);
// jgit can only handle a local file
if (file == null) return result;
switch (traverse) {
case CURRENT:
if (RepositoryCache.FileKey.isGitRepository(file, FS.DETECTED)) {
result.put(new Path(""), file); // $NON-NLS-1$
} else if (RepositoryCache.FileKey.isGitRepository(
new File(file, Constants.DOT_GIT), FS.DETECTED)) {
result.put(new Path(""), new File(file, Constants.DOT_GIT)); // $NON-NLS-1$
}
break;
case GO_UP:
getGitDirsInParents(file, result);
break;
case GO_DOWN:
getGitDirsInChildren(file, p, result);
break;
}
return result;
}
