Class TSubU
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.constraint.TUConstraint
-
- org.checkerframework.framework.util.typeinference.constraint.TSubU
-
public class TSubU extends TUConstraint
A constraint of the form:T <: U
- See Also:
TUConstraint
-
-
Field Summary
-
Fields inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
relatedType, typeVariable, uIsArg
-
-
Constructor Summary
Constructors Constructor Description TSubU(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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
toString()
-
Methods inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
equals, hashCode
-
-
-
-
Constructor Detail
-
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.
-
-