public class F2A extends AFConstraint
AFConstraintargument, 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.
|
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, substitutepublic F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument)
public TUConstraint toTUConstraint()
AFConstrainttoTUConstraint in class AFConstraintprotected F2A construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
AFConstraintconstruct in class AFConstraint