common: Annotate Integer.toString()
authorMatthew Khouzam <matthew.khouzam@ericsson.com>
Tue, 9 Feb 2016 15:47:59 +0000 (10:47 -0500)
committerMatthew Khouzam <matthew.khouzam@ericsson.com>
Wed, 24 Feb 2016 20:33:53 +0000 (15:33 -0500)
commit151d3d05f4a3e5817c60e364fee01786522dac38
tree56ac29ad35dfbd6432ad18f8b2911d5f24da86e2
parenta049a5e7b74c4d8f9b52d51616f9efd7e62ab24e
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>
common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea [new file with mode: 0644]
This page took 0.030786 seconds and 5 git commands to generate.