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.FakeOverride	A fake override: the type in which the fake override is declared, and the method type.
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.
AnnotationFileUtil.QualifiedName	A qualified name, split into the part before the last period and the part after it.
FileAnnotationFileResource	File-based implementation of AnnotationFileResource.
JarEntryAnnotationFileResource	JarEntry-based implementation of AnnotationFileResource.
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).