Package org.checkerframework.framework.stub

package org.checkerframework.framework.stub

Class	Description
AddAnnotatedFor	Utility that generates @AnnotatedFor class annotations.
AnnotationFileElementTypes	Holds information about types parsed from annotation files (stub files or ajava files).
AnnotationFileParser	This class has three static methods.
AnnotationFileParser.AnnotationFileAnnotations	The result of calling AnnotationFileParser.parse: the annotated types and declaration annotations from the file.
AnnotationFileParser.AnnotationFileParserException	An exception indicating a problem while parsing an annotation file.
AnnotationFileParser.RecordComponentStub	Information about a record component: its type, and whether there was an accessor in the stubs for that component.
AnnotationFileParser.RecordStub	Information about a record from a stub file.
AnnotationFileResource	Interface for sources of stub data.
AnnotationFileUtil	Utility class for annotation files (stub files and ajava files).
AnnotationFileUtil.AnnotationFileType	The types of files that can contain annotations.
FileAnnotationFileResource	File-based implementation of AnnotationFileResource.
JarEntryAnnotationFileResource	JarEntry-based implementation of AnnotationFileResource.
JavaStubifier	Process Java source files in a directory to produce, in-place, minimal stub files.
RemoveAnnotationsForInference	Process Java source files to remove annotations that ought to be inferred.
StubGenerator	Generates a stub file from a single class or an entire package.
ToIndexFileConverter	Convert a JAIF file plus a stub file into index files (JAIFs).