Class TSuperU
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.constraint.TUConstraint
-
- org.checkerframework.framework.util.typeinference.constraint.TSuperU
-
public class TSuperU 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 TSuperU(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
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
-
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.
-
-