checkers.typestate
Classes 
AnnotationAsAnnotationValueVisitor
AnnotationsAsAnnotationValueVisitor
StateAnnotationsDetector
TypestateAnnotatedTypeFactory
TypestateChecker
TypestateFlow
TypestateUtil
Annotation Types 
Any
NoChange
State