Class AnnotationFileParser.RecordStub
- java.lang.Object
-
- org.checkerframework.framework.stub.AnnotationFileParser.RecordStub
-
- Enclosing class:
- AnnotationFileParser
public static class AnnotationFileParser.RecordStub extends java.lang.Object
Information about a record from a stub file.
-
-
Field Summary
Fields Modifier and Type Field Description java.util.Map<java.lang.String,AnnotationFileParser.RecordComponentStub>
componentsByName
A map from name to record component.@MonotonicNonNull java.util.List<AnnotatedTypeMirror>
componentsInCanonicalConstructor
If the canonical constructor is given in the stubs, the annotated types (in component declaration order) for the constructor.
-
Constructor Summary
Constructors Constructor Description RecordStub(java.util.Map<java.lang.String,AnnotationFileParser.RecordComponentStub> componentsByName)
Creates a new RecordStub.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<AnnotatedTypeMirror>
getComponentsInCanonicalConstructor()
Returns the annotated types for the parameters to the canonical constructor.
-
-
-
Field Detail
-
componentsByName
public final java.util.Map<java.lang.String,AnnotationFileParser.RecordComponentStub> componentsByName
A map from name to record component. It must have deterministic insertion/iteration order: the order that they are declared in the record header.
-
componentsInCanonicalConstructor
public @MonotonicNonNull java.util.List<AnnotatedTypeMirror> componentsInCanonicalConstructor
If the canonical constructor is given in the stubs, the annotated types (in component declaration order) for the constructor. Null if not present in the stubs.
-
-
Constructor Detail
-
RecordStub
public RecordStub(java.util.Map<java.lang.String,AnnotationFileParser.RecordComponentStub> componentsByName)
Creates a new RecordStub.- Parameters:
componentsByName
- a map from name to record component. It must have deterministic insertion/iteration order: the order that they are declared in the record header.
-
-
Method Detail
-
getComponentsInCanonicalConstructor
public java.util.List<AnnotatedTypeMirror> getComponentsInCanonicalConstructor()
Returns the annotated types for the parameters to the canonical constructor. This is either from explicit annotations on the constructor in the stubs, otherwise it's taken from the annotations on the record components in the stubs.- Returns:
- the annotated types for the parameters to the canonical constructor
-
-