public class ConstraintMap
extends java.lang.Object
This really consists of these things:
target ⇒ constraints for target
)
Constructor and Description |
---|
ConstraintMap(ConstraintMap toCopy) |
ConstraintMap(java.util.Set<javax.lang.model.type.TypeVariable> targets) |
Modifier and Type | Method and Description |
---|---|
void |
addPrimaryEqualities(javax.lang.model.type.TypeVariable target,
QualifierHierarchy qualHierarchy,
AnnotationMirrorSet annos)
Add a constraint indicating that target has primary annotations equal to the given
annotations.
|
void |
addPrimarySubtypes(javax.lang.model.type.TypeVariable target,
QualifierHierarchy qualifierHierarchy,
AnnotationMirrorSet annos)
Add a constraint indicating that target's primary annotations are subtypes of the given
annotations.
|
void |
addPrimarySupertype(javax.lang.model.type.TypeVariable target,
QualifierHierarchy qualifierHierarchy,
AnnotationMirrorSet annos)
Add a constraint indicating that target's primary annotations are subtypes of the given
annotations.
|
void |
addTargetEquality(javax.lang.model.type.TypeVariable target,
javax.lang.model.type.TypeVariable equivalent,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that the equivalent is equal to target in the given qualifier
hierarchies.
|
void |
addTargetSubtype(javax.lang.model.type.TypeVariable target,
javax.lang.model.type.TypeVariable supertype,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that target is a subtype of supertype in the given qualifier
hierarchies.
|
void |
addTargetSupertype(javax.lang.model.type.TypeVariable target,
javax.lang.model.type.TypeVariable subtype,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that target is a supertype of subtype in the given qualifier
hierarchies.
|
void |
addTypeEqualities(javax.lang.model.type.TypeVariable target,
AnnotatedTypeMirror type,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that target is equal to type in the given hierarchies.
|
void |
addTypeSubtype(javax.lang.model.type.TypeVariable target,
AnnotatedTypeMirror supertype,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that target is a subtype of supertype in the given qualifier
hierarchies.
|
void |
addTypeSupertype(javax.lang.model.type.TypeVariable target,
AnnotatedTypeMirror subtype,
AnnotationMirrorSet hierarchies)
Add a constraint indicating that target is a supertype of subtype in the given qualifier
hierarchies.
|
TargetConstraints |
getConstraints(javax.lang.model.type.TypeVariable target)
Gets the equality, subtypes, and supertypes constraints for a particular target.
|
java.util.Set<javax.lang.model.type.TypeVariable> |
getTargets() |
public ConstraintMap(java.util.Set<javax.lang.model.type.TypeVariable> targets)
public ConstraintMap(ConstraintMap toCopy)
public TargetConstraints getConstraints(javax.lang.model.type.TypeVariable target)
public java.util.Set<javax.lang.model.type.TypeVariable> getTargets()
public void addTargetEquality(javax.lang.model.type.TypeVariable target, javax.lang.model.type.TypeVariable equivalent, AnnotationMirrorSet hierarchies)
public void addPrimaryEqualities(javax.lang.model.type.TypeVariable target, QualifierHierarchy qualHierarchy, AnnotationMirrorSet annos)
public void addTargetSupertype(javax.lang.model.type.TypeVariable target, javax.lang.model.type.TypeVariable subtype, AnnotationMirrorSet hierarchies)
hierarchies
- a set of TOP annotationspublic void addTypeSupertype(javax.lang.model.type.TypeVariable target, AnnotatedTypeMirror subtype, AnnotationMirrorSet hierarchies)
hierarchies
- a set of TOP annotationspublic void addPrimarySupertype(javax.lang.model.type.TypeVariable target, QualifierHierarchy qualifierHierarchy, AnnotationMirrorSet annos)
public void addTargetSubtype(javax.lang.model.type.TypeVariable target, javax.lang.model.type.TypeVariable supertype, AnnotationMirrorSet hierarchies)
hierarchies
- a set of TOP annotationspublic void addTypeSubtype(javax.lang.model.type.TypeVariable target, AnnotatedTypeMirror supertype, AnnotationMirrorSet hierarchies)
hierarchies
- a set of TOP annotationspublic void addPrimarySubtypes(javax.lang.model.type.TypeVariable target, QualifierHierarchy qualifierHierarchy, AnnotationMirrorSet annos)
public void addTypeEqualities(javax.lang.model.type.TypeVariable target, AnnotatedTypeMirror type, AnnotationMirrorSet hierarchies)
hierarchies
- a set of TOP annotations