8237514: Spec Clarification - ByteBuffer::alignmentOffset Spec

[Paul Sandoz]

Hi,

Looks good.  I hope we can lay this one to rest now :-)

Paul.

> On Jan 29, 2020, at 10:22 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote:
> 
> This patch [1] is proposed for [2] which follows from the fix for [3] concerning the ByteBufffer.alignmentOffset() specification. In particular this adds a precondition, value <= index, on the first identity and attempts to improve the verbiage of the specification in general. Some code is added to the test to verify the identities.
> 
> Thanks,
> 
> Brian
> 
> [1] http://cr.openjdk.java.net/~bpb/8237514/webrev.00/
> [2] https://bugs.openjdk.java.net/browse/JDK-8237514
> [3] https://bugs.openjdk.java.net/browse/JDK-8230665