8232271: java.io.File.get*Space() should be aligned to updated FileStore analog methods

[Brian Burkhalter]

This topic is now moved to the thread [1] which corresponds to the pre-existing bug ID I overlooked [2].

Brian

[1] http://mail.openjdk.java.net/pipermail/core-libs-dev/2019-November/063243.html
[2] https://bugs.openjdk.java.net/browse/JDK-8179320

> On Oct 30, 2019, at 8:20 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote:
> 
> Ping !
> 
>> Begin forwarded message:
>> 
>> From: Brian Burkhalter <brian.burkhalter at oracle.com <mailto:brian.burkhalter at oracle.com>>
>> Subject: 8232271: java.io.File.get*Space() should be aligned to updated FileStore analog methods
>> Date: October 17, 2019 at 10:35:46 AM PDT
>> To: Core-Libs-Dev <core-libs-dev at openjdk.java.net <mailto:core-libs-dev at openjdk.java.net>>
>> 
>> For issue [1], please review the patch [2]. This change aligns the specifications of the File.get*Space() methods with their equivalents in java.nio.file.FileStore. This issue is related to [3] which is discussed in this thread [4].
>> 
>> Naturally a CSR would eventually be required.
>> 
>> Thanks,
>> 
>> Brian
>> 
>> [1] https://bugs.openjdk.java.net/browse/JDK-8232271 <https://bugs.openjdk.java.net/browse/JDK-8232271>
>> [2] http://cr.openjdk.java.net/~bpb/8232271/webrev.00/ <http://cr.openjdk.java.net/~bpb/8232271/webrev.00/>
>> [3] https://bugs.openjdk.java.net/browse/JDK-8162520 <https://bugs.openjdk.java.net/browse/JDK-8162520>
>> [4] http://mail.openjdk.java.net/pipermail/nio-dev/2019-October/006644.html <http://mail.openjdk.java.net/pipermail/nio-dev/2019-October/006644.html>