Package com.intellij.codeInspection.dataFlow.instructions

Class BinopInstruction

java.lang.Object

com.intellij.codeInspection.dataFlow.instructions.Instruction

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

com.intellij.codeInspection.dataFlow.instructions.BinopInstruction

All Implemented Interfaces:

BranchingInstruction

Direct Known Subclasses:

InstanceofInstruction

public class BinopInstruction
extends ExpressionPushingInstruction<PsiExpression>
implements BranchingInstruction

Field Summary

Fields

Modifier and Type	Field and Description
static IElementType	STRING_EQUALITY_BY_CONTENT A special operation to express string comparison by content (like equals() method does).

Constructor Summary

Constructors

Constructor and Description
BinopInstruction(IElementType opSign, PsiExpression expression, PsiType resultType)
BinopInstruction(IElementType opSign, PsiExpression expression, PsiType resultType, int lastOperand)
BinopInstruction(IElementType opSign, PsiExpression expression, PsiType resultType, int lastOperand, boolean unrolledLoop)

Method Summary

Modifier and Type	Method and Description
DfaInstructionState[]	accept(DataFlowRunner runner, DfaMemoryState stateBefore, InstructionVisitor visitor)
TextRange	getExpressionRange()
IElementType	getOperationSign()
PsiType	getResultType()
boolean	isWidened()
java.lang.String	toString()
void	widenOperationInLoop() Make operation wide (less precise) if necessary (called for the operations inside loops only)

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

Field Detail

STRING_EQUALITY_BY_CONTENT

public static final IElementType STRING_EQUALITY_BY_CONTENT

A special operation to express string comparison by content (like equals() method does). Used to desugar switch statements

Constructor Detail

BinopInstruction

public BinopInstruction(IElementType opSign,
                        PsiExpression expression,
                        PsiType resultType)

BinopInstruction

public BinopInstruction(IElementType opSign,
                        PsiExpression expression,
                        PsiType resultType,
                        int lastOperand)

BinopInstruction

public BinopInstruction(IElementType opSign,
                        PsiExpression expression,
                        PsiType resultType,
                        int lastOperand,
                        boolean unrolledLoop)

Parameters:

opSign - sign of the operation

expression - PSI element to bind the instruction to

resultType - result of the operation

lastOperand - number of last operand if anchor is a PsiPolyadicExpression and this instruction is the result of part of that expression; -1 if not applicable

unrolledLoop - true means that this instruction is executed inside an unrolled loop; in this case it will never be widened

Method Detail

widenOperationInLoop

public void widenOperationInLoop()

Make operation wide (less precise) if necessary (called for the operations inside loops only)

getExpressionRange

public TextRange getExpressionRange()

Overrides:

getExpressionRange in class ExpressionPushingInstruction<PsiExpression>

Returns:

range inside the anchor which evaluates this instruction, or null if the whole anchor evaluates this instruction

accept

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

Specified by:

accept in class Instruction

getResultType

public PsiType getResultType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOperationSign

public IElementType getOperationSign()

isWidened

public boolean isWidened()

Returns:

true if the operation must be executed with widening, otherwise it may produce a diverged state.