| Package | Description |
|---|---|
| org.teavm.flavour.expr.ast | |
| org.teavm.flavour.expr.type |
| Modifier and Type | Method and Description |
|---|---|
GenericType |
InstanceOfExpr.getCheckedType() |
| Modifier and Type | Method and Description |
|---|---|
void |
InstanceOfExpr.setCheckedType(GenericType checkedType) |
| Constructor and Description |
|---|
InstanceOfExpr(Expr value,
GenericType checkedType) |
| Modifier and Type | Class and Description |
|---|---|
class |
GenericArray |
class |
GenericClass |
class |
GenericReference |
class |
IntersectionType |
class |
NullType |
class |
PrimitiveArray |
| Modifier and Type | Field and Description |
|---|---|
static GenericType |
GenericType.OBJECT |
| Modifier and Type | Method and Description |
|---|---|
GenericType |
NullType.erasure() |
abstract GenericType |
GenericType.erasure() |
GenericType |
GenericClass.erasure() |
GenericType |
IntersectionType.erasure() |
GenericType |
PrimitiveArray.erasure() |
GenericType |
GenericReference.erasure() |
GenericType |
LeastUpperBoundFinder.find(List<GenericType> types) |
GenericType |
MapSubstitutions.get(TypeVar var) |
GenericType |
Substitutions.get(TypeVar var) |
GenericType |
TypeArgument.getBound() |
GenericType |
GenericArray.getElementType() |
static GenericType |
IntersectionType.of(Collection<? extends GenericType> types) |
static GenericType |
IntersectionType.of(GenericType... types) |
GenericType |
GenericType.substitute(Substitutions substitutions) |
GenericType |
GenericType.substituteArgs(java.util.function.Function<TypeVar,TypeArgument> substitutions) |
GenericType |
PrimitiveArray.substituteArgs(java.util.function.Function<TypeVar,TypeArgument> substitutions) |
| Modifier and Type | Method and Description |
|---|---|
Set<? extends GenericType> |
TypeVar.getLowerBound() |
Map<TypeVar,GenericType> |
MapSubstitutions.getMap() |
Set<? extends GenericType> |
IntersectionType.getTypes() |
Set<? extends GenericType> |
TypeVar.getUpperBound() |
| Modifier and Type | Method and Description |
|---|---|
static TypeArgument |
TypeArgument.contravariant(GenericType bound) |
static TypeArgument |
TypeArgument.covariant(GenericType bound) |
static TypeArgument |
TypeArgument.invariant(GenericType type) |
static GenericType |
IntersectionType.of(GenericType... types) |
static ValueType |
TypeUtils.tryUnbox(GenericType type) |
static Primitive |
TypeUtils.unbox(GenericType type) |
void |
TypeVar.withLowerBound(GenericType... lowerBound) |
void |
TypeVar.withUpperBound(GenericType... upperBound) |
| Modifier and Type | Method and Description |
|---|---|
GenericType |
LeastUpperBoundFinder.find(List<GenericType> types) |
TypeArgument |
TypeArgument.mapBound(java.util.function.Function<GenericType,GenericType> f) |
TypeArgument |
TypeArgument.mapBound(java.util.function.Function<GenericType,GenericType> f) |
static GenericType |
IntersectionType.of(Collection<? extends GenericType> types) |
| Constructor and Description |
|---|
GenericArray(GenericType elementType) |
TypeArgument(Variance variance,
GenericType bound) |
| Constructor and Description |
|---|
MapSubstitutions(Map<TypeVar,GenericType> map) |
Copyright © 2019. All rights reserved.