The Path.getExtension API was added by JDK-8057113 and integrated in JDK 20. However, additional ideas have arisen to modify its API; see JDK-8297814. As this change is coming at the very end of JDK 20 development, it's better to remove the new method from JDK 20 and re-add it in JDK 21.
- csr for
-
JDK-8298305 (fs) temporarily remove Path.getExtension
-
- Closed
-
- relates to
-
JDK-8057113 (fs) Path should have a method to obtain the filename extension
-
- Resolved
-
-
JDK-8297814 (fs) Re-visit Path.getExtension return value
-
- Closed
-
-
JDK-8298318 (fs) APIs for handling filename extensions
-
- Open
-
(1 links to)