A C D E F G I M N R S T U V

A

annos - Variable in class checkers.flow.MainFlow
Tracks the annotated state of each variable during flow.
annosWhenFalse - Variable in class checkers.flow.MainFlow
Tracks the annotated state of each variable in a false branch.
annosWhenTrue - Variable in class checkers.flow.MainFlow
Tracks the annotated state of each variable in a true branch.
AnnotationAsAnnotationValueVisitor - Class in checkers.typestate
A visitor which, for the value of a parameter of an annotation, returns the corresponding AnnotationMirror if the value is an annotation, or null otherwise.
AnnotationAsAnnotationValueVisitor(AnnotationUtils, Types) - Constructor for class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
annotations - Variable in class checkers.flow.MainFlow
The annotations (qualifiers) to infer.
AnnotationsAsAnnotationValueVisitor - Class in checkers.typestate
A visitor which, for the value of a parameter of an annotation, returns the corresponding set of AnnotationMirror if the value is a set of annotations, or null otherwise.
AnnotationsAsAnnotationValueVisitor(AnnotationUtils, Types) - Constructor for class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
Any - Annotation Type in checkers.typestate
A special state annotation, specifying that an object may be in an arbitrary state.
anyAnnotationCovers(AnnotationMirror, Set<AnnotationMirror>) - Method in class checkers.typestate.TypestateUtil
 
atypes - Variable in class checkers.flow.MainFlow
Utility class for operations on annotated types.

C

catchBits - Variable in class checkers.flow.MainFlow
Tracks annotations in potential exception-throwing statements in catch blocks.
checker - Variable in class checkers.flow.MainFlow
The checker to which this instance belongs.
checkers.flow - package checkers.flow
 
checkers.types - package checkers.types
 
checkers.typestate - package checkers.typestate
 
createSourceVisitor(CompilationUnitTree) - Method in class checkers.typestate.TypestateChecker
 

D

defaultAction(Tree, TypestateTypeFromExpression.TypestateTypeFromExpressionEnv) - Method in class checkers.types.TypestateTypeFromExpression
 

E

elements - Variable in class checkers.flow.MainFlow
Utilities for Elements.
env - Variable in class checkers.flow.MainFlow
The processing environment to use.
EXCEPT_ELEMENT_NAME - Static variable in class checkers.typestate.TypestateUtil
 
EXCEPTION_ELEMENT_NAME - Static variable in class checkers.typestate.TypestateUtil
 

F

factory - Variable in class checkers.flow.MainFlow
Utility class for determining annotated types.
filterStateAnnotations(Set<AnnotationMirror>) - Method in class checkers.typestate.TypestateUtil
 
fromExpression(ExpressionTree) - Method in class checkers.typestate.TypestateAnnotatedTypeFactory
 

G

getAfterParameterValue(AnnotationMirror) - Method in class checkers.typestate.TypestateUtil
 
getExceptionParameterValue(AnnotationMirror) - Method in class checkers.typestate.TypestateUtil
 
getExceptParameterValue(AnnotationMirror) - Method in class checkers.typestate.TypestateUtil
 
getFactory() - Method in class checkers.types.TypestateTypeFromExpression.TypestateTypeFromExpressionEnv
 
getTypestateUtil() - Method in class checkers.types.TypestateTypeFromExpression.TypestateTypeFromExpressionEnv
 

I

INSTANCE - Static variable in class checkers.types.TypestateTypeFromExpression
The singleton instance.
isAnyStateAnnotation(AnnotationMirror) - Method in class checkers.typestate.TypestateUtil
 
isStateAnnotation(DeclaredType) - Method in class checkers.typestate.TypestateUtil
 
isStateAnnotation(AnnotationMirror) - Method in class checkers.typestate.TypestateUtil
 

M

MainFlow - Class in checkers.flow
A modified version of Flow.
MainFlow(SourceChecker, CompilationUnitTree, Set<AnnotationMirror>, AnnotatedTypeFactory) - Constructor for class checkers.flow.MainFlow
Creates a new analysis.
makeEnv(AnnotatedTypeFactory, TypestateUtil) - Static method in class checkers.types.TypestateTypeFromExpression
 

N

NoChange - Annotation Type in checkers.typestate
A special state annotation used as the default value for elements of the @State annotation.

R

root - Variable in class checkers.flow.MainFlow
The file that's being analyzed.

S

scan(Tree, Void) - Method in class checkers.flow.MainFlow
 
scanCond(Tree) - Method in class checkers.flow.MainFlow
Called whenever a conditional expression is scanned.
scanDef(Tree) - Method in class checkers.flow.MainFlow
Called whenever a definition is scanned.
scanExpr(ExpressionTree) - Method in class checkers.flow.MainFlow
Called whenever an expression is scanned.
scanStat(StatementTree) - Method in class checkers.flow.MainFlow
Called whenever a statement is scanned.
scanStats(List<? extends StatementTree>) - Method in class checkers.flow.MainFlow
Called whenever a block of statements is scanned.
source - Variable in class checkers.flow.MainFlow
Utility class for getting source positions.
State - Annotation Type in checkers.typestate
Marks an annotation as a state annotation.
StateAnnotationsDetector - Class in checkers.typestate
Detects all annotations annotated with State, used on any program element.
StateAnnotationsDetector(ProcessingEnvironment, TypestateUtil, AnnotatedTypeFactory) - Constructor for class checkers.typestate.StateAnnotationsDetector
 

T

TRANSITION_ELEMENT_NAME - Static variable in class checkers.typestate.TypestateUtil
 
tryBits - Variable in class checkers.flow.MainFlow
Tracks annotations in potential exception-throwing statements in try blocks.
TypestateAnnotatedTypeFactory - Class in checkers.typestate
 
TypestateAnnotatedTypeFactory(ProcessingEnvironment, TypestateUtil, CompilationUnitTree) - Constructor for class checkers.typestate.TypestateAnnotatedTypeFactory
 
TypestateChecker - Class in checkers.typestate
 
TypestateChecker() - Constructor for class checkers.typestate.TypestateChecker
 
TypestateFlow - Class in checkers.typestate
 
TypestateFlow(SourceChecker, Set<AnnotationMirror>, AnnotatedTypeFactory, CompilationUnitTree, TypestateUtil) - Constructor for class checkers.typestate.TypestateFlow
 
TypestateTypeFromExpression - Class in checkers.types
 
TypestateTypeFromExpression.TypestateTypeFromExpressionEnv - Class in checkers.types
 
TypestateUtil - Class in checkers.typestate
 
TypestateUtil(ProcessingEnvironment) - Constructor for class checkers.typestate.TypestateUtil
 

U

updateExceptionBits(GenKillBits<AnnotationMirror>) - Method in class checkers.flow.MainFlow
Updates the current try and catch bits on an exception-throwing statement.
updateExceptionBits() - Method in class checkers.flow.MainFlow
 
updateExceptionBits() - Method in class checkers.typestate.TypestateFlow
 

V

vars - Variable in class checkers.flow.MainFlow
Maps variables to a bit index.
visit(AnnotationValue, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visit(AnnotationValue) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visit(AnnotationValue, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visit(AnnotationValue) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitAnnotation(AnnotationTree, Void) - Method in class checkers.flow.MainFlow
 
visitAnnotation(AnnotationMirror, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitAnnotation(AnnotationMirror, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitAnnotation(AnnotationTree, Set<AnnotationMirror>) - Method in class checkers.typestate.StateAnnotationsDetector
 
visitArray(List<? extends AnnotationValue>, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitArray(List<? extends AnnotationValue>, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitAssert(AssertTree, Void) - Method in class checkers.flow.MainFlow
 
visitAssignment(AssignmentTree, Void) - Method in class checkers.flow.MainFlow
 
visitBlock(BlockTree, Void) - Method in class checkers.flow.MainFlow
 
visitBoolean(boolean, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitBoolean(boolean, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitBreak(BreakTree, Void) - Method in class checkers.flow.MainFlow
 
visitByte(byte, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitByte(byte, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitChar(char, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitChar(char, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitClass(ClassTree, Void) - Method in class checkers.flow.MainFlow
 
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class checkers.flow.MainFlow
 
visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class checkers.flow.MainFlow
 
visitContinue(ContinueTree, Void) - Method in class checkers.flow.MainFlow
 
visitDouble(double, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitDouble(double, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitDoWhileLoop(DoWhileLoopTree, Void) - Method in class checkers.flow.MainFlow
 
visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class checkers.flow.MainFlow
 
visitEnumConstant(VariableElement, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitEnumConstant(VariableElement, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitFloat(float, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitFloat(float, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitForLoop(ForLoopTree, Void) - Method in class checkers.flow.MainFlow
 
visitIf(IfTree, Void) - Method in class checkers.flow.MainFlow
 
visitImport(ImportTree, Void) - Method in class checkers.flow.MainFlow
 
visitInt(int, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitInt(int, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitLong(long, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitLong(long, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitMethod(MethodTree, Void) - Method in class checkers.flow.MainFlow
 
visitMethod(MethodTree, Set<AnnotationMirror>) - Method in class checkers.typestate.StateAnnotationsDetector
 
visitMethodInvocation(MethodInvocationTree, Void) - Method in class checkers.flow.MainFlow
 
visitMethodInvocation(MethodInvocationTree, Set<AnnotationMirror>) - Method in class checkers.typestate.StateAnnotationsDetector
 
visitMethodInvocation(MethodInvocationTree, Void) - Method in class checkers.typestate.TypestateFlow
 
visitNewClass(NewClassTree, TypestateTypeFromExpression.TypestateTypeFromExpressionEnv) - Method in class checkers.types.TypestateTypeFromExpression
 
visitReturn(ReturnTree, Void) - Method in class checkers.flow.MainFlow
 
visitShort(short, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitShort(short, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitString(String, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitString(String, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitThrow(ThrowTree, Void) - Method in class checkers.flow.MainFlow
 
visitTry(TryTree, Void) - Method in class checkers.flow.MainFlow
 
visitType(TypeMirror, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitType(TypeMirror, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitUnknown(AnnotationValue, Void) - Method in class checkers.typestate.AnnotationAsAnnotationValueVisitor
 
visitUnknown(AnnotationValue, Void) - Method in class checkers.typestate.AnnotationsAsAnnotationValueVisitor
 
visitVariable(VariableTree, Void) - Method in class checkers.flow.MainFlow
 
visitWhileLoop(WhileLoopTree, Void) - Method in class checkers.flow.MainFlow
 

A C D E F G I M N R S T U V