Class TargetConstraints.Subtypes
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes
-
- Enclosing class:
- TargetConstraints
protected static class TargetConstraints.Subtypes extends java.lang.Object
Remember these are constraints in which the target is the subtype.
-
-
Field Summary
Fields Modifier and Type Field Description AnnotationMirrorMap<AnnotationMirrorSet>
primaries
Map from hierarchy top to annotations that are supertypes to target in hierarchy.java.util.Map<javax.lang.model.type.TypeVariable,AnnotationMirrorSet>
targets
Map from otherTarget to hierarchy tops for which the primary annotations of otherTarget are supertypes of the primary annotations of the target.java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet>
types
Map from type to hierarchy tops for which the primary annotations of type are supertypes of the primary annotations of the target.
-
Constructor Summary
Constructors Constructor Description Subtypes()
Create a new Subtypes.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
clear()
-
-
-
Field Detail
-
primaries
public final AnnotationMirrorMap<AnnotationMirrorSet> primaries
Map from hierarchy top to annotations that are supertypes to target in hierarchy.
-
types
public final java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet> types
Map from type to hierarchy tops for which the primary annotations of type are supertypes of the primary annotations of the target.Note all components and underlying types must uphold the supertype relationship in all hierarchies.
-
targets
public final java.util.Map<javax.lang.model.type.TypeVariable,AnnotationMirrorSet> targets
Map from otherTarget to hierarchy tops for which the primary annotations of otherTarget are supertypes of the primary annotations of the target.Note all components and underlying types must uphold the subtype relationship in all hierarchies.
-
-