-
Enhancement
-
Resolution: Fixed
-
P3
-
None
-
b22
For some reason Path.getFileName() returns a Path, not a String. This makes it clumsy to see if the filename has a particular extension, since you need an ugly .toString() to get the string of the Path before you can call .endsWith.
It would be nicer if there was a recognition that manipulating extensions was a common operations on many path objects, and if there was API for that.
It would be nicer if there was a recognition that manipulating extensions was a common operations on many path objects, and if there was API for that.
- csr for
-
JDK-8260738 (fs) Path should have a method to obtain the filename extension
-
- Closed
-
- duplicates
-
JDK-4224436 File.{check,get,has}Extension() to access filename extension
-
- Closed
-
- relates to
-
JDK-8297814 (fs) Re-visit Path.getExtension return value
-
- Closed
-
-
JDK-8298318 (fs) APIs for handling filename extensions
-
- Open
-
-
JDK-8298303 (fs) temporarily remove Path.getExtension
-
- Resolved
-
-
JDK-4224436 File.{check,get,has}Extension() to access filename extension
-
- Closed
-
(1 relates to, 4 links to)