Package com.intellij.codeInspection.dataFlow

Class MethodContract

java.lang.Object

com.intellij.codeInspection.dataFlow.MethodContract

Direct Known Subclasses:

StandardMethodContract

public abstract class MethodContract
extends java.lang.Object

A method contract which states that method will have a concrete return value if arguments fulfill some constraint.

Method Summary

Modifier and Type	Method and Description
abstract java.util.List<ContractValue>	getConditions()
ContractReturnValue	getReturnValue()
boolean	isTrivial()
static MethodContract	singleConditionContract(ContractValue left, RelationType relationType, ContractValue right, ContractReturnValue returnValue)
static java.util.List<? extends MethodContract>	toNonIntersectingContracts(java.util.List<? extends MethodContract> contracts)
java.lang.String	toString()
static MethodContract	trivialContract(ContractReturnValue value)

Methods inherited from class java.lang.Object

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

Method Detail

getReturnValue

public ContractReturnValue getReturnValue()

Returns:

a value the method will return if the contract conditions fulfill

isTrivial

public boolean isTrivial()

Returns:

true if this contract result does not depend on arguments

getConditions

public abstract java.util.List<ContractValue> getConditions()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

trivialContract

public static MethodContract trivialContract(ContractReturnValue value)

singleConditionContract

public static MethodContract singleConditionContract(ContractValue left,
                                                     RelationType relationType,
                                                     ContractValue right,
                                                     ContractReturnValue returnValue)

toNonIntersectingContracts

public static java.util.List<? extends MethodContract> toNonIntersectingContracts(java.util.List<? extends MethodContract> contracts)