Class AnnotationFileParser.AnnotationFileAnnotations
- java.lang.Object
-
- org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileAnnotations
-
- Enclosing class:
- AnnotationFileParser
public static class AnnotationFileParser.AnnotationFileAnnotations extends java.lang.Object
The result of calling AnnotationFileParser.parse: the annotated types and declaration annotations from the file.
-
-
Field Summary
Fields Modifier and Type Field Description java.util.Map<javax.lang.model.element.Element,AnnotatedTypeMirror>
atypes
Map from element to its type as declared in the annotation file.java.util.Map<java.lang.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.java.util.Map<javax.lang.model.element.ExecutableElement,java.util.List<org.plumelib.util.IPair<javax.lang.model.type.TypeMirror,AnnotatedTypeMirror>>>
fakeOverrides
Map from a method element to all the fake overrides of it.java.util.Map<java.lang.String,AnnotationFileParser.RecordStub>
records
Maps fully qualified record name to information in the stub file.
-
Constructor Summary
Constructors Constructor Description AnnotationFileAnnotations()
-
-
-
Field Detail
-
atypes
public final java.util.Map<javax.lang.model.element.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 java.util.Map<java.lang.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 java.util.Map<javax.lang.model.element.ExecutableElement,java.util.List<org.plumelib.util.IPair<javax.lang.model.type.TypeMirror,AnnotatedTypeMirror>>> fakeOverrides
Map from a method element to all the fake overrides of it. Given a keyee
, the fake overrides are always in subtypes ofee.getEnclosingElement()
, which is the same asee.getReceiverType()
.
-
records
public final java.util.Map<java.lang.String,AnnotationFileParser.RecordStub> records
Maps fully qualified record name to information in the stub file.
-
-