public class CheckNotNullInstruction extends Instruction
Constructor and Description |
---|
CheckNotNullInstruction(NullabilityProblemKind.NullabilityProblem<?> problem,
DfaControlTransferValue transferValue) |
Modifier and Type | Method and Description |
---|---|
DfaInstructionState[] |
accept(DataFlowRunner runner,
DfaMemoryState stateBefore,
InstructionVisitor visitor) |
DfaControlTransferValue |
getOnNullTransfer() |
NullabilityProblemKind.NullabilityProblem<?> |
getProblem() |
java.lang.String |
toString() |
getIndex, nextInstruction, setIndex
public CheckNotNullInstruction(NullabilityProblemKind.NullabilityProblem<?> problem, DfaControlTransferValue transferValue)
public DfaControlTransferValue getOnNullTransfer()
public NullabilityProblemKind.NullabilityProblem<?> getProblem()
public DfaInstructionState[] accept(DataFlowRunner runner, DfaMemoryState stateBefore, InstructionVisitor visitor)
accept
in class Instruction
public java.lang.String toString()
toString
in class java.lang.Object