Class TargetConstraints.Subtypes
java.lang.Object
org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes
- Enclosing class:
- TargetConstraints
Remember these are constraints in which the target is the subtype.
-
Field Summary
Modifier and TypeFieldDescriptionMap from hierarchy top to annotations that are supertypes to target in hierarchy.final Map<TypeVariable,
AnnotationMirrorSet> Map from otherTarget to hierarchy tops for which the primary annotations of otherTarget are supertypes of the primary annotations of the target.Map from type to hierarchy tops for which the primary annotations of type are supertypes of the primary annotations of the target. -
Constructor Summary
-
Method Summary
-
Field Details
-
primaries
Map from hierarchy top to annotations that are supertypes to target in hierarchy. -
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
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.
-
-
Constructor Details
-
Subtypes
public Subtypes()Create a new Subtypes.
-
-
Method Details
-
clear
public void clear()
-