org.postgresql.util.internal

Class Nullness

java.lang.Object

org.postgresql.util.internal.Nullness

public class Nullness
extends Object

The methods in this class allow to cast nullable reference to a non-nullable one. This is an internal class, and it is not meant to be used as a public API.

Constructor Summary

Constructors

Constructor and Description
Nullness()

Method Summary

Modifier and Type	Method and Description
static <T> T	castNonNull(T ref)
static <T> T	castNonNull(T ref, String message)

Methods inherited from class java.lang.Object

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

Constructor Detail

Nullness

public Nullness()

Method Detail

castNonNull

@Pure
 @EnsuresNonNull(value="#1")
public static <T> T castNonNull(T ref)

castNonNull

@Pure
 @EnsuresNonNull(value="#1")
public static <T> T castNonNull(T ref,
                                                                   String message)