public class A2F extends AFConstraint
AFConstraint
argument, 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, substitute
public A2F(AnnotatedTypeMirror argument, AnnotatedTypeMirror formalParameter)
public TUConstraint toTUConstraint()
AFConstraint
toTUConstraint
in class AFConstraint
protected A2F construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
AFConstraint
construct
in class AFConstraint