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.