AbstractFlow

java.lang.Object
- com.sun.source.util.TreeScanner<R,P>
- - com.sun.source.util.TreePathScanner<@Nullable Void,@Nullable Void>
  - - checkers.flow.AbstractFlow<ST>

All Implemented Interfaces:

Flow, TreeVisitor<@Nullable Void,@Nullable Void>

Direct Known Subclasses:

DefaultFlow
```
public abstract class AbstractFlow<ST extends FlowState>
extends TreePathScanner<@Nullable Void,@Nullable Void>
implements Flow
```
Provides a generalized flow-sensitive qualifier inference for the checkers framework.
This implementation is based largely on javac's dataflow analysis module, which may be found in com.sun.tools.javac.comp.Flow from 13 Sep 2007. It differs from that class in two ways:
1. It performs a GEN-KILL analysis for qualifiers that is similar to the initialization/uninitialization analysis in javac's Flow. It does not perform exception analysis, and performs liveness analysis only to the extent required for the GEN-KILL analysis.
2. Whenever possible, this implementation prefers the use of classes in the public API (BitSet, the Compiler Tree API) over those in com.sun.tools.javac (for these reasons, examining a diff against that class would not be particularly enlightening).
As in javac's Flow class, methods named "visit*" perform analysis for a particular type of tree node, while methods named "scan*" perform the analysis for a general, higher-level class of structural element. Typically "visit*" methods delegate to "scan*" methods. As an example, visitIf(com.sun.source.tree.IfTree, java.lang.Void), visitWhileLoop(com.sun.source.tree.WhileLoopTree, java.lang.Void), visitAssert(com.sun.source.tree.AssertTree, java.lang.Void), and visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree, java.lang.Void) all use scanCond(com.sun.source.tree.ExpressionTree) for analyzing conditions and handling branching.
A separate instance of the analysis must be created for each compilation unit.

Field Summary

Fields
Modifier and Type	Field and Description
`protected boolean`	`alive` Stores the result of liveness analysis, required by the GEN-KILL analysis for proper handling of jumps (break, return, throw, etc.).
`protected QualifierHierarchy`	`annoRelations` The hierarchy for the type qualifiers that this class infers.
`protected AnnotatedTypes`	`atypes` Utility class for operations on annotated types.
`protected SourceChecker`	`checker` The checker to which this instance belongs.
`protected PrintStream`	`debug` Where to print debugging messages; set via `setDebug(java.io.PrintStream)`.
`protected AnnotatedTypeFactory`	`factory` Utility class for determining annotated types.
`protected Map<@Nullable Tree,Set<@Nullable AnnotationMirror>>`	`flowResults` Stores the results of the analysis (source location to qualifier).
`protected ST`	`flowState` Tracks the state of the inference.
`protected ST`	`flowState_whenFalse` Tracks the state of the inference in a false branch.
`protected ST`	`flowState_whenTrue` Tracks the state of the inference in a true branch.
`protected @Nullable CompilationUnitTree`	`root` The file that's being analyzed.

Constructor Summary

Constructors
Constructor and Description
`AbstractFlow(BaseTypeChecker checker, @Nullable CompilationUnitTree root, Set<@Nullable AnnotationMirror> annotations, AnnotatedTypeFactory factory)` Creates a new analysis.

Method Summary

Methods
Modifier and Type	Method and Description
`static void`	`addFlowResult(Map<@Nullable Tree,Set<@Nullable AnnotationMirror>> flowResults, @Nullable Tree tree, @Nullable AnnotationMirror anno)`
`protected void`	`checkArguments(List<? extends @Mutable AnnotatedTypeMirror> requiredArgs, List<? extends ExpressionTree> passedArgs)`
`protected abstract void`	`clearOnCall(@Nullable MethodTree enclMeth, @NonNull ExecutableElement method)` Clear whatever part of the state that gets invalidated by invoking the method.
`protected static boolean`	`containsKey(@Nullable Tree tree, Collection<@ReadOnly String> keys)`
`protected ST`	`copyState(ST in)` Copy the current state.
`protected abstract ST`	`createFlowState(Set<@Nullable AnnotationMirror> annotations)` Create the correct instance of FlowState.
`protected static boolean`	`inferFromAssert(AssertTree node, SourceChecker checker)` Determine whether information should be inferred from the assert tree.
`protected static boolean`	`isNonFinalField(@Nullable Element element)` Tests whether the element is of a non-final field
`protected abstract void`	`newVar(VariableTree tree)` Registers a new variable for flow tracking.
`protected abstract void`	`propagate(@Nullable Tree lhs, ExpressionTree rhs)` Moves bits as assignments are made.
`protected void`	`recordBits(@Nullable TreePath path)` Record the value of the annotation bit for the given usage of a variable, so that a type-checker may use its value after the analysis has finished.
`protected abstract void`	`recordBitsImps(@Nullable Tree tree, @Nullable Element elt)`
`static void`	`removeFlowResult(Map<@Nullable Tree,Set<@Nullable AnnotationMirror>> flowResults, @Nullable Tree tree, @Nullable AnnotationMirror anno)`
`void`	`scan(@Nullable Tree tree)` Scan the given (root) tree and infer the refined types.
`@Nullable Void`	`scan(@Nullable Tree tree, @Nullable Void p)`
`protected void`	`scanCond(ExpressionTree tree)` Called whenever a conditional expression is scanned.
`protected void`	`scanDef(@Nullable Tree tree)` Called whenever a definition is scanned.
`protected void`	`scanExpr(ExpressionTree tree)` Called whenever an expression is scanned.
`protected void`	`scanStat(StatementTree tree)` Called whenever a statement is scanned.
`protected void`	`scanStats(List<? extends StatementTree> trees)` Called whenever a block of statements is scanned.
`void`	`setDebug(PrintStream debug)` Sets the `PrintStream` for printing debug messages, such as `System.out` or `System.err`, or null if no debugging output should be emitted (the default).
`Set<@Nullable AnnotationMirror>`	`test(@Nullable Tree tree)` Determines the inference result for tree.
`protected boolean`	`varDefHasAnnotation(@Nullable MethodTree enclMeth, @Nullable AnnotationMirror annotation, @Nullable Element var)` Determines whether a variable definition has been annotated.
`@Nullable Void`	`visitAnnotation(AnnotationTree tree, @Nullable Void p)`
`@Nullable Void`	`visitArrayAccess(ArrayAccessTree node, @Nullable Void p)`
`@Nullable Void`	`visitAssert(AssertTree node, @Nullable Void p)`
`@Nullable Void`	`visitAssignment(AssignmentTree node, @Nullable Void p)`
`@Nullable Void`	`visitBlock(@Nullable BlockTree node, @Nullable Void p)`
`@Nullable Void`	`visitBreak(BreakTree node, @Nullable Void p)`
`@Nullable Void`	`visitClass(@Nullable ClassTree node, @Nullable Void p)`
`@Nullable Void`	`visitCompoundAssignment(CompoundAssignmentTree node, @Nullable Void p)`
`@Nullable Void`	`visitConditionalExpression(ConditionalExpressionTree node, @Nullable Void p)`
`@Nullable Void`	`visitContinue(ContinueTree node, @Nullable Void p)`
`@Nullable Void`	`visitDoWhileLoop(DoWhileLoopTree node, @Nullable Void p)`
`@Nullable Void`	`visitEnhancedForLoop(EnhancedForLoopTree node, @Nullable Void p)`
`@Nullable Void`	`visitForLoop(ForLoopTree node, @Nullable Void p)`
`@Nullable Void`	`visitIdentifier(IdentifierTree node, @Nullable Void p)`
`@Nullable Void`	`visitIf(IfTree node, @Nullable Void p)`
`@Nullable Void`	`visitImport(ImportTree tree, @Nullable Void p)`
`@Nullable Void`	`visitMemberSelect(MemberSelectTree node, @Nullable Void p)`
`@Nullable Void`	`visitMethod(@Nullable MethodTree node, @Nullable Void p)`
`void`	`visitMethodEndCallback(@Nullable MethodTree node)` This method is invoked by visitMethod before restoring the previous state before visiting the method.
`@Nullable Void`	`visitMethodInvocation(MethodInvocationTree node, @Nullable Void p)`
`@Nullable Void`	`visitReturn(ReturnTree node, @Nullable Void p)`
`@Nullable Void`	`visitThrow(ThrowTree node, @Nullable Void p)`
`@Nullable Void`	`visitTry(TryTree node, @Nullable Void p)`
`@Nullable Void`	`visitTypeCast(TypeCastTree node, @Nullable Void p)`
`@Nullable Void`	`visitVariable(VariableTree node, @Nullable Void p)`
`@Nullable Void`	`visitWhileLoop(WhileLoopTree node, @Nullable Void p)`

Methods inherited from class com.sun.source.util.TreePathScanner
getCurrentPath, scan

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

- Field Detail
  - debug
```
protected PrintStream debug
```
    Where to print debugging messages; set via setDebug(java.io.PrintStream).
  - checker
```
protected final SourceChecker checker
```
    The checker to which this instance belongs.
  - root
```
protected final @Nullable CompilationUnitTree root
```
    The file that's being analyzed.
  - factory
```
protected final AnnotatedTypeFactory factory
```
    Utility class for determining annotated types.
  - atypes
```
protected final AnnotatedTypes atypes
```
    Utility class for operations on annotated types.
  - flowResults
```
protected final Map<@Nullable Tree,Set<@Nullable AnnotationMirror>> flowResults
```
    Stores the results of the analysis (source location to qualifier).
  - flowState
```
protected ST extends FlowState flowState
```
    Tracks the state of the inference. If this field is non-null, the flowState_whenTrue and flowState_whenFalse fields are null/ignored.
  - flowState_whenTrue
```
protected ST extends FlowState flowState_whenTrue
```
    Tracks the state of the inference in a true branch. As in javac's Flow, saving/restoring via local variables handles nested branches. This field is only non-null/valid if flowState is null.
    
    See Also:
    flowState
  - flowState_whenFalse
```
protected ST extends FlowState flowState_whenFalse
```
    Tracks the state of the inference in a false branch. As in javac's Flow, saving/restoring via local variables handles nested branches. This field is only non-null/valid if flowState is null.
    
    See Also:
    flowState
  - alive
```
protected boolean alive
```
    Stores the result of liveness analysis, required by the GEN-KILL analysis for proper handling of jumps (break, return, throw, etc.).
  - annoRelations
```
protected final QualifierHierarchy annoRelations
```
    The hierarchy for the type qualifiers that this class infers.
- Constructor Detail
  - AbstractFlow
```
public AbstractFlow(BaseTypeChecker checker,
            @Nullable CompilationUnitTree root,
            Set<@Nullable AnnotationMirror> annotations,
            AnnotatedTypeFactory factory)
```
    Creates a new analysis. The analysis will use the given AnnotatedTypeFactory to obtain annotated types.
    
    Parameters:
    checker - the current checker
    root - the compilation unit that will be scanned
    annotations - the annotations to track
    factory - the factory class that will be used to get annotated types, or null if the default factory should be used
- Method Detail
  - createFlowState
```
protected abstract ST createFlowState(Set<@Nullable AnnotationMirror> annotations)
```
    Create the correct instance of FlowState.
    
    Parameters:
    annotations - The annotations that can be inferred.
    
    Returns:
    A new instance of the FlowState to use.
  - setDebug
```
public void setDebug(PrintStream debug)
```
    Description copied from interface: Flow
    
    Sets the PrintStream for printing debug messages, such as System.out or System.err, or null if no debugging output should be emitted (the default).
    
    Specified by:
    
    setDebug in interface Flow
  - scan
```
public void scan(@Nullable Tree tree)
```
    Description copied from interface: Flow
    
    Scan the given (root) tree and infer the refined types.
    
    Specified by:
    
    scan in interface Flow
    
    Parameters:
    tree - The tree to scan
  - scan
```
public @Nullable Void scan(@Nullable Tree tree,
                  @Nullable Void p)
```
    Overrides:
    
    scan in class TreePathScanner<@Nullable Void,@Nullable Void>
  - test
```
public Set<@Nullable AnnotationMirror> test(@Nullable Tree tree)
```
    Determines the inference result for tree.
    
    Specified by:
    
    test in interface Flow
    
    Parameters:
    tree - the tree to test
    
    Returns:
    the annotation inferred for a tree, or null if no annotation was inferred for that tree
  - addFlowResult
```
public static void addFlowResult(Map<@Nullable Tree,Set<@Nullable AnnotationMirror>> flowResults,
                 @Nullable Tree tree,
                 @Nullable AnnotationMirror anno)
```
  - removeFlowResult
```
public static void removeFlowResult(Map<@Nullable Tree,Set<@Nullable AnnotationMirror>> flowResults,
                    @Nullable Tree tree,
                    @Nullable AnnotationMirror anno)
```
  - newVar
```
protected abstract void newVar(VariableTree tree)
```
    Registers a new variable for flow tracking.
    
    Parameters:
    tree - the variable to register
  - propagate
```
protected abstract void propagate(@Nullable Tree lhs,
             ExpressionTree rhs)
```
    Moves bits as assignments are made.
    If only type information (and not a Tree) is available, use propagateFromType(Tree, AnnotatedTypeMirror) instead.
    
    Parameters:
    lhs - the left-hand side of the assignment
    rhs - the right-hand side of the assignment
  - recordBits
```
protected void recordBits(@Nullable TreePath path)
```
    Record the value of the annotation bit for the given usage of a variable, so that a type-checker may use its value after the analysis has finished.
    
    Parameters:
    path -
  - recordBitsImps
```
protected abstract void recordBitsImps(@Nullable Tree tree,
                  @Nullable Element elt)
```
  - scanDef
```
protected void scanDef(@Nullable Tree tree)
```
    Called whenever a definition is scanned.
    
    Parameters:
    tree - the definition being scanned
  - scanStat
```
protected void scanStat(StatementTree tree)
```
    Called whenever a statement is scanned.
    
    Parameters:
    tree - the statement being scanned
  - scanStats
```
protected void scanStats(List<? extends StatementTree> trees)
```
    Called whenever a block of statements is scanned.
    
    Parameters:
    trees - the statements being scanned
  - scanCond
```
protected void scanCond(ExpressionTree tree)
```
    Called whenever a conditional expression is scanned.
    
    Parameters:
    tree - the condition being scanned
  - copyState
```
protected ST copyState(ST in)
```
    Copy the current state. We need the unchecked cast, because there is no way to type that "copy" will return the same type.
    
    Returns:
    A deep copy of the current state.
  - scanExpr
```
protected void scanExpr(ExpressionTree tree)
```
    Called whenever an expression is scanned.
    
    Parameters:
    tree - the expression being scanned
  - visitClass
```
public @Nullable Void visitClass(@Nullable ClassTree node,
                        @Nullable Void p)
```
    Specified by:
    
    visitClass in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitClass in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitImport
```
public @Nullable Void visitImport(ImportTree tree,
                         @Nullable Void p)
```
    Specified by:
    
    visitImport in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitImport in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitTypeCast
```
public @Nullable Void visitTypeCast(TypeCastTree node,
                           @Nullable Void p)
```
    Specified by:
    
    visitTypeCast in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitTypeCast in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitAnnotation
```
public @Nullable Void visitAnnotation(AnnotationTree tree,
                             @Nullable Void p)
```
    Specified by:
    
    visitAnnotation in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitAnnotation in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitIdentifier
```
public @Nullable Void visitIdentifier(IdentifierTree node,
                             @Nullable Void p)
```
    Specified by:
    
    visitIdentifier in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitIdentifier in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitMemberSelect
```
public @Nullable Void visitMemberSelect(MemberSelectTree node,
                               @Nullable Void p)
```
    Specified by:
    
    visitMemberSelect in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMemberSelect in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitVariable
```
public @Nullable Void visitVariable(VariableTree node,
                           @Nullable Void p)
```
    Specified by:
    
    visitVariable in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitVariable in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitAssignment
```
public @Nullable Void visitAssignment(AssignmentTree node,
                             @Nullable Void p)
```
    Specified by:
    
    visitAssignment in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitAssignment in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitCompoundAssignment
```
public @Nullable Void visitCompoundAssignment(CompoundAssignmentTree node,
                                     @Nullable Void p)
```
    Specified by:
    
    visitCompoundAssignment in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitCompoundAssignment in class TreeScanner<@Nullable Void,@Nullable Void>
  - containsKey
```
protected static boolean containsKey(@Nullable Tree tree,
                  Collection<@ReadOnly String> keys)
```
  - inferFromAssert
```
protected static boolean inferFromAssert(AssertTree node,
                      SourceChecker checker)
```
    Determine whether information should be inferred from the assert tree.
    
    Returns:
    true iff information should be inferred.
  - visitAssert
```
public @Nullable Void visitAssert(AssertTree node,
                         @Nullable Void p)
```
    Specified by:
    
    visitAssert in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitAssert in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitIf
```
public @Nullable Void visitIf(IfTree node,
                     @Nullable Void p)
```
    Specified by:
    
    visitIf in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitIf in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitConditionalExpression
```
public @Nullable Void visitConditionalExpression(ConditionalExpressionTree node,
                                        @Nullable Void p)
```
    Specified by:
    
    visitConditionalExpression in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitConditionalExpression in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitWhileLoop
```
public @Nullable Void visitWhileLoop(WhileLoopTree node,
                            @Nullable Void p)
```
    Specified by:
    
    visitWhileLoop in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitWhileLoop in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitDoWhileLoop
```
public @Nullable Void visitDoWhileLoop(DoWhileLoopTree node,
                              @Nullable Void p)
```
    Specified by:
    
    visitDoWhileLoop in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitDoWhileLoop in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitForLoop
```
public @Nullable Void visitForLoop(ForLoopTree node,
                          @Nullable Void p)
```
    Specified by:
    
    visitForLoop in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitForLoop in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitEnhancedForLoop
```
public @Nullable Void visitEnhancedForLoop(EnhancedForLoopTree node,
                                  @Nullable Void p)
```
    Specified by:
    
    visitEnhancedForLoop in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitEnhancedForLoop in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitBreak
```
public @Nullable Void visitBreak(BreakTree node,
                        @Nullable Void p)
```
    Specified by:
    
    visitBreak in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitBreak in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitContinue
```
public @Nullable Void visitContinue(ContinueTree node,
                           @Nullable Void p)
```
    Specified by:
    
    visitContinue in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitContinue in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitReturn
```
public @Nullable Void visitReturn(ReturnTree node,
                         @Nullable Void p)
```
    Specified by:
    
    visitReturn in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitReturn in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitThrow
```
public @Nullable Void visitThrow(ThrowTree node,
                        @Nullable Void p)
```
    Specified by:
    
    visitThrow in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitThrow in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitTry
```
public @Nullable Void visitTry(TryTree node,
                      @Nullable Void p)
```
    Specified by:
    
    visitTry in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitTry in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitMethodInvocation
```
public @Nullable Void visitMethodInvocation(MethodInvocationTree node,
                                   @Nullable Void p)
```
    Specified by:
    
    visitMethodInvocation in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMethodInvocation in class TreeScanner<@Nullable Void,@Nullable Void>
  - checkArguments
```
protected void checkArguments(List<? extends @Mutable AnnotatedTypeMirror> requiredArgs,
                  List<? extends ExpressionTree> passedArgs)
```
  - clearOnCall
```
protected abstract void clearOnCall(@Nullable MethodTree enclMeth,
               @NonNull ExecutableElement method)
```
    Clear whatever part of the state that gets invalidated by invoking the method.
    
    Parameters:
    enclMeth - The method within which "method" is called. Might be null if the invocation is in a field initializer.
    method - The invoked method.
  - visitBlock
```
public @Nullable Void visitBlock(@Nullable BlockTree node,
                        @Nullable Void p)
```
    Specified by:
    
    visitBlock in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitBlock in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitMethod
```
public @Nullable Void visitMethod(@Nullable MethodTree node,
                         @Nullable Void p)
```
    Specified by:
    
    visitMethod in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMethod in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitMethodEndCallback
```
public void visitMethodEndCallback(@Nullable MethodTree node)
```
    This method is invoked by visitMethod before restoring the previous state before visiting the method. This method is used to investigate the state at that point.
    
    Parameters:
    node -
  - visitArrayAccess
```
public @Nullable Void visitArrayAccess(ArrayAccessTree node,
                              @Nullable Void p)
```
    Specified by:
    
    visitArrayAccess in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitArrayAccess in class TreeScanner<@Nullable Void,@Nullable Void>
  - varDefHasAnnotation
```
protected boolean varDefHasAnnotation(@Nullable MethodTree enclMeth,
                          @Nullable AnnotationMirror annotation,
                          @Nullable Element var)
```
    Determines whether a variable definition has been annotated.
    
    Parameters:
    enclMeth - the method within which the check happens; null e.g. in field initializers
    annotation - the annotation to check for
    var - the variable to check
    
    Returns:
    true if the variable has the given annotation, false otherwise
  - isNonFinalField
```
protected static final boolean isNonFinalField(@Nullable Element element)
```
    Tests whether the element is of a non-final field
    
    Returns:
    true iff element is a non-final field

Class AbstractFlow<ST extends FlowState>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class com.sun.source.util.TreePathScanner

Methods inherited from class com.sun.source.util.TreeScanner

Methods inherited from class java.lang.Object

Field Detail

debug

checker

root

factory

atypes

flowResults

flowState

flowState_whenTrue

flowState_whenFalse

alive

annoRelations

Constructor Detail

AbstractFlow

Method Detail

createFlowState

setDebug

scan

scan

test

addFlowResult

removeFlowResult

newVar

propagate

recordBits

recordBitsImps

scanDef

scanStat

scanStats

scanCond

copyState

scanExpr

visitClass

visitImport

visitTypeCast

visitAnnotation

visitIdentifier

visitMemberSelect

visitVariable

visitAssignment

visitCompoundAssignment

containsKey

inferFromAssert

visitAssert

visitIf

visitConditionalExpression

visitWhileLoop

visitDoWhileLoop

visitForLoop

visitEnhancedForLoop

visitBreak

visitContinue

visitReturn

visitThrow

visitTry

visitMethodInvocation

checkArguments

clearOnCall

visitBlock

visitMethod

visitMethodEndCallback

visitArrayAccess

varDefHasAnnotation

isNonFinalField