Class TargetConstraints.Supertypes
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Supertypes
-
- Enclosing class:
- TargetConstraints
protected static class TargetConstraints.Supertypes extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description AnnotationMirrorMap<AnnotationMirrorSet>
primaries
java.util.Map<javax.lang.model.type.TypeVariable,AnnotationMirrorSet>
targets
java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet>
types
-
Constructor Summary
Constructors Modifier Constructor Description protected
Supertypes()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
clear()
-
-
-
Field Detail
-
primaries
public final AnnotationMirrorMap<AnnotationMirrorSet> primaries
-
types
public final java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet> types
-
targets
public final java.util.Map<javax.lang.model.type.TypeVariable,AnnotationMirrorSet> targets
-
-