public class A2F extends AFConstraint
A constraint of
the form: A 《 F or F 》 A
argument, formalParameter, hashcodeBase
Constructor and Description |
---|
A2F(AnnotatedTypeMirror argument,
AnnotatedTypeMirror formalParameter) |
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.
|
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 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
public java.lang.String toString()
toString
in class java.lang.Object