eclipse-jdt / eclipse.jdt.core

Eclipse Public License 2.0
142 stars 112 forks source link

Don't use toOSString in JavaSearchScope.convertInternalToExternalPath() #2440

Closed iloveeclipse closed 1 month ago

iloveeclipse commented 1 month ago

The usage of IPath.toString() and toOSString() seem to follow some surprising rules in JavaSearchScope.

In the case of convertInternalToExternalPath() we are supposed to use paths containing forward slash as that is what used in JavaSearchScope.getPath().

Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2439