Top Description Constructors Methods

org.postgresql.util.internal

public Class Nullness

Class Inheritance

extends Object

java.lang.Object
org.postgresql.util.internal.Nullness

Annotations

@SuppressWarnings:cast.unsafe, NullableProblems, contracts.postcondition

Imports

org.checkerframework.checker.nullness.qual.EnsuresNonNull, .NonNull, .Nullable, org.checkerframework.dataflow.qual.Pure

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

Access	Constructor and Description
public	Nullness()

Method Summary

Modifier and Type	Method and Description
public static <T extends @Nullable Object> @NonNull T	castNonNull(@Nullable T ref)
public static <T extends @Nullable Object> @NonNull T	castNonNull(@Nullable T ref, String message)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Constructor Detail

Nullness	back to summary
public Nullness()

Method Detail

castNonNull	back to summary
public static <T extends @Nullable Object> @NonNull T castNonNull(@Nullable T ref) Annotations @Pure @EnsuresNonNull:#1

castNonNull	back to summary
public static <T extends @Nullable Object> @NonNull T castNonNull(@Nullable T ref, String message) Annotations @Pure @EnsuresNonNull:#1