Package com.intellij.codeInspection.dataFlow

Class ContractValue

java.lang.Object

com.intellij.codeInspection.dataFlow.ContractValue

public abstract class ContractValue
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static ContractValue	argument(int index)
static ContractValue	booleanValue(boolean value)
static ContractValue	condition(ContractValue left, RelationType relation, ContractValue right)
static ContractValue	constant(java.lang.Object value, PsiType type)
PsiExpression	findLeftPlace(PsiCallExpression call)
PsiExpression	findRightPlace(PsiCallExpression call)
DfaCondition	fromCall(DfaValueFactory factory, PsiCallExpression call)
java.util.OptionalInt	getArgumentComparedTo(ContractValue value, boolean equal)
java.util.OptionalInt	getNullCheckedArgument(boolean equalToNull)
java.lang.String	getPresentationText(PsiMethod method)
ContractValue	invert()
boolean	isBoundCheckingCondition()
boolean	isExclusive(ContractValue other)
static ContractValue	nullValue()
static ContractValue	qualifier()
ContractValue	specialField(SpecialField field)
com.intellij.codeInspection.dataFlow.DfaCallArguments	updateArguments(com.intellij.codeInspection.dataFlow.DfaCallArguments arguments, boolean negated)
static ContractValue	zero()

Methods inherited from class java.lang.Object

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

Method Detail

fromCall

public DfaCondition fromCall(DfaValueFactory factory,
                             PsiCallExpression call)

isExclusive

public boolean isExclusive(ContractValue other)

Parameters:

other - other contract condition

Returns:

true if this contract condition and other condition cannot be fulfilled at the same time

invert

public ContractValue invert()

isBoundCheckingCondition

public boolean isBoundCheckingCondition()

Returns:

true if this contract value represents a bounds-checking condition

updateArguments

public com.intellij.codeInspection.dataFlow.DfaCallArguments updateArguments(com.intellij.codeInspection.dataFlow.DfaCallArguments arguments,
                                                                             boolean negated)

getNullCheckedArgument

public java.util.OptionalInt getNullCheckedArgument(boolean equalToNull)

getArgumentComparedTo

public java.util.OptionalInt getArgumentComparedTo(ContractValue value,
                                                   boolean equal)

getPresentationText

public java.lang.String getPresentationText(PsiMethod method)

findLeftPlace

public PsiExpression findLeftPlace(PsiCallExpression call)

findRightPlace

public PsiExpression findRightPlace(PsiCallExpression call)

qualifier

public static ContractValue qualifier()

argument

public static ContractValue argument(int index)

specialField

public ContractValue specialField(SpecialField field)

constant

public static ContractValue constant(java.lang.Object value,
                                     PsiType type)

booleanValue

public static ContractValue booleanValue(boolean value)

nullValue

public static ContractValue nullValue()

zero

public static ContractValue zero()

condition

public static ContractValue condition(ContractValue left,
                                      RelationType relation,
                                      ContractValue right)