checkers.typestate

Classes  AnnotationAsAnnotationValueVisitor AnnotationsAsAnnotationValueVisitor StateAnnotationsDetector TypestateAnnotatedTypeFactory TypestateChecker TypestateFlow TypestateUtil

Annotation Types  Any NoChange State