public class FIsA extends AFConstraint
A constraint of
the form: F = A or A = F
argument, formalParameter, hashcodeBase
Constructor and Description |
---|
FIsA(AnnotatedTypeMirror parameter,
AnnotatedTypeMirror argument) |
Modifier and Type | Method and Description |
---|---|
protected FIsA |
construct(AnnotatedTypeMirror newArgument,
AnnotatedTypeMirror newFormalParameter)
Used to create a new constraint of the same subclass of AFConstraint.
|
java.lang.String |
toString() |
TUConstraint |
toTUConstraint()
Once AFConstraints are irreducible it can be converted to a TU constraint, constraints
between individual type parameters for which we are inferring an argument (T) and Java types
(U).
|
equals, hashCode, isIrreducible, substitute
public FIsA(AnnotatedTypeMirror parameter, AnnotatedTypeMirror argument)
public TUConstraint toTUConstraint()
AFConstraint
toTUConstraint
in class AFConstraint
protected FIsA construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
AFConstraint
construct
in class AFConstraint
public java.lang.String toString()
toString
in class java.lang.Object