Constructor and Description |
---|
Wildcard(PolyQual<Q> qual) |
Wildcard(PolyQual<Q> lower,
PolyQual<Q> upper) |
Wildcard(Q groundQual) |
Wildcard(Q groundLower,
Q groundUpper) |
Modifier and Type | Method and Description |
---|---|
Wildcard<Q> |
combineWith(Wildcard<Q> other,
CombiningOperation<Q> lowerOp,
CombiningOperation<Q> upperOp)
Combine with another wildcard, using the provided
CombiningOperation s for the upper and lower bounds. |
static <Q> Wildcard<Q> |
empty()
Produce the empty wildcard.
|
boolean |
equals(Object o) |
PolyQual<Q> |
getLowerBound()
Get the lower bound of the wildcard, or
null if this is the
empty wildcard. |
PolyQual<Q> |
getUpperBound()
Get the upper bound of the wildcard, or
null if this is the
empty wildcard. |
int |
hashCode() |
boolean |
isEmpty()
Check if this is the empty wildcard.
|
Wildcard<Q> |
substitute(Map<String,Wildcard<Q>> substs)
Substitute wildcards for qualifier parameters.
|
String |
toString() |
public Wildcard(Q groundQual)
public static <Q> Wildcard<Q> empty()
public PolyQual<Q> getLowerBound()
null
if this is the
empty wildcard.public PolyQual<Q> getUpperBound()
null
if this is the
empty wildcard.public boolean isEmpty()
public Wildcard<Q> substitute(Map<String,Wildcard<Q>> substs)
public Wildcard<Q> combineWith(Wildcard<Q> other, CombiningOperation<Q> lowerOp, CombiningOperation<Q> upperOp)
CombiningOperation
s for the upper and lower bounds.