Class TSuperU
java.lang.Object
org.checkerframework.framework.util.typeinference.constraint.TUConstraint
org.checkerframework.framework.util.typeinference.constraint.TSuperU
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
ConstructorDescriptionTSuperU
(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType) TSuperU
(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType, boolean uIsArg) Create a constraint with a variable greater than a type. -
Method Summary
Methods inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
equals, hashCode
-
Constructor Details
-
TSuperU
public TSuperU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType) -
TSuperU
public TSuperU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType, boolean uIsArg) Create a constraint with a variable greater than a type.
-
-
Method Details