ControlFlowAnalyzer (Unofficial IntelliJ Community Edition API docs)

java.lang.Object
- com.intellij.psi.PsiElementVisitor
- - com.intellij.psi.JavaElementVisitor
  - - com.intellij.codeInspection.dataFlow.ControlFlowAnalyzer

public class ControlFlowAnalyzer
extends JavaElementVisitor

Field Summary
- Fields inherited from class com.intellij.psi.PsiElementVisitor
  EMPTY_VISITOR

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`ControlFlow`	`buildControlFlow()`
`static boolean`	`inlinerMayInferPreciseType(PsiExpression expression)`
`static boolean`	`isTempVariable(DfaVariableValue variable)` Checks whether supplied variable is a temporary variable created previously via `createTempVariable(PsiType)`
`void`	`removeLambda(PsiLambdaExpression lambda)`
`void`	`visitArrayAccessExpression(PsiArrayAccessExpression expression)`
`void`	`visitArrayInitializerExpression(PsiArrayInitializerExpression expression)`
`void`	`visitAssertStatement(PsiAssertStatement statement)`
`void`	`visitAssignmentExpression(PsiAssignmentExpression expression)`
`void`	`visitBlockStatement(PsiBlockStatement statement)`
`void`	`visitBreakStatement(PsiBreakStatement statement)`
`void`	`visitClass(PsiClass aClass)`
`void`	`visitClassInitializer(PsiClassInitializer initializer)`
`void`	`visitClassObjectAccessExpression(PsiClassObjectAccessExpression expression)`
`void`	`visitCodeBlock(PsiCodeBlock block)`
`void`	`visitCodeFragment(JavaCodeFragment codeFragment)`
`void`	`visitConditionalExpression(PsiConditionalExpression expression)`
`void`	`visitContinueStatement(PsiContinueStatement statement)`
`void`	`visitDeclarationStatement(PsiDeclarationStatement statement)`
`void`	`visitDoWhileStatement(PsiDoWhileStatement statement)`
`void`	`visitEmptyStatement(PsiEmptyStatement statement)`
`void`	`visitEnumConstant(PsiEnumConstant enumConstant)`
`void`	`visitErrorElement(PsiErrorElement element)`
`void`	`visitExpression(PsiExpression expression)`
`void`	`visitExpressionList(PsiExpressionList list)`
`void`	`visitExpressionListStatement(PsiExpressionListStatement statement)`
`void`	`visitExpressionStatement(PsiExpressionStatement statement)`
`void`	`visitField(PsiField field)`
`void`	`visitForeachStatement(PsiForeachStatement statement)`
`void`	`visitForStatement(PsiForStatement statement)`
`void`	`visitIfStatement(PsiIfStatement statement)`
`void`	`visitInstanceOfExpression(PsiInstanceOfExpression expression)`
`void`	`visitLabeledStatement(PsiLabeledStatement statement)`
`void`	`visitLambdaExpression(PsiLambdaExpression expression)`
`void`	`visitLiteralExpression(PsiLiteralExpression expression)`
`void`	`visitMethodCallExpression(PsiMethodCallExpression call)`
`void`	`visitMethodReferenceExpression(PsiMethodReferenceExpression expression)`
`void`	`visitNewExpression(PsiNewExpression expression)`
`void`	`visitParenthesizedExpression(PsiParenthesizedExpression expression)`
`void`	`visitPolyadicExpression(PsiPolyadicExpression expression)`
`void`	`visitPostfixExpression(PsiPostfixExpression expression)`
`void`	`visitPrefixExpression(PsiPrefixExpression expression)`
`void`	`visitReferenceExpression(PsiReferenceExpression expression)` PsiReferenceExpression is PsiReferenceElement and PsiExpression at the same time.
`void`	`visitResourceList(PsiResourceList resourceList)`
`void`	`visitReturnStatement(PsiReturnStatement statement)`
`void`	`visitStatement(PsiStatement statement)`
`void`	`visitSwitchExpression(PsiSwitchExpression expression)`
`void`	`visitSwitchLabeledRuleStatement(PsiSwitchLabeledRuleStatement statement)`
`void`	`visitSwitchLabelStatement(PsiSwitchLabelStatement statement)`
`void`	`visitSwitchStatement(PsiSwitchStatement switchStmt)`
`void`	`visitSynchronizedStatement(PsiSynchronizedStatement statement)`
`void`	`visitThrowStatement(PsiThrowStatement statement)`
`void`	`visitTryStatement(PsiTryStatement statement)`
`void`	`visitTypeCastExpression(PsiTypeCastExpression castExpression)`
`void`	`visitWhileStatement(PsiWhileStatement statement)`
`void`	`visitYieldStatement(PsiYieldStatement statement)`

Methods inherited from class com.intellij.psi.JavaElementVisitor
visitAnnotation, visitAnnotationArrayInitializer, visitAnnotationMethod, visitAnnotationParameterList, visitAnonymousClass, visitBinaryExpression, visitCallExpression, visitCatchSection, visitDocComment, visitDocTag, visitDocTagValue, visitDocToken, visitEnumConstantInitializer, visitIdentifier, visitImplicitVariable, visitImportList, visitImportStatement, visitImportStaticReferenceElement, visitImportStaticStatement, visitInlineDocTag, visitJavaFile, visitJavaToken, visitKeyword, visitLocalVariable, visitMethod, visitModifierList, visitModule, visitModuleReferenceElement, visitModuleStatement, visitNameValuePair, visitPackage, visitPackageAccessibilityStatement, visitPackageStatement, visitParameter, visitParameterList, visitPattern, visitPatternVariable, visitProvidesStatement, visitReceiverParameter, visitRecordComponent, visitRecordHeader, visitReferenceElement, visitReferenceList, visitReferenceParameterList, visitRequiresStatement, visitResourceExpression, visitResourceVariable, visitSuperExpression, visitThisExpression, visitTypeElement, visitTypeParameter, visitTypeParameterList, visitTypeTestPattern, visitUnaryExpression, visitUsesStatement, visitVariable

Methods inherited from class com.intellij.psi.PsiElementVisitor
visitBinaryFile, visitComment, visitDirectory, visitElement, visitFile, visitOuterLanguageElement, visitPlainText, visitPlainTextFile, visitWhiteSpace

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - buildControlFlow
```
public ControlFlow buildControlFlow()
```
  - visitErrorElement
```
public void visitErrorElement(PsiErrorElement element)
```
    Overrides:
    
    visitErrorElement in class PsiElementVisitor
  - visitAssignmentExpression
```
public void visitAssignmentExpression(PsiAssignmentExpression expression)
```
    Overrides:
    
    visitAssignmentExpression in class JavaElementVisitor
  - visitAssertStatement
```
public void visitAssertStatement(PsiAssertStatement statement)
```
    Overrides:
    
    visitAssertStatement in class JavaElementVisitor
  - visitDeclarationStatement
```
public void visitDeclarationStatement(PsiDeclarationStatement statement)
```
    Overrides:
    
    visitDeclarationStatement in class JavaElementVisitor
  - visitField
```
public void visitField(PsiField field)
```
    Overrides:
    
    visitField in class JavaElementVisitor
  - visitClassInitializer
```
public void visitClassInitializer(PsiClassInitializer initializer)
```
    Overrides:
    
    visitClassInitializer in class JavaElementVisitor
  - visitCodeFragment
```
public void visitCodeFragment(JavaCodeFragment codeFragment)
```
    Overrides:
    
    visitCodeFragment in class JavaElementVisitor
  - visitCodeBlock
```
public void visitCodeBlock(PsiCodeBlock block)
```
    Overrides:
    
    visitCodeBlock in class JavaElementVisitor
  - visitBlockStatement
```
public void visitBlockStatement(PsiBlockStatement statement)
```
    Overrides:
    
    visitBlockStatement in class JavaElementVisitor
  - visitBreakStatement
```
public void visitBreakStatement(PsiBreakStatement statement)
```
    Overrides:
    
    visitBreakStatement in class JavaElementVisitor
  - visitYieldStatement
```
public void visitYieldStatement(PsiYieldStatement statement)
```
    Overrides:
    
    visitYieldStatement in class JavaElementVisitor
  - visitContinueStatement
```
public void visitContinueStatement(PsiContinueStatement statement)
```
    Overrides:
    
    visitContinueStatement in class JavaElementVisitor
  - visitDoWhileStatement
```
public void visitDoWhileStatement(PsiDoWhileStatement statement)
```
    Overrides:
    
    visitDoWhileStatement in class JavaElementVisitor
  - visitEmptyStatement
```
public void visitEmptyStatement(PsiEmptyStatement statement)
```
    Overrides:
    
    visitEmptyStatement in class JavaElementVisitor
  - visitExpressionStatement
```
public void visitExpressionStatement(PsiExpressionStatement statement)
```
    Overrides:
    
    visitExpressionStatement in class JavaElementVisitor
  - visitExpressionListStatement
```
public void visitExpressionListStatement(PsiExpressionListStatement statement)
```
    Overrides:
    
    visitExpressionListStatement in class JavaElementVisitor
  - visitForeachStatement
```
public void visitForeachStatement(PsiForeachStatement statement)
```
    Overrides:
    
    visitForeachStatement in class JavaElementVisitor
  - visitForStatement
```
public void visitForStatement(PsiForStatement statement)
```
    Overrides:
    
    visitForStatement in class JavaElementVisitor
  - visitIfStatement
```
public void visitIfStatement(PsiIfStatement statement)
```
    Overrides:
    
    visitIfStatement in class JavaElementVisitor
  - visitStatement
```
public void visitStatement(PsiStatement statement)
```
    Overrides:
    
    visitStatement in class JavaElementVisitor
  - visitLabeledStatement
```
public void visitLabeledStatement(PsiLabeledStatement statement)
```
    Overrides:
    
    visitLabeledStatement in class JavaElementVisitor
  - visitLambdaExpression
```
public void visitLambdaExpression(PsiLambdaExpression expression)
```
    Overrides:
    
    visitLambdaExpression in class JavaElementVisitor
  - visitReturnStatement
```
public void visitReturnStatement(PsiReturnStatement statement)
```
    Overrides:
    
    visitReturnStatement in class JavaElementVisitor
  - visitSwitchLabelStatement
```
public void visitSwitchLabelStatement(PsiSwitchLabelStatement statement)
```
    Overrides:
    
    visitSwitchLabelStatement in class JavaElementVisitor
  - visitSwitchLabeledRuleStatement
```
public void visitSwitchLabeledRuleStatement(PsiSwitchLabeledRuleStatement statement)
```
    Overrides:
    
    visitSwitchLabeledRuleStatement in class JavaElementVisitor
  - visitSwitchStatement
```
public void visitSwitchStatement(PsiSwitchStatement switchStmt)
```
    Overrides:
    
    visitSwitchStatement in class JavaElementVisitor
  - visitSwitchExpression
```
public void visitSwitchExpression(PsiSwitchExpression expression)
```
    Overrides:
    
    visitSwitchExpression in class JavaElementVisitor
  - visitMethodReferenceExpression
```
public void visitMethodReferenceExpression(PsiMethodReferenceExpression expression)
```
    Overrides:
    
    visitMethodReferenceExpression in class JavaElementVisitor
  - visitSynchronizedStatement
```
public void visitSynchronizedStatement(PsiSynchronizedStatement statement)
```
    Overrides:
    
    visitSynchronizedStatement in class JavaElementVisitor
  - visitThrowStatement
```
public void visitThrowStatement(PsiThrowStatement statement)
```
    Overrides:
    
    visitThrowStatement in class JavaElementVisitor
  - visitTryStatement
```
public void visitTryStatement(PsiTryStatement statement)
```
    Overrides:
    
    visitTryStatement in class JavaElementVisitor
  - visitResourceList
```
public void visitResourceList(PsiResourceList resourceList)
```
    Overrides:
    
    visitResourceList in class JavaElementVisitor
  - visitWhileStatement
```
public void visitWhileStatement(PsiWhileStatement statement)
```
    Overrides:
    
    visitWhileStatement in class JavaElementVisitor
  - visitExpressionList
```
public void visitExpressionList(PsiExpressionList list)
```
    Overrides:
    
    visitExpressionList in class JavaElementVisitor
  - visitExpression
```
public void visitExpression(PsiExpression expression)
```
    Overrides:
    
    visitExpression in class JavaElementVisitor
  - visitArrayAccessExpression
```
public void visitArrayAccessExpression(PsiArrayAccessExpression expression)
```
    Overrides:
    
    visitArrayAccessExpression in class JavaElementVisitor
  - visitArrayInitializerExpression
```
public void visitArrayInitializerExpression(PsiArrayInitializerExpression expression)
```
    Overrides:
    
    visitArrayInitializerExpression in class JavaElementVisitor
  - visitPolyadicExpression
```
public void visitPolyadicExpression(PsiPolyadicExpression expression)
```
    Overrides:
    
    visitPolyadicExpression in class JavaElementVisitor
  - visitClassObjectAccessExpression
```
public void visitClassObjectAccessExpression(PsiClassObjectAccessExpression expression)
```
    Overrides:
    
    visitClassObjectAccessExpression in class JavaElementVisitor
  - visitConditionalExpression
```
public void visitConditionalExpression(PsiConditionalExpression expression)
```
    Overrides:
    
    visitConditionalExpression in class JavaElementVisitor
  - visitInstanceOfExpression
```
public void visitInstanceOfExpression(PsiInstanceOfExpression expression)
```
    Overrides:
    
    visitInstanceOfExpression in class JavaElementVisitor
  - visitMethodCallExpression
```
public void visitMethodCallExpression(PsiMethodCallExpression call)
```
    Overrides:
    
    visitMethodCallExpression in class JavaElementVisitor
  - visitEnumConstant
```
public void visitEnumConstant(PsiEnumConstant enumConstant)
```
    Overrides:
    
    visitEnumConstant in class JavaElementVisitor
  - visitNewExpression
```
public void visitNewExpression(PsiNewExpression expression)
```
    Overrides:
    
    visitNewExpression in class JavaElementVisitor
  - visitParenthesizedExpression
```
public void visitParenthesizedExpression(PsiParenthesizedExpression expression)
```
    Overrides:
    
    visitParenthesizedExpression in class JavaElementVisitor
  - visitPostfixExpression
```
public void visitPostfixExpression(PsiPostfixExpression expression)
```
    Overrides:
    
    visitPostfixExpression in class JavaElementVisitor
  - visitPrefixExpression
```
public void visitPrefixExpression(PsiPrefixExpression expression)
```
    Overrides:
    
    visitPrefixExpression in class JavaElementVisitor
  - visitReferenceExpression
```
public void visitReferenceExpression(PsiReferenceExpression expression)
```
    Description copied from class: JavaElementVisitor
    
    PsiReferenceExpression is PsiReferenceElement and PsiExpression at the same time. If we'd call both visitReferenceElement and visitExpression in default implementation of this method we can easily stuck with exponential algorithm if the derived visitor extends visitElement() and accepts children there. JavaRecursiveElementVisitor knows that and implements this method accordingly. All other visitor must decide themselves what implementation (visitReferenceElement() or visitExpression() or none or LOG.error()) is appropriate for them.
    
    Overrides:
    
    visitReferenceExpression in class JavaElementVisitor
  - visitLiteralExpression
```
public void visitLiteralExpression(PsiLiteralExpression expression)
```
    Overrides:
    
    visitLiteralExpression in class JavaElementVisitor
  - visitTypeCastExpression
```
public void visitTypeCastExpression(PsiTypeCastExpression castExpression)
```
    Overrides:
    
    visitTypeCastExpression in class JavaElementVisitor
  - visitClass
```
public void visitClass(PsiClass aClass)
```
    Overrides:
    
    visitClass in class JavaElementVisitor
  - removeLambda
```
public void removeLambda(PsiLambdaExpression lambda)
```
  - isTempVariable
```
public static boolean isTempVariable(DfaVariableValue variable)
```
    Checks whether supplied variable is a temporary variable created previously via createTempVariable(PsiType)
    
    Parameters:
    
    variable - to check
    
    Returns:
    
    true if supplied variable is a temp variable.
  - inlinerMayInferPreciseType
```
public static boolean inlinerMayInferPreciseType(PsiExpression expression)
```
    Parameters:
    
    expression - expression to test
    
    Returns:
    
    true if some inliner may add constraints on the precise type of given expression

Class ControlFlowAnalyzer

Field Summary

Fields inherited from class com.intellij.psi.PsiElementVisitor

Method Summary

Methods inherited from class com.intellij.psi.JavaElementVisitor

Methods inherited from class com.intellij.psi.PsiElementVisitor

Methods inherited from class java.lang.Object

Method Detail

buildControlFlow

visitErrorElement

visitAssignmentExpression

visitAssertStatement

visitDeclarationStatement

visitField

visitClassInitializer

visitCodeFragment

visitCodeBlock

visitBlockStatement

visitBreakStatement

visitYieldStatement

visitContinueStatement

visitDoWhileStatement

visitEmptyStatement

visitExpressionStatement

visitExpressionListStatement

visitForeachStatement

visitForStatement

visitIfStatement

visitStatement

visitLabeledStatement

visitLambdaExpression

visitReturnStatement

visitSwitchLabelStatement

visitSwitchLabeledRuleStatement

visitSwitchStatement

visitSwitchExpression

visitMethodReferenceExpression

visitSynchronizedStatement

visitThrowStatement

visitTryStatement

visitResourceList

visitWhileStatement

visitExpressionList

visitExpression

visitArrayAccessExpression

visitArrayInitializerExpression

visitPolyadicExpression

visitClassObjectAccessExpression

visitConditionalExpression

visitInstanceOfExpression

visitMethodCallExpression

visitEnumConstant

visitNewExpression

visitParenthesizedExpression

visitPostfixExpression

visitPrefixExpression

visitReferenceExpression

visitLiteralExpression

visitTypeCastExpression

visitClass

removeLambda

isTempVariable

inlinerMayInferPreciseType