Package com.intellij.codeInspection.dataFlow

Class StandardInstructionVisitor

java.lang.Object

com.intellij.codeInspection.dataFlow.InstructionVisitor

com.intellij.codeInspection.dataFlow.StandardInstructionVisitor

Direct Known Subclasses:

SideEffectVisitor

public class StandardInstructionVisitor
extends InstructionVisitor

Constructor Summary

Constructors

Modifier	Constructor and Description
	StandardInstructionVisitor()
protected	StandardInstructionVisitor(boolean stopAnalysisOnNpe)

Method Summary

Modifier and Type	Method and Description
protected void	beforeMethodCall(PsiExpression expression, com.intellij.codeInspection.dataFlow.DfaCallArguments arguments, DfaMemoryState memState)
protected boolean	checkNotNullable(DfaMemoryState state, DfaValue value, NullabilityProblemKind.NullabilityProblem<?> problem)
protected void	onTypeCast(PsiTypeCastExpression castExpression, DfaMemoryState state, boolean castPossible)
protected com.intellij.codeInspection.dataFlow.DfaCallArguments	popCall(MethodCallInstruction instruction, DfaValueFactory factory, DfaMemoryState memState)
protected void	processArrayAccess(PsiArrayAccessExpression expression, boolean alwaysOutOfBounds)
protected void	processArrayStoreTypeMismatch(PsiAssignmentExpression assignmentExpression, PsiType fromType, PsiType toType)
protected void	reportMutabilityViolation(boolean receiver, PsiElement anchor)
DfaInstructionState[]	visitArrayAccess(ArrayAccessInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitAssign(AssignInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitBinop(BinopInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitCheckNotNull(CheckNotNullInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitConvertPrimitive(PrimitiveConversionInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitEscapeInstruction(EscapeInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitInstanceof(InstanceofInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitMethodCall(MethodCallInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitMethodReference(MethodReferenceInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitNot(NotInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitPush(ExpressionPushingInstruction<?> instruction, DataFlowRunner runner, DfaMemoryState memState, DfaValue value)
DfaInstructionState[]	visitTypeCast(TypeCastInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)

Methods inherited from class com.intellij.codeInspection.dataFlow.InstructionVisitor

beforeConditionalJump, beforeExpressionPush, beforeMethodReferenceResultPush, checkReturnValue, flushArrayOnUnknownAssignment, nextInstruction, visitBox, visitClosureInstruction, visitConditionalGoto, visitControlTransfer, visitEndOfInitializer, visitFlushFields, visitFlushVariable, visitObjectOfInstruction, visitResultOf, visitUnwrapField

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardInstructionVisitor

public StandardInstructionVisitor()

StandardInstructionVisitor

protected StandardInstructionVisitor(boolean stopAnalysisOnNpe)

Method Detail

visitAssign

public DfaInstructionState[] visitAssign(AssignInstruction instruction,
                                         DataFlowRunner runner,
                                         DfaMemoryState memState)

Overrides:

visitAssign in class InstructionVisitor

processArrayStoreTypeMismatch

protected void processArrayStoreTypeMismatch(PsiAssignmentExpression assignmentExpression,
                                             PsiType fromType,
                                             PsiType toType)

visitEscapeInstruction

public DfaInstructionState[] visitEscapeInstruction(EscapeInstruction instruction,
                                                    DataFlowRunner runner,
                                                    DfaMemoryState state)

Overrides:

visitEscapeInstruction in class InstructionVisitor

visitArrayAccess

public DfaInstructionState[] visitArrayAccess(ArrayAccessInstruction instruction,
                                              DataFlowRunner runner,
                                              DfaMemoryState memState)

Overrides:

visitArrayAccess in class InstructionVisitor

processArrayAccess

protected void processArrayAccess(PsiArrayAccessExpression expression,
                                  boolean alwaysOutOfBounds)

visitMethodReference

public DfaInstructionState[] visitMethodReference(MethodReferenceInstruction instruction,
                                                  DataFlowRunner runner,
                                                  DfaMemoryState memState)

Overrides:

visitMethodReference in class InstructionVisitor

visitTypeCast

public DfaInstructionState[] visitTypeCast(TypeCastInstruction instruction,
                                           DataFlowRunner runner,
                                           DfaMemoryState memState)

Overrides:

visitTypeCast in class InstructionVisitor

onTypeCast

protected void onTypeCast(PsiTypeCastExpression castExpression,
                          DfaMemoryState state,
                          boolean castPossible)

beforeMethodCall

protected void beforeMethodCall(PsiExpression expression,
                                com.intellij.codeInspection.dataFlow.DfaCallArguments arguments,
                                DfaMemoryState memState)

visitMethodCall

public DfaInstructionState[] visitMethodCall(MethodCallInstruction instruction,
                                             DataFlowRunner runner,
                                             DfaMemoryState memState)

Overrides:

visitMethodCall in class InstructionVisitor

popCall

protected com.intellij.codeInspection.dataFlow.DfaCallArguments popCall(MethodCallInstruction instruction,
                                                                        DfaValueFactory factory,
                                                                        DfaMemoryState memState)

reportMutabilityViolation

protected void reportMutabilityViolation(boolean receiver,
                                         PsiElement anchor)

visitPush

public DfaInstructionState[] visitPush(ExpressionPushingInstruction<?> instruction,
                                       DataFlowRunner runner,
                                       DfaMemoryState memState,
                                       DfaValue value)

Overrides:

visitPush in class InstructionVisitor

checkNotNullable

protected boolean checkNotNullable(DfaMemoryState state,
                                   DfaValue value,
                                   NullabilityProblemKind.NullabilityProblem<?> problem)

visitConvertPrimitive

public DfaInstructionState[] visitConvertPrimitive(PrimitiveConversionInstruction instruction,
                                                   DataFlowRunner runner,
                                                   DfaMemoryState state)

Overrides:

visitConvertPrimitive in class InstructionVisitor

visitCheckNotNull

public DfaInstructionState[] visitCheckNotNull(CheckNotNullInstruction instruction,
                                               DataFlowRunner runner,
                                               DfaMemoryState memState)

Overrides:

visitCheckNotNull in class InstructionVisitor

visitNot

public DfaInstructionState[] visitNot(NotInstruction instruction,
                                      DataFlowRunner runner,
                                      DfaMemoryState memState)

Overrides:

visitNot in class InstructionVisitor

visitBinop

public DfaInstructionState[] visitBinop(BinopInstruction instruction,
                                        DataFlowRunner runner,
                                        DfaMemoryState memState)

Overrides:

visitBinop in class InstructionVisitor

visitInstanceof

public DfaInstructionState[] visitInstanceof(InstanceofInstruction instruction,
                                             DataFlowRunner runner,
                                             DfaMemoryState memState)

Overrides:

visitInstanceof in class InstructionVisitor