org.checkerframework.javacutil

Interfaces

• AnnotationProvider

Classes

• AbstractTypeProcessor
• AnnotationBuilder
• AnnotationUtils
• BasicAnnotationProvider
• BasicTypeProcessor
• CollectionUtils
• ElementUtils
• InternalUtils
• Pair
• PluginUtil
• Resolver
• SystemUtil
• TreeUtils
• TypeAnnotationUtils
• TypeKindUtils
• TypesUtils

Enums

• PluginUtil.CheckerProp
• TypeKindUtils.PrimitiveConversionKind

Exceptions

• BugInCF
• TypeSystemError
• UserError