Package org.checkerframework.framework.util.typeinference.solver

Class TargetConstraints.Subtypes

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes

Enclosing class:

TargetConstraints

protected static class TargetConstraints.Subtypes
extends 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.
final Map<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.
final 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

Modifier and Type	Method	Description
void	clear()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

primaries

public AnnotationMirrorMap<AnnotationMirrorSet> primaries

Map from hierarchy top to annotations that are supertypes to target in hierarchy.

types

public final 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 Map<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.

Constructor Details

Subtypes

public Subtypes()

Create a new Subtypes.

Method Details

clear

public void clear()