Annotate Arrays.stream() methods
authorAlexandre Montplaisir <alexmonthy@voxpopuli.im>
Sat, 31 Oct 2015 19:07:19 +0000 (15:07 -0400)
committerAlexandre Montplaisir <alexmonthy@voxpopuli.im>
Mon, 23 Nov 2015 21:14:50 +0000 (16:14 -0500)
commit6b0d053670c8299ff18302c60e6f561b0aef18d5
treefe6019edc956818666e6c7ddd2e292c274016a03
parentde1b8fd4a52c059c753d92b8b6be73115661da7a
Annotate Arrays.stream() methods

They all return a real, possibly empty, Stream which
is effectively @NonNull.

Change-Id: I3602bc1b879dd88e9ab05ff1d734fcc88ff45ae5
Signed-off-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Reviewed-on: https://git.eclipse.org/r/59426
Reviewed-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>
Tested-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>
Reviewed-by: Hudson CI
common/org.eclipse.tracecompass.common.core/annotations/java/util/Arrays.eea
This page took 0.027622 seconds and 5 git commands to generate.