Package com.intellij.codeInspection.bytecodeAnalysis

Class BytecodeAnalysisConverter

java.lang.Object

com.intellij.codeInspection.bytecodeAnalysis.BytecodeAnalysisConverter

public class BytecodeAnalysisConverter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BytecodeAnalysisConverter()

Method Summary

Modifier and Type	Method and Description
static void	addEffectAnnotations(java.util.Map<EKey,com.intellij.codeInspection.bytecodeAnalysis.Effects> puritySolutions, com.intellij.codeInspection.bytecodeAnalysis.MethodAnnotations result, EKey methodKey, boolean constructor)
static java.util.ArrayList<EKey>	mkInOutKeys(PsiMethod psiMethod, EKey primaryKey) Given a PSI method and its primary Key enumerate all contract keys for it.
static EKey	psiKey(PsiMember psiMethod, Direction direction) Creates a stable non-negated EKey for given PsiMethod and direction Returns null if conversion is impossible (something is not resolvable).

Methods inherited from class java.lang.Object

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

Constructor Detail

BytecodeAnalysisConverter

public BytecodeAnalysisConverter()

Method Detail

psiKey

public static EKey psiKey(PsiMember psiMethod,
                          Direction direction)

Creates a stable non-negated EKey for given PsiMethod and direction Returns null if conversion is impossible (something is not resolvable).

mkInOutKeys

public static java.util.ArrayList<EKey> mkInOutKeys(PsiMethod psiMethod,
                                                    EKey primaryKey)

Given a PSI method and its primary Key enumerate all contract keys for it.

Parameters:

psiMethod - psi method

primaryKey - primary stable keys

Returns:

corresponding (stable!) keys

addEffectAnnotations

public static void addEffectAnnotations(java.util.Map<EKey,com.intellij.codeInspection.bytecodeAnalysis.Effects> puritySolutions,
                                        com.intellij.codeInspection.bytecodeAnalysis.MethodAnnotations result,
                                        EKey methodKey,
                                        boolean constructor)