common: Annotate ByteBuffer.array()

to make it return a "byte @NonNull []", which means that
the array reference cannot be null.

It returns the buffer's internal array, and the implementation
first checks if it is null, and throws a
UnsupportedOperationException if it is.

Change-Id: I91d8a90d11dbe30ba0895103fadba78ed4b35ecf
Signed-off-by: Alexandre Montplaisir <alexmonthy@efficios.com>
Reviewed-on: https://git.eclipse.org/r/70336
Reviewed-by: Hudson CI
Reviewed-by: Matthew Khouzam <matthew.khouzam@ericsson.com>

diff --git a/common/org.eclipse.tracecompass.common.core/annotations/java/nio/ByteBuffer.eea b/common/org.eclipse.tracecompass.common.core/annotations/java/nio/ByteBuffer.eea
index c25f5383fa2821df7dad7c4cd7928bf859000a34..7c796dc977e8803e990bbff6c1d4790ab4a821f7 100644 (file)
--- a/common/org.eclipse.tracecompass.common.core/annotations/java/nio/ByteBuffer.eea
+++ b/common/org.eclipse.tracecompass.common.core/annotations/java/nio/ByteBuffer.eea
@@ -5,6 +5,9 @@ allocate
 allocateDirect
  (I)Ljava/nio/ByteBuffer;
  (I)L1java/nio/ByteBuffer;
+array
+ ()[B
+ ()[1B
 wrap
  ([B)Ljava/nio/ByteBuffer;
  ([B)L1java/nio/ByteBuffer;