common: Annotate Integer.toString()

All variants of Integer.toString() return a new, real String.
It can be marked @NonNull.

Change-Id: I15633360b831087f7216d00588fec09f0dfcfdd0
Signed-off-by: Matthew Khouzam <matthew.khouzam@ericsson.com>
Signed-off-by: Alexandre Montplaisir <alexmonthy@efficios.com>
Reviewed-on: https://git.eclipse.org/r/66209
Reviewed-by: Hudson CI
Reviewed-by: Patrick Tasse <patrick.tasse@gmail.com>
Tested-by: Patrick Tasse <patrick.tasse@gmail.com>

diff --git a/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea b/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea
new file mode 100644 (file)
index 0000000..8780448
--- /dev/null
+++ b/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea
@@ -0,0 +1,10 @@
+class java/lang/Integer
+toString
+ ()Ljava/lang/String;
+ ()L1java/lang/String;
+toString
+ (I)Ljava/lang/String;
+ (I)L1java/lang/String;
+toString
+ (II)Ljava/lang/String;
+ (II)L1java/lang/String;