Package | Description |
---|---|
bayou.jtype |
Representations of Java types.
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayType<T>
Array type.
|
class |
ClassType<T>
Class or interface type.
|
class |
IntersectionType<T>
Intersection type.
|
class |
NullType
The null type.
|
class |
TypeVar<T>
Type variable.
|
Modifier and Type | Method and Description |
---|---|
ReferenceType<?> |
Wildcard.getLowerBound()
Get the lower bound.
|
abstract ReferenceType<?> |
TypeVar.getLowerBound()
The lower bound of the type variable.
|
ReferenceType<?> |
Wildcard.getUpperBound()
Get the upper bound.
|
abstract ReferenceType<?> |
TypeVar.getUpperBound()
The upper bound of the type variable.
|
Modifier and Type | Method and Description |
---|---|
List<ReferenceType<?>> |
IntersectionType.getSuperTypes()
Get the super types of the intersection.
|
Modifier and Type | Method and Description |
---|---|
static Wildcard |
Wildcard.extends_(ReferenceType<?> upperBound)
Create a wildcard with an upper bound.
|
static boolean |
TypeMath.isSubType(ReferenceType<?> typeA,
ReferenceType<?> typeB)
Test whether `typeA` is a subtype of `typeB`.
|
static boolean |
TypeMath.isSubType(ReferenceType<?> typeA,
ReferenceType<?> typeB)
Test whether `typeA` is a subtype of `typeB`.
|
static Wildcard |
Wildcard.super_(ReferenceType<?> lowerBound)
Create a wildcard with a lower bound.
|
Constructor and Description |
---|
IntersectionType(ReferenceType<?>... superTypes)
Create an intersection type.
|
Wildcard(ReferenceType<?> upperBound,
ReferenceType<?> lowerBound)
Create a wildcard with bounds.
|
Wildcard(ReferenceType<?> upperBound,
ReferenceType<?> lowerBound)
Create a wildcard with bounds.
|