Package checkers.typestate

Class Summary
AnnotationAsAnnotationValueVisitor 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.
AnnotationsAsAnnotationValueVisitor 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.
StateAnnotationsDetector Detects all annotations annotated with State, used on any program element.
TypestateAnnotatedTypeFactory  
TypestateChecker  
TypestateFlow  
TypestateUtil  
 

Annotation Types Summary
Any A special state annotation, specifying that an object may be in an arbitrary state.
NoChange A special state annotation used as the default value for elements of the @State annotation.
State Marks an annotation as a state annotation.