org.checkerframework.framework.type.typeannotator
Classes
DefaultForTypeAnnotator
DefaultQualifierForUseTypeAnnotator
IrrelevantTypeAnnotator
ListTypeAnnotator
PropagationTypeAnnotator
TypeAnnotator