public class F2A extends AFConstraint
AFConstraint
argument, formalParameter
Constructor and Description |
---|
F2A(AnnotatedTypeMirror formalParameter,
AnnotatedTypeMirror argument)
Create a constraint with an argument greater than a formal.
|
Modifier and Type | Method and Description |
---|---|
protected F2A |
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 F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument)
public TUConstraint toTUConstraint()
AFConstraint
toTUConstraint
in class AFConstraint
protected F2A construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
AFConstraint
construct
in class AFConstraint
public java.lang.String toString()
toString
in class java.lang.Object