common: Add external annotations to NavigableSet

The following methods in NavigableSet:

ceiling()
floor()
higher()
lower()

can all return null if there is no corresponding element in the set,
independently of the container type declaration. They should be
marked @Nullable.

Change-Id: I66b9cd5ba8b6eafc69032fb0ae27a9d1ce9e464c
Signed-off-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>
Signed-off-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Reviewed-on: https://git.eclipse.org/r/59296
Reviewed-by: Hudson CI

diff --git a/common/org.eclipse.tracecompass.common.core/annotations/java/util/NavigableSet.eea b/common/org.eclipse.tracecompass.common.core/annotations/java/util/NavigableSet.eea
new file mode 100644 (file)
index 0000000..84cabc4
--- /dev/null
+++ b/common/org.eclipse.tracecompass.common.core/annotations/java/util/NavigableSet.eea
@@ -0,0 +1,13 @@
+class java/util/NavigableSet
+ceiling
+ (TE;)TE;
+ (TE;)T0E;
+floor
+ (TE;)TE;
+ (TE;)T0E;
+higher
+ (TE;)TE;
+ (TE;)T0E;
+lower
+ (TE;)TE;
+ (TE;)T0E;