Package com.intellij.psi.util

Class TypesDistinctProver

java.lang.Object

com.intellij.psi.util.TypesDistinctProver

public class TypesDistinctProver
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.Set<java.lang.String>	ARRAY_SUPER_CLASSES

Method Summary

Modifier and Type	Method and Description
static boolean	provablyDistinct(PsiType type1, PsiType type2)
protected static boolean	provablyDistinct(PsiType type1, PsiType type2, int level)
static boolean	provablyDistinct(PsiWildcardType type1, PsiWildcardType type2, boolean rejectInconsistentRaw, int level)
static boolean	proveArrayTypeDistinct(PsiArrayType type, PsiType bound)
static boolean	proveExtendsBoundsDistinct(PsiType type1, PsiType type2, PsiClass boundClass1, PsiClass boundClass2)
static boolean	try2ProveTypeParameterDistinct(PsiType type, PsiClass typeParameter)

Methods inherited from class java.lang.Object

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

Field Detail

ARRAY_SUPER_CLASSES

public static final java.util.Set<java.lang.String> ARRAY_SUPER_CLASSES

Method Detail

provablyDistinct

public static boolean provablyDistinct(PsiType type1,
                                       PsiType type2)

provablyDistinct

protected static boolean provablyDistinct(PsiType type1,
                                          PsiType type2,
                                          int level)

provablyDistinct

public static boolean provablyDistinct(PsiWildcardType type1,
                                       PsiWildcardType type2,
                                       boolean rejectInconsistentRaw,
                                       int level)

proveExtendsBoundsDistinct

public static boolean proveExtendsBoundsDistinct(PsiType type1,
                                                 PsiType type2,
                                                 PsiClass boundClass1,
                                                 PsiClass boundClass2)

try2ProveTypeParameterDistinct

public static boolean try2ProveTypeParameterDistinct(PsiType type,
                                                     PsiClass typeParameter)

proveArrayTypeDistinct

public static boolean proveArrayTypeDistinct(PsiArrayType type,
                                             PsiType bound)