Eclipse Community Forums: Java Development Tools (JDT) » public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] val

Home » Language IDEs » Java Development Tools (JDT) » public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] val

public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] val [message #1748308]

Mon, 21 November 2016 20:21

Eclipse User

How to implement a function that converts (after checks) a non-null array with all elements non-null

	public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] value) {

Re: public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] [message #1748316 is a reply to message #1748308]

Tue, 22 November 2016 02:32

Eclipse User

Now i have it like this, using a cast with suppressed warning.
I thougth it might be possible without this.

	
public static <T> T[] arrayIsNonNull( @Nullable T @Nullable[] value) {
	@Nullable T[] notNull = Assert.isNotNull(value);
	for( int i = 0; i < notNull.length; i++ ){
		Assert.isNotNull(notNull[i]);
	}
	@SuppressWarnings("null")
	T[] res = (@NonNull T @NonNull [])notNull;
	return res;
}

Re: public static <T> @NonNull T @NonNull [] arrayElementsAreNonNull( @Nullable T @Nullable[] [message #1748409 is a reply to message #1748316]

Tue, 22 November 2016 15:42

Eclipse User

Your approach looks good, and I don't see a better alternative, because flow analysis cannot see that all array cells have been checked. After manual checks, a cast is the correct idiom for telling the compiler.

To be perfectly explicit, you may want to specify the method return type as "@NonNull T @NonNull[]", too.

BTW, feel free to open an RFE suggesting this method as an addition to our utility class org.eclipse.jdt.annotation.Checks, which already has a number of similar methods.

Stephan

Previous Topic:	HELP
Next Topic:	What formatter option can I change to stop my arrays being formatted onto one line

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jun 01 10:21:12 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter