Package com.intellij.codeInsight.guess.impl

Class ExpressionTypeMemoryState

java.lang.Object

com.intellij.codeInspection.dataFlow.DfaMemoryStateImpl

com.intellij.codeInsight.guess.impl.ExpressionTypeMemoryState

All Implemented Interfaces:

DfaMemoryState

public class ExpressionTypeMemoryState
extends DfaMemoryStateImpl

Field Summary

Fields

Modifier and Type	Field and Description
static <any>	EXPRESSION_HASHING_STRATEGY

Constructor Summary

Constructors

Constructor and Description
ExpressionTypeMemoryState(DfaValueFactory factory, boolean honorAssignments)

Method Summary

Modifier and Type	Method and Description
boolean	applyCondition(DfaCondition dfaCond)
DfaMemoryStateImpl	createCopy()
boolean	equals(java.lang.Object o)
protected DfType	filterDfTypeOnAssignment(DfaVariableValue var, DfType dfType)
int	hashCode()
boolean	isSuperStateOf(DfaMemoryStateImpl that) Returns true if current state describes all possible concrete program states described by that state.
java.lang.String	toString()

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

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

Methods inherited from class java.lang.Object

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

Field Detail

EXPRESSION_HASHING_STRATEGY

public static final <any> EXPRESSION_HASHING_STRATEGY

Constructor Detail

ExpressionTypeMemoryState

public ExpressionTypeMemoryState(DfaValueFactory factory,
                                 boolean honorAssignments)

Method Detail

filterDfTypeOnAssignment

protected DfType filterDfTypeOnAssignment(DfaVariableValue var,
                                          DfType dfType)

Overrides:

filterDfTypeOnAssignment in class DfaMemoryStateImpl

createCopy

public DfaMemoryStateImpl createCopy()

Specified by:

createCopy in interface DfaMemoryState

Overrides:

createCopy in class DfaMemoryStateImpl

isSuperStateOf

public boolean isSuperStateOf(DfaMemoryStateImpl that)

Description copied from class: DfaMemoryStateImpl

Returns true if current state describes all possible concrete program states described by that state.

Overrides:

isSuperStateOf in class DfaMemoryStateImpl

Parameters:

that - a sub-state candidate

Returns:

true if current state is a super-state of the supplied state.

applyCondition

public boolean applyCondition(DfaCondition dfaCond)

Specified by:

applyCondition in interface DfaMemoryState

Overrides:

applyCondition in class DfaMemoryStateImpl

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class DfaMemoryStateImpl

hashCode

public int hashCode()

Overrides:

hashCode in class DfaMemoryStateImpl

toString

public java.lang.String toString()

Overrides:

toString in class DfaMemoryStateImpl