org.checkerframework.javacutil

Interfaces

• AnnotationProvider

Classes

• AbstractTypeProcessor
• AnnotationBuilder
• AnnotationUtils
• BasicAnnotationProvider
• BasicTypeProcessor
• CollectionUtils
• ElementUtils
• InternalUtils
• Pair
• Resolver
• SwitchExpressionScanner
• SwitchExpressionScanner.FunctionalSwitchExpressionScanner
• SystemUtil
• TreePathUtil
• TreeUtils
• TypeAnnotationUtils
• TypeKindUtils
• TypesUtils

Enums

• TypeKindUtils.PrimitiveConversionKind

Exceptions

• BugInCF
• TypeSystemError
• UserError