Package org.checkerframework.framework.stub

Class AnnotationFileParser.AnnotationFileAnnotations

java.lang.Object

org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileAnnotations

Enclosing class:

AnnotationFileParser

public static class AnnotationFileParser.AnnotationFileAnnotations
extends Object

The result of calling AnnotationFileParser.parse: the annotated types and declaration annotations from the file.

Field Summary

Fields

Modifier and Type	Field	Description
final Map<Element,AnnotatedTypeMirror>	atypes	Map from element to its type as declared in the annotation file.
final Map<String,AnnotationMirrorSet>	declAnnos	Map from a name (actually declaration element string) to the set of declaration annotations on it, as written in the annotation file.
final Map<ExecutableElement,List<Pair<TypeMirror,AnnotatedTypeMirror>>>	fakeOverrides	Map from a method element to all the fake overrides of it.
final Map<String,AnnotationFileParser.RecordStub>	records	Maps fully qualified record name to information in the stub file.

Constructor Summary

Constructors

Constructor	Description
AnnotationFileAnnotations()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

atypes

public final Map<Element,AnnotatedTypeMirror> atypes

Map from element to its type as declared in the annotation file.

This is a fine-grained mapping that contains all sorts of elements; contrast with fakeOverrides.

declAnnos

public final Map<String,AnnotationMirrorSet> declAnnos

Map from a name (actually declaration element string) to the set of declaration annotations on it, as written in the annotation file.

Map keys cannot be Element, because a different Element appears in the annotation files than in the real files. So, map keys are the verbose element name, as returned by ElementUtils.getQualifiedName.

fakeOverrides

public final Map<ExecutableElement,List<Pair<TypeMirror,AnnotatedTypeMirror>>> fakeOverrides

Map from a method element to all the fake overrides of it. Given a key ee, the fake overrides are always in subtypes of ee.getEnclosingElement(), which is the same as ee.getReceiverType().

records

public final Map<String,AnnotationFileParser.RecordStub> records

Maps fully qualified record name to information in the stub file.

Constructor Details

AnnotationFileAnnotations

public AnnotationFileAnnotations()