Class TSubU
java.lang.Object
org.checkerframework.framework.util.typeinference.constraint.TUConstraint
org.checkerframework.framework.util.typeinference.constraint.TSubU
A constraint of the form:
T <: U
- See Also:
-
Field Summary
Fields inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
relatedType, typeVariable, uIsArg
-
Constructor Summary
ConstructorDescriptionTSubU
(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType) TSubU
(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType, boolean uIsArg) Create a constraint with a variable less than a type. -
Method Summary
Methods inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
equals, hashCode
-
Constructor Details
-
TSubU
public TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType) -
TSubU
public TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType, boolean uIsArg) Create a constraint with a variable less than a type.
-
-
Method Details