Integrated: 8325152: Clarify specification of java.io.RandomAccessFile.setLength

Tue Feb 6 19:37:57 UTC 2024

On Fri, 2 Feb 2024 00:38:51 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Modify the specification verbiage of `java.io.RandomAccessFile.setLength` to account for the effect of the method on the file offset as returned by `getFilePointer`.

This pull request has now been integrated.

Changeset: 4b1e367e
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4b1e367edabb3c12359abc2d7815559b9ece9fe3
Stats:     20 lines in 1 file changed: 9 ins; 2 del; 9 mod

8325152: Clarify specification of java.io.RandomAccessFile.setLength

Reviewed-by: alanb

-------------

PR: https://git.openjdk.org/jdk/pull/17679