Package com.intellij.codeInspection.dataFlow

Class SideEffectVisitor

java.lang.Object

com.intellij.codeInspection.dataFlow.InstructionVisitor

com.intellij.codeInspection.dataFlow.StandardInstructionVisitor

com.intellij.codeInspection.dataFlow.SideEffectVisitor

public class SideEffectVisitor
extends StandardInstructionVisitor

A visitor which cancels a dataflow once side effect occurs

See Also:

DataFlowRunner.cancel()

Constructor Summary

Constructors

Constructor and Description
SideEffectVisitor()

Method Summary

Modifier and Type	Method and Description
protected boolean	isModificationAllowed(DfaVariableValue variable) Override this method to allow some variable modifications which do not count as side effects
DfaInstructionState[]	visitAssign(AssignInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState []	visitControlTransfer(ControlTransferInstruction instruction, DataFlowRunner runner, DfaMemoryState state)
DfaInstructionState[]	visitFlushFields(FlushFieldsInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitFlushVariable(FlushVariableInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)
DfaInstructionState[]	visitMethodCall(MethodCallInstruction instruction, DataFlowRunner runner, DfaMemoryState memState)

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

beforeMethodCall, checkNotNullable, onTypeCast, popCall, processArrayAccess, processArrayStoreTypeMismatch, reportMutabilityViolation, visitArrayAccess, visitBinop, visitCheckNotNull, visitConvertPrimitive, visitEscapeInstruction, visitInstanceof, visitMethodReference, visitNot, visitPush, visitTypeCast

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SideEffectVisitor

public SideEffectVisitor()

Method Detail

isModificationAllowed

protected boolean isModificationAllowed(DfaVariableValue variable)

Override this method to allow some variable modifications which do not count as side effects

Parameters:

variable - variable to test

Returns:

true if variable modification is not allowed

visitFlushFields

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

Overrides:

visitFlushFields in class InstructionVisitor

visitFlushVariable

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

Overrides:

visitFlushVariable in class InstructionVisitor

visitControlTransfer

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

Overrides:

visitControlTransfer in class InstructionVisitor

visitMethodCall

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

Overrides:

visitMethodCall in class StandardInstructionVisitor

visitAssign

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

Overrides:

visitAssign in class StandardInstructionVisitor