net.cscott.sinjdoc
public interface TypeArgument
TypeArgument is either a type or a wildcard
specification such as "? extends Number",
"? super Integer", or "?".
Version: $Id: TypeArgument.java,v 1.1 2003/07/29 16:02:37 cananian Exp $
| Method Summary | |
|---|---|
| Type | getType() Return the Type bound corresponding to this
TypeArgument. |
| boolean | isContravariant() Return true if this type argument is contravariant; for example,
Comparable<? super Integer>.
|
| boolean | isCovariant() Return true if this type argument is covariant; for example,
Set<? extends Number>.
|
Type bound corresponding to this
TypeArgument. Bivariant type arguments
should return the Type corresponding to
java.lang.Object. Covariant, contravariant, or
invariant type arguments should return the type forming
the bound on the argument type.Comparable<? super Integer>.
Also returns true if the type argument is bivariant; for example,
Comparable<?>.Set<? extends Number>.
Also returns true if the type argument is bivariant; for example,
Set<?>.