Package com.intellij.codeInspection.dataFlow

Class NullabilityProblemKind<T extends PsiElement>

java.lang.Object

com.intellij.codeInspection.dataFlow.NullabilityProblemKind<T>

Type Parameters:

T - a type of anchor element which could be associated with given nullability problem kind

public class NullabilityProblemKind<T extends PsiElement>
extends java.lang.Object

Represents a kind of nullability problem

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	NullabilityProblemKind.NullabilityProblem<T extends PsiElement> Represents a concrete nullability problem on PSI which consists of PSI element (anchor) and NullabilityProblemKind.

Field Summary

Fields

Modifier and Type	Field and Description
static NullabilityProblemKind<PsiArrayAccessExpression>	arrayAccessNPE
static NullabilityProblemKind<PsiExpression>	assigningToNonAnnotatedField
static NullabilityProblemKind<PsiExpression>	assigningToNotNull
static NullabilityProblemKind<PsiExpression>	assumeNotNull
static NullabilityProblemKind<PsiMethodReferenceExpression>	callMethodRefNPE
static NullabilityProblemKind<PsiMethodCallExpression>	callNPE
static NullabilityProblemKind<PsiExpression>	fieldAccessNPE
static NullabilityProblemKind<PsiNewExpression>	innerClassNPE
static NullabilityProblemKind<PsiExpression>	noProblem noProblem is not reported and used to override another problem
static NullabilityProblemKind<PsiExpression>	nullableFunctionReturn
static NullabilityProblemKind<PsiExpression>	nullableReturn
static NullabilityProblemKind<PsiMethodReferenceExpression>	passingToNonAnnotatedMethodRefParameter
static NullabilityProblemKind<PsiExpression>	passingToNonAnnotatedParameter
static NullabilityProblemKind<PsiMethodReferenceExpression>	passingToNotNullMethodRefParameter
static NullabilityProblemKind<PsiExpression>	passingToNotNullParameter
static NullabilityProblemKind<PsiExpression>	storingToNotNullArray
static NullabilityProblemKind<PsiElement>	unboxingNullable

Method Summary

Modifier and Type	Method and Description
NullabilityProblemKind.NullabilityProblem<T>	asMyProblem(NullabilityProblemKind.NullabilityProblem<?> problem) Returns the supplied problem with adjusted type parameter or null if supplied problem kind is not this kind
static NullabilityProblemKind.NullabilityProblem<?>	fromContext(PsiExpression expression, java.util.Map<PsiExpression,NullabilityProblemKind<? super PsiExpression>> customNullabilityProblems)
void	ifMyProblem(NullabilityProblemKind.NullabilityProblem<?> problem, java.util.function.Consumer<? super T> consumer) Executes given consumer if the supplied problem has the same kind as this kind
NullabilityProblemKind.NullabilityProblem<T>	problem(T anchor, PsiExpression expression) Creates a new NullabilityProblemKind.NullabilityProblem of this kind using given anchor
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

callNPE

public static final NullabilityProblemKind<PsiMethodCallExpression> callNPE

callMethodRefNPE

public static final NullabilityProblemKind<PsiMethodReferenceExpression> callMethodRefNPE

innerClassNPE

public static final NullabilityProblemKind<PsiNewExpression> innerClassNPE

fieldAccessNPE

public static final NullabilityProblemKind<PsiExpression> fieldAccessNPE

arrayAccessNPE

public static final NullabilityProblemKind<PsiArrayAccessExpression> arrayAccessNPE

unboxingNullable

public static final NullabilityProblemKind<PsiElement> unboxingNullable

assigningToNotNull

public static final NullabilityProblemKind<PsiExpression> assigningToNotNull

assigningToNonAnnotatedField

public static final NullabilityProblemKind<PsiExpression> assigningToNonAnnotatedField

storingToNotNullArray

public static final NullabilityProblemKind<PsiExpression> storingToNotNullArray

nullableReturn

public static final NullabilityProblemKind<PsiExpression> nullableReturn

nullableFunctionReturn

public static final NullabilityProblemKind<PsiExpression> nullableFunctionReturn

passingToNotNullParameter

public static final NullabilityProblemKind<PsiExpression> passingToNotNullParameter

passingToNotNullMethodRefParameter

public static final NullabilityProblemKind<PsiMethodReferenceExpression> passingToNotNullMethodRefParameter

passingToNonAnnotatedParameter

public static final NullabilityProblemKind<PsiExpression> passingToNonAnnotatedParameter

passingToNonAnnotatedMethodRefParameter

public static final NullabilityProblemKind<PsiMethodReferenceExpression> passingToNonAnnotatedMethodRefParameter

assumeNotNull

public static final NullabilityProblemKind<PsiExpression> assumeNotNull

noProblem

public static final NullabilityProblemKind<PsiExpression> noProblem

noProblem is not reported and used to override another problem

See Also:

ControlFlowAnalyzer.addCustomNullabilityProblem(PsiExpression, NullabilityProblemKind), CFGBuilder.pushExpression(PsiExpression, NullabilityProblemKind)

Method Detail

problem

public final NullabilityProblemKind.NullabilityProblem<T> problem(T anchor,
                                                                  PsiExpression expression)

Creates a new NullabilityProblemKind.NullabilityProblem of this kind using given anchor

Parameters:

anchor - anchor to bind the problem to

expression - shortest expression which is actually violates the nullability

Returns:

newly created problem or null if anchor is null

asMyProblem

public final NullabilityProblemKind.NullabilityProblem<T> asMyProblem(NullabilityProblemKind.NullabilityProblem<?> problem)

Returns the supplied problem with adjusted type parameter or null if supplied problem kind is not this kind

Parameters:

problem - problem to check

Returns:

the supplied problem or null

ifMyProblem

public void ifMyProblem(NullabilityProblemKind.NullabilityProblem<?> problem,
                        java.util.function.Consumer<? super T> consumer)

Executes given consumer if the supplied problem has the same kind as this kind

Parameters:

problem - a problem to check

consumer - a consumer to execute. A problem anchor is supplied as the consumer argument.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

fromContext

public static NullabilityProblemKind.NullabilityProblem<?> fromContext(PsiExpression expression,
                                                                       java.util.Map<PsiExpression,NullabilityProblemKind<? super PsiExpression>> customNullabilityProblems)