Package com.intellij.codeInsight.daemon.impl.analysis

Class HighlightControlFlowUtil

java.lang.Object

com.intellij.codeInsight.daemon.impl.analysis.HighlightControlFlowUtil

public class HighlightControlFlowUtil
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static HighlightInfo	checkFinalVariableMightAlreadyHaveBeenAssignedTo(PsiVariable variable, PsiReferenceExpression expression, java.util.Map<PsiElement,java.util.Collection<ControlFlowUtil.VariableInfo>> finalVarProblems)
static HighlightInfo	checkVariableInitializedBeforeUsage(PsiReferenceExpression expression, PsiVariable variable, java.util.Map<PsiElement,java.util.Collection<PsiReferenceExpression>> uninitializedVarProblems, PsiFile containingFile)
static HighlightInfo	checkVariableInitializedBeforeUsage(PsiReferenceExpression expression, PsiVariable variable, java.util.Map<PsiElement,java.util.Collection<PsiReferenceExpression>> uninitializedVarProblems, PsiFile containingFile, boolean ignoreFinality)
static ControlFlow	getControlFlowNoConstantEvaluate(PsiElement body)
static PsiElement	getInnerClassVariableReferencedFrom(PsiVariable variable, PsiElement context)
static boolean	isAssigned(PsiParameter parameter)
static boolean	isEffectivelyFinal(PsiVariable variable, PsiElement scope, PsiJavaCodeReferenceElement context)
static boolean	isFieldInitializedAfterObjectConstruction(PsiField field)
static boolean	isReassigned(PsiVariable variable, java.util.Map<PsiElement,java.util.Collection<ControlFlowUtil.VariableInfo>> finalVarProblems)
static boolean	variableDefinitelyAssignedIn(PsiVariable variable, PsiElement context) see JLS chapter 16

Methods inherited from class java.lang.Object

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

Method Detail

getControlFlowNoConstantEvaluate

public static ControlFlow getControlFlowNoConstantEvaluate(PsiElement body)
                                                    throws AnalysisCanceledException

Throws:

AnalysisCanceledException

isFieldInitializedAfterObjectConstruction

public static boolean isFieldInitializedAfterObjectConstruction(PsiField field)

isAssigned

public static boolean isAssigned(PsiParameter parameter)

variableDefinitelyAssignedIn

public static boolean variableDefinitelyAssignedIn(PsiVariable variable,
                                                   PsiElement context)

see JLS chapter 16

Returns:

true if variable assigned (maybe more than once)

checkVariableInitializedBeforeUsage

public static HighlightInfo checkVariableInitializedBeforeUsage(PsiReferenceExpression expression,
                                                                PsiVariable variable,
                                                                java.util.Map<PsiElement,java.util.Collection<PsiReferenceExpression>> uninitializedVarProblems,
                                                                PsiFile containingFile)

checkVariableInitializedBeforeUsage

public static HighlightInfo checkVariableInitializedBeforeUsage(PsiReferenceExpression expression,
                                                                PsiVariable variable,
                                                                java.util.Map<PsiElement,java.util.Collection<PsiReferenceExpression>> uninitializedVarProblems,
                                                                PsiFile containingFile,
                                                                boolean ignoreFinality)

isReassigned

public static boolean isReassigned(PsiVariable variable,
                                   java.util.Map<PsiElement,java.util.Collection<ControlFlowUtil.VariableInfo>> finalVarProblems)

checkFinalVariableMightAlreadyHaveBeenAssignedTo

public static HighlightInfo checkFinalVariableMightAlreadyHaveBeenAssignedTo(PsiVariable variable,
                                                                             PsiReferenceExpression expression,
                                                                             java.util.Map<PsiElement,java.util.Collection<ControlFlowUtil.VariableInfo>> finalVarProblems)

isEffectivelyFinal

public static boolean isEffectivelyFinal(PsiVariable variable,
                                         PsiElement scope,
                                         PsiJavaCodeReferenceElement context)

getInnerClassVariableReferencedFrom

public static PsiElement getInnerClassVariableReferencedFrom(PsiVariable variable,
                                                             PsiElement context)