Package org.checkerframework.framework.util.typeinference.constraint

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

Modifier and Type	Method	Description
String	toString()

Methods inherited from class org.checkerframework.framework.util.typeinference.constraint.TUConstraint

equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

toString

public String toString()

Overrides:

toString in class Object