Package com.intellij.codeInspection.bytecodeAnalysis

Class ProjectBytecodeAnalysis

java.lang.Object

com.intellij.codeInspection.bytecodeAnalysis.ProjectBytecodeAnalysis

public class ProjectBytecodeAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	EQUATIONS_LIMIT
static Logger	LOG
static java.lang.String	NULLABLE_METHOD
static java.lang.String	NULLABLE_METHOD_TRANSITIVITY

Constructor Summary

Constructors

Constructor and Description
ProjectBytecodeAnalysis(Project project)

Method Summary

Modifier and Type	Method and Description
static java.util.List<EKey>	collectMethodKeys(PsiMethod method, EKey primaryKey) Collects all (starting) keys needed to infer all pieces of method annotations.
PsiAnnotation	createContractAnnotation(java.lang.String contractValue)
PsiAnnotation	findInferredAnnotation(PsiModifierListOwner listOwner, java.lang.String annotationFQN)
PsiAnnotation []	findInferredAnnotations(PsiModifierListOwner listOwner)
static ProjectBytecodeAnalysis	getInstance(Project project)
EKey	getKey(PsiModifierListOwner owner)
PsiAnnotation	getNotNullAnnotation()
PsiAnnotation	getNullableAnnotation()

Methods inherited from class java.lang.Object

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

Field Detail

LOG

public static final Logger LOG

NULLABLE_METHOD

public static final java.lang.String NULLABLE_METHOD

See Also:

Constant Field Values

NULLABLE_METHOD_TRANSITIVITY

public static final java.lang.String NULLABLE_METHOD_TRANSITIVITY

See Also:

Constant Field Values

EQUATIONS_LIMIT

public static final int EQUATIONS_LIMIT

See Also:

Constant Field Values

Constructor Detail

ProjectBytecodeAnalysis

public ProjectBytecodeAnalysis(Project project)

Method Detail

getInstance

public static ProjectBytecodeAnalysis getInstance(Project project)

findInferredAnnotation

public PsiAnnotation findInferredAnnotation(PsiModifierListOwner listOwner,
                                            java.lang.String annotationFQN)

findInferredAnnotations

public PsiAnnotation [] findInferredAnnotations(PsiModifierListOwner listOwner)

getNotNullAnnotation

public PsiAnnotation getNotNullAnnotation()

getNullableAnnotation

public PsiAnnotation getNullableAnnotation()

createContractAnnotation

public PsiAnnotation createContractAnnotation(java.lang.String contractValue)

getKey

public EKey getKey(PsiModifierListOwner owner)

collectMethodKeys

public static java.util.List<EKey> collectMethodKeys(PsiMethod method,
                                                     EKey primaryKey)

Collects all (starting) keys needed to infer all pieces of method annotations.

Parameters:

method - Psi method for which annotations are being inferred

primaryKey - primary compressed key for this method

Returns:

compressed keys for this method