public class A2F extends AFConstraint
AFConstraintargument, formalParameter| Constructor and Description |
|---|
A2F(AnnotatedTypeMirror argument,
AnnotatedTypeMirror formalParameter)
Create a constraint with an argument less than a formal.
|
| Modifier and Type | Method and Description |
|---|---|
protected A2F |
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 A2F(AnnotatedTypeMirror argument, AnnotatedTypeMirror formalParameter)
public TUConstraint toTUConstraint()
AFConstrainttoTUConstraint in class AFConstraintprotected A2F construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
AFConstraintconstruct in class AFConstraint