org.checkerframework.framework.util.typeinference.constraint

Class TSubU

java.lang.Object

org.checkerframework.framework.util.typeinference.constraint.TUConstraint

org.checkerframework.framework.util.typeinference.constraint.TSubU

public class TSubU
extends TUConstraint

See Also:

A constraint of the form: {@code T <: U}

Field Summary

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

hashcodeBase, relatedType, typeVariable, uIsArg

Constructor Summary

Constructors

Constructor and Description
TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType)
TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable, AnnotatedTypeMirror relatedType, boolean uIsArg)

Method Summary

Modifier and Type	Method and 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 Detail

TSubU

public TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable,
             AnnotatedTypeMirror relatedType)

TSubU

public TSubU(AnnotatedTypeMirror.AnnotatedTypeVariable typeVariable,
             AnnotatedTypeMirror relatedType,
             boolean uIsArg)

Method Detail

toString

public String toString()

Overrides:

toString in class Object