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 and Description
Map<Element,AnnotatedTypeMirror>	atypes Map from element to its type as declared in the annotation file.
Map<String,Set<AnnotationMirror>>	declAnnos Map from a name (actually declaration element string) to the set of declaration annotations on it, as written in the annotation file.
Map<ExecutableElement,List<Pair<TypeMirror,AnnotatedTypeMirror>>>	fakeOverrides Map from a method element to all the fake overrides of it.

Constructor Summary

Constructors

Constructor and Description
AnnotationFileAnnotations()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

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,Set<AnnotationMirror>> 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().

Constructor Detail

AnnotationFileAnnotations

public AnnotationFileAnnotations()