org.teavm.flavour.expr.type

Class NullType

java.lang.Object

org.teavm.flavour.expr.type.ValueType

org.teavm.flavour.expr.type.GenericType

org.teavm.flavour.expr.type.NullType

public class NullType
extends GenericType

Field Summary

Fields

Modifier and Type	Field and Description
static NullType	INSTANCE

Fields inherited from class org.teavm.flavour.expr.type.GenericType

OBJECT

Method Summary

Modifier and Type	Method and Description
GenericType	erasure()
NullType	substitute(Substitutions substitutions)
NullType	substituteArgs(java.util.function.Function<TypeVar,TypeArgument> substitutions)

Methods inherited from class org.teavm.flavour.expr.type.ValueType

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final NullType INSTANCE

Method Detail

substitute

public NullType substitute(Substitutions substitutions)

Overrides:

substitute in class GenericType

substituteArgs

public NullType substituteArgs(java.util.function.Function<TypeVar,TypeArgument> substitutions)

Overrides:

substituteArgs in class GenericType

erasure

public GenericType erasure()

Specified by:

erasure in class GenericType