Package com.intellij.codeInspection.dataFlow

Class TrackingDfaMemoryState

java.lang.Object

com.intellij.codeInspection.dataFlow.DfaMemoryStateImpl

com.intellij.codeInspection.dataFlow.TrackingDfaMemoryState

All Implemented Interfaces:

DfaMemoryState

public class TrackingDfaMemoryState
extends DfaMemoryStateImpl

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TrackingDfaMemoryState(DfaValueFactory factory)
protected	TrackingDfaMemoryState(TrackingDfaMemoryState toCopy)

Method Summary

Modifier and Type	Method and Description
protected void	afterMerge(DfaMemoryStateImpl other) Custom logic to be implemented by subclasses
TrackingDfaMemoryState	createCopy()

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

applyCondition, applyContractCondition, areEqual, checkNotNullable, createClosureState, createVariableState, emptyStack, equals, filterDfTypeOnAssignment, flushFields, flushVariable, flushVariable, getBinOpRange, getDfType, getFactory, getPsiType, getRelation, getStackValue, getUnboxedDfType, hashCode, isEmptyStack, isEphemeral, isNotNull, isNull, isSuperStateOf, markEphemeral, meetDfType, peek, pop, push, setDfType, setVarValue, shouldCompareByEquals, toString, updateEquivalentVariables

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TrackingDfaMemoryState

protected TrackingDfaMemoryState(DfaValueFactory factory)

TrackingDfaMemoryState

protected TrackingDfaMemoryState(TrackingDfaMemoryState toCopy)

Method Detail

createCopy

public TrackingDfaMemoryState createCopy()

Specified by:

createCopy in interface DfaMemoryState

Overrides:

createCopy in class DfaMemoryStateImpl

afterMerge

protected void afterMerge(DfaMemoryStateImpl other)

Description copied from class: DfaMemoryStateImpl

Custom logic to be implemented by subclasses

Overrides:

afterMerge in class DfaMemoryStateImpl

Parameters:

other - other memory start this one was merged with