Package com.intellij.codeInspection.dataFlow

Class InstructionVisitor

java.lang.Object

com.intellij.codeInspection.dataFlow.InstructionVisitor

Direct Known Subclasses:

StandardInstructionVisitor

public abstract class InstructionVisitor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
InstructionVisitor()

Method Summary

Modifier and Type	Method and Description
protected void	beforeConditionalJump(ConditionalGotoInstruction instruction, boolean isTrueBranch)
protected void	beforeExpressionPush(DfaValue value, PsiExpression expression, TextRange range, DfaMemoryState state) Called before a PsiExpression result is being pushed to the memory state stack during symbolic interpretation.
protected void	beforeMethodReferenceResultPush(DfaValue value, PsiMethodReferenceExpression methodRef, DfaMemoryState state) Called before a result of method reference execution is being pushed to the memory state stack during symbolic interpretation.
protected void	checkReturnValue(DfaValue value, PsiExpression expression, PsiParameterListOwner context, DfaMemoryState state) Called for every expression which corresponds to the method or lambda result.
protected void	flushArrayOnUnknownAssignment(AssignInstruction instruction, DfaValueFactory factory, DfaValue dest, DfaMemoryState memState)
protected static DfaInstructionState[]	nextInstruction(Instruction instruction, DataFlowRunner runner, DfaMemoryState memState)
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[]	visitBox(BoxingInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitCheckNotNull(CheckNotNullInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitClosureInstruction(ClosureInstruction instruction, DataFlowRunner runner, DfaMemoryState before)
DfaInstructionState[]	visitConditionalGoto(ConditionalGotoInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState []	visitControlTransfer(ControlTransferInstruction controlTransferInstruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitConvertPrimitive(PrimitiveConversionInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitEndOfInitializer(EndOfInitializerInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitEscapeInstruction(EscapeInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitFlushFields(FlushFieldsInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitFlushVariable(FlushVariableInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
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[]	visitObjectOfInstruction(ObjectOfInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitPush(ExpressionPushingInstruction<?> instruction, DataFlowRunner runner, DfaMemoryState memState, DfaValue value)
DfaInstructionState[]	visitResultOf(ResultOfInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitTypeCast(TypeCastInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitUnwrapField(UnwrapSpecialFieldInstruction instruction, DataFlowRunner runner, DfaMemoryState state)

Methods inherited from class java.lang.Object

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

Constructor Detail

InstructionVisitor

public InstructionVisitor()

Method Detail

beforeExpressionPush

protected void beforeExpressionPush(DfaValue value,
                                    PsiExpression expression,
                                    TextRange range,
                                    DfaMemoryState state)

Called before a PsiExpression result is being pushed to the memory state stack during symbolic interpretation. The result of single expression can be pushed many times to the different memory states.

Parameters:

value - a value being pushed

expression - a physical PsiExpression which evaluates to given value.

range - if not-null, specifies a part of expression which corresponds to the value (like "a ^ b" range in "a ^ b ^ c" expression).

state - a memory state where expression is about to be pushed

beforeMethodReferenceResultPush

protected void beforeMethodReferenceResultPush(DfaValue value,
                                               PsiMethodReferenceExpression methodRef,
                                               DfaMemoryState state)

Called before a result of method reference execution is being pushed to the memory state stack during symbolic interpretation. It's not guaranteed that this method is called for every reachable non-void method reference. However if it's called for some method reference, then all possible values will be passed here.

Parameters:

value - result of method reference execution

methodRef - a method reference

state - a memory state

checkReturnValue

protected void checkReturnValue(DfaValue value,
                                PsiExpression expression,
                                PsiParameterListOwner context,
                                DfaMemoryState state)

Called for every expression which corresponds to the method or lambda result.

Parameters:

value - expression value

expression - an expression which produces given value. For conditional return like return cond ? ifTrue : ifFalse; this method will be called for ifTrue and ifFalse separately.

context - a method or lambda which result is being returned

state - a memory state

beforeConditionalJump

protected void beforeConditionalJump(ConditionalGotoInstruction instruction,
                                     boolean isTrueBranch)

visitAssign

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

visitBox

public DfaInstructionState[] visitBox(BoxingInstruction instruction,
                                      DataFlowRunner runner,
                                      DfaMemoryState state)

visitUnwrapField

public DfaInstructionState[] visitUnwrapField(UnwrapSpecialFieldInstruction instruction,
                                              DataFlowRunner runner,
                                              DfaMemoryState state)

visitConvertPrimitive

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

flushArrayOnUnknownAssignment

protected void flushArrayOnUnknownAssignment(AssignInstruction instruction,
                                             DfaValueFactory factory,
                                             DfaValue dest,
                                             DfaMemoryState memState)

visitCheckNotNull

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

visitControlTransfer

public DfaInstructionState [] visitControlTransfer(ControlTransferInstruction controlTransferInstruction,
                                                   DataFlowRunner runner,
                                                   DfaMemoryState state)

visitEndOfInitializer

public DfaInstructionState[] visitEndOfInitializer(EndOfInitializerInstruction instruction,
                                                   DataFlowRunner runner,
                                                   DfaMemoryState state)

visitEscapeInstruction

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

visitResultOf

public DfaInstructionState[] visitResultOf(ResultOfInstruction instruction,
                                           DataFlowRunner runner,
                                           DfaMemoryState state)

nextInstruction

protected static DfaInstructionState[] nextInstruction(Instruction instruction,
                                                       DataFlowRunner runner,
                                                       DfaMemoryState memState)

visitInstanceof

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

visitBinop

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

visitObjectOfInstruction

public DfaInstructionState[] visitObjectOfInstruction(ObjectOfInstruction instruction,
                                                      DataFlowRunner runner,
                                                      DfaMemoryState state)

visitConditionalGoto

public DfaInstructionState[] visitConditionalGoto(ConditionalGotoInstruction instruction,
                                                  DataFlowRunner runner,
                                                  DfaMemoryState memState)

visitMethodReference

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

visitFlushVariable

public DfaInstructionState[] visitFlushVariable(FlushVariableInstruction instruction,
                                                DataFlowRunner runner,
                                                DfaMemoryState memState)

visitFlushFields

public DfaInstructionState[] visitFlushFields(FlushFieldsInstruction instruction,
                                              DataFlowRunner runner,
                                              DfaMemoryState memState)

visitMethodCall

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

visitNot

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

visitPush

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

visitArrayAccess

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

visitTypeCast

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

visitClosureInstruction

public DfaInstructionState[] visitClosureInstruction(ClosureInstruction instruction,
                                                     DataFlowRunner runner,
                                                     DfaMemoryState before)