Package com.intellij.codeInspection.dataFlow.instructions

Class InstanceofInstruction

java.lang.Object

com.intellij.codeInspection.dataFlow.instructions.Instruction

com.intellij.codeInspection.dataFlow.instructions.ExpressionPushingInstruction<PsiExpression>

com.intellij.codeInspection.dataFlow.instructions.BinopInstruction

com.intellij.codeInspection.dataFlow.instructions.InstanceofInstruction

All Implemented Interfaces:

BranchingInstruction

public class InstanceofInstruction
extends BinopInstruction

Field Summary

Fields inherited from class com.intellij.codeInspection.dataFlow.instructions.BinopInstruction

STRING_EQUALITY_BY_CONTENT

Constructor Summary

Constructors

Constructor and Description
InstanceofInstruction(PsiExpression psiAnchor, PsiExpression left, PsiType castType)
InstanceofInstruction(PsiMethodCallExpression psiAnchor) Construct a class object instanceof check (e.g.

Method Summary

Modifier and Type	Method and Description
DfaInstructionState[]	accept(DataFlowRunner runner, DfaMemoryState stateBefore, InstructionVisitor visitor)
PsiType	getCastType()
PsiExpression	getLeft()
boolean	isClassObjectCheck()

Methods inherited from class com.intellij.codeInspection.dataFlow.instructions.BinopInstruction

getExpressionRange, getOperationSign, getResultType, isWidened, toString, widenOperationInLoop

Methods inherited from class com.intellij.codeInspection.dataFlow.instructions.ExpressionPushingInstruction

getExpression

Methods inherited from class com.intellij.codeInspection.dataFlow.instructions.Instruction

getIndex, nextInstruction, setIndex

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.intellij.codeInspection.dataFlow.instructions.BranchingInstruction

getIndex

Constructor Detail

InstanceofInstruction

public InstanceofInstruction(PsiExpression psiAnchor,
                             PsiExpression left,
                             PsiType castType)

InstanceofInstruction

public InstanceofInstruction(PsiMethodCallExpression psiAnchor)

Construct a class object instanceof check (e.g. from Class.isInstance call); castType is not known

Parameters:

psiAnchor - anchor call

Method Detail

accept

public DfaInstructionState[] accept(DataFlowRunner runner,
                                    DfaMemoryState stateBefore,
                                    InstructionVisitor visitor)

Overrides:

accept in class BinopInstruction

getLeft

public PsiExpression getLeft()

Returns:

instanceof operand or null if it's not applicable (e.g. instruction is emitted when inlining Xyz.class::isInstance method reference)

getCastType

public PsiType getCastType()

isClassObjectCheck

public boolean isClassObjectCheck()

Returns:

true if this instanceof instruction checks against Class object (e.g. Class.isInstance() call). In this case class object is located on the stack and cast type is not known