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