Package com.intellij.codeInspection.dataFlow.value

Class DfaTypeValue

java.lang.Object

com.intellij.codeInspection.dataFlow.value.DfaValue

com.intellij.codeInspection.dataFlow.value.DfaTypeValue

public class DfaTypeValue
extends DfaValue

Field Summary

Fields inherited from class com.intellij.codeInspection.dataFlow.value.DfaValue

myFactory

Method Summary

Modifier and Type	Method and Description
DfType	getDfType()
PsiType	getType()
static boolean	isContractFail(DfaValue value) Checks whether given value is a special value representing method failure, according to its contract
static boolean	isUnknown(DfaValue value)
static PsiType	toPsiType(Project project, DfType dfType)
java.lang.String	toString()

Methods inherited from class com.intellij.codeInspection.dataFlow.value.DfaValue

cond, dependsOn, eq, equals, getFactory, getID, hashCode, unite

Methods inherited from class java.lang.Object

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

Method Detail

getDfType

public DfType getDfType()

Overrides:

getDfType in class DfaValue

Returns:

a DfType this value belongs under any possible memory state

getType

public PsiType getType()

Overrides:

getType in class DfaValue

Returns:

PSI type of the value if known

isUnknown

public static boolean isUnknown(DfaValue value)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isContractFail

public static boolean isContractFail(DfaValue value)

Checks whether given value is a special value representing method failure, according to its contract

Parameters:

value - value to check

Returns:

true if specified value represents method failure

toPsiType

public static PsiType toPsiType(Project project,
                                DfType dfType)