Module com.io7m.jnull.core

Package com.io7m.jnull

Class NullCheck

java.lang.Object

com.io7m.jnull.NullCheck

public final class NullCheck
extends java.lang.Object

Functions for enforcing non-nullable references at run time.

The functions are intended for use in the manner of assertions. That is, the program should behave identically if all of the checks are removed. The functions raise NullCheckException to indicate that a null reference has been explicitly forbidden (rather than the accidental deference implied by NullPointerException). Exceptions of this type are not intended to be caught and handled; they indicate program bugs.

See Also:

NullCheckException

Method Summary

Modifier and Type	Method	Description
static <T> T	notNull(T x)	Deprecated. Use notNull(Object, String)
static <T> T	notNull(T x, java.lang.String message)	Check that x is not null, raising NullCheckException iff x == null.
static <T,U extends java.util.Collection<T>> U	notNullAll(U x)	Deprecated. Use notNullAll(Collection, String)
static <T,U extends java.util.Collection<T>> U	notNullAll(U x, java.lang.String message)	Check that x is not null, and that all elements of x are not null, raising NullCheckException iff x == null.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

notNull

@Deprecated
@NonNull
public static <T> T notNull(@Nullable
                            T x)

Deprecated. Use notNull(Object, String)

Check that x is not null, raising NullCheckException iff x == null.

Type Parameters:

T - The type of values

Parameters:

x - An arbitrary value

Returns:

x

notNull

@NonNull
public static <T> T notNull(@Nullable
                            T x,
                            @NonNull
                            java.lang.String message)

Check that x is not null, raising NullCheckException iff x == null.

Type Parameters:

T - The type of values

Parameters:

x - An arbitrary value

message - A descriptive message describing the value

Returns:

x

notNullAll

@Deprecated
@NonNull
public static <T,U extends java.util.Collection<T>> U notNullAll(@Nullable
                                                                 U x)

Deprecated. Use notNullAll(Collection, String)

Check that x is not null, and that all elements of x are not null, raising NullCheckException iff x == null.

Type Parameters:

T - The type of values

U - The type of collections of T

Parameters:

x - An arbitrary value

Returns:

x

notNullAll

@NonNull
public static <T,U extends java.util.Collection<T>> U notNullAll(@Nullable
                                                                 U x,
                                                                 @NonNull
                                                                 java.lang.String message)

Check that x is not null, and that all elements of x are not null, raising NullCheckException iff x == null.

Type Parameters:

T - The type of values

U - The type of collections of T

Parameters:

x - An arbitrary value

message - A descriptive message describing the value

Returns:

x