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