Package com.intellij.codeInspection.dataFlow

Class HardcodedContracts

java.lang.Object

com.intellij.codeInspection.dataFlow.HardcodedContracts

public class HardcodedContracts
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
HardcodedContracts()

Method Summary

Modifier and Type	Method and Description
static java.util.List<MethodContract>	getHardcodedContracts(PsiMethod method, PsiMethodCallExpression call)
static boolean	hasHardcodedContracts(PsiElement element)
static boolean	isHardcodedPure(PsiMethod method)

Methods inherited from class java.lang.Object

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

Constructor Detail

HardcodedContracts

public HardcodedContracts()

Method Detail

getHardcodedContracts

public static java.util.List<MethodContract> getHardcodedContracts(PsiMethod method,
                                                                   PsiMethodCallExpression call)

isHardcodedPure

public static boolean isHardcodedPure(PsiMethod method)

hasHardcodedContracts

public static boolean hasHardcodedContracts(PsiElement element)