Attachment 22914 Details for Bug 98378 – Patch to fix this issue

[patch] Patch to fix this issue

v00.txt (text/plain), 1.90 KB, created by Frederic Fusier

on 2005-06-13 08:42:15 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Frederic Fusier

Created: 2005-06-13 08:42:15 EDT

Size: 1.90 KB

patch

obsolete

>Index: search/org/eclipse/jdt/internal/core/search/HierarchyScope.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/HierarchyScope.java,v
>retrieving revision 1.37
>diff -u -r1.37 HierarchyScope.java
>--- search/org/eclipse/jdt/internal/core/search/HierarchyScope.java	23 Feb 2005 02:47:55 -0000	1.37
>+++ search/org/eclipse/jdt/internal/core/search/HierarchyScope.java	13 Jun 2005 12:40:57 -0000
>@@ -17,12 +17,10 @@
> 
> import org.eclipse.core.resources.*;
> import org.eclipse.core.runtime.IPath;
>+import org.eclipse.core.runtime.Path;
> import org.eclipse.jdt.core.*;
> import org.eclipse.jdt.internal.compiler.util.SuffixConstants;
> import org.eclipse.jdt.internal.core.*;
>-import org.eclipse.jdt.internal.core.JarPackageFragmentRoot;
>-import org.eclipse.jdt.internal.core.JavaElement;
>-import org.eclipse.jdt.internal.core.JavaModel;
> import org.eclipse.jdt.internal.core.hierarchy.TypeHierarchy;
> 
> /**
>@@ -73,13 +71,15 @@
> 		if (root.isArchive()) {
> 			IPath jarPath = root.getPath();
> 			Object target = JavaModel.getTarget(ResourcesPlugin.getWorkspace().getRoot(), jarPath, true);
>-			String zipFileName;
>+			String zipFileName = null;
> 			if (target instanceof IFile) {
> 				// internal jar
> 				zipFileName = jarPath.toString();
> 			} else if (target instanceof File) {
> 				// external jar
> 				zipFileName = ((File)target).getPath();
>+				// make file name system independent (bug 98378)
>+				zipFileName = new Path(zipFileName).toString();
> 			} else {
> 				return; // unknown target
> 			}
>@@ -123,6 +123,8 @@
> 				} else if (target instanceof File) {
> 					// external jar
> 					zipFileName = ((File)target).getPath();
>+					// make file name system independent (bug 98378)
>+					zipFileName = new Path(zipFileName).toString();
> 				} else {
> 					continue; // unknown target
> 				}

Actions: View | Diff

Attachments on bug 98378: 22914 | 22916 | 23039 | 23040