org.checkerframework.framework.stub

Interfaces

• AnnotationFileResource

Classes

• AddAnnotatedFor
• AnnotationFileElementTypes
• AnnotationFileParser
• AnnotationFileParser.AnnotationFileAnnotations
• AnnotationFileParser.RecordComponentStub
• AnnotationFileParser.RecordStub
• AnnotationFileUtil
• FileAnnotationFileResource
• JarEntryAnnotationFileResource
• JavaStubifier
• RemoveAnnotationsForInference
• StubGenerator
• ToIndexFileConverter

Enums

• AnnotationFileUtil.AnnotationFileType

Exceptions

• AnnotationFileParser.AnnotationFileParserException