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.

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.

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.

Constructor Detail

AnnotationFileAnnotations

public AnnotationFileAnnotations()