Package com.intellij.codeInspection.dataFlow

Class TrackingRunner

java.lang.Object

com.intellij.codeInspection.dataFlow.DataFlowRunner

com.intellij.codeInspection.dataFlow.TrackingRunner

public class TrackingRunner
extends DataFlowRunner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TrackingRunner.CastDfaProblemType
static class	TrackingRunner.CauseItem
static class	TrackingRunner.DfaProblemType
static class	TrackingRunner.FailingCallDfaProblemType
static class	TrackingRunner.NullableDfaProblemType
static class	TrackingRunner.ValueDfaProblemType

Nested classes/interfaces inherited from class com.intellij.codeInspection.dataFlow.DataFlowRunner

DataFlowRunner.TimeStats

Method Summary

Modifier and Type	Method and Description
protected DfaInstructionState []	acceptInstruction(InstructionVisitor visitor, DfaInstructionState instructionState)
protected void	afterInstruction(Instruction instruction)
protected void	beforeInstruction(Instruction instruction)
protected DfaMemoryState	createMemoryState()
static TrackingRunner.CauseItem	findProblemCause(boolean unknownAreNullables, boolean ignoreAssertions, PsiExpression expression, TrackingRunner.DfaProblemType type)
static java.lang.String	getObviouslyNonNullExplanation(PsiExpression arg)

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

analyzeBlockRecursively, analyzeCodeBlock, analyzeMethod, analyzeMethodRecursively, analyzeMethodWithInlining, buildFlow, cancel, createInitialInstructionStates, createStatistics, forNestedClosures, getFactory, getInstruction, getInstructions, interpret

Methods inherited from class java.lang.Object

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

Method Detail

beforeInstruction

protected void beforeInstruction(Instruction instruction)

Overrides:

beforeInstruction in class DataFlowRunner

afterInstruction

protected void afterInstruction(Instruction instruction)

Overrides:

afterInstruction in class DataFlowRunner

createMemoryState

protected DfaMemoryState createMemoryState()

Overrides:

createMemoryState in class DataFlowRunner

acceptInstruction

protected DfaInstructionState [] acceptInstruction(InstructionVisitor visitor,
                                                   DfaInstructionState instructionState)

Overrides:

acceptInstruction in class DataFlowRunner

findProblemCause

public static TrackingRunner.CauseItem findProblemCause(boolean unknownAreNullables,
                                                        boolean ignoreAssertions,
                                                        PsiExpression expression,
                                                        TrackingRunner.DfaProblemType type)

getObviouslyNonNullExplanation

public static java.lang.String getObviouslyNonNullExplanation(PsiExpression arg)