Package org.teavm.backend.wasm.types

Class PreciseTypeInference

java.lang.Object

org.teavm.model.analysis.BaseTypeInference<PreciseValueType>

org.teavm.backend.wasm.types.PreciseTypeInference

public class PreciseTypeInference
extends BaseTypeInference<PreciseValueType>

Field Summary

Fields

Modifier and Type	Field	Description
static final PreciseValueType	OBJECT_TYPE

Constructor Summary

Constructors

Constructor	Description
PreciseTypeInference(Program program, MethodReference reference, ClassHierarchy hierarchy)

Method Summary

Modifier and Type	Method	Description
protected PreciseValueType	arrayType(PreciseValueType preciseValueType)
protected PreciseValueType	arrayUnwrapType(PreciseValueType type)
protected PreciseValueType	arrayWrapType(PreciseValueType type)
protected PreciseValueType	elementType(PreciseValueType valueType)
protected PreciseValueType	mapType(ValueType type)
protected PreciseValueType	merge(PreciseValueType a, PreciseValueType b)
protected PreciseValueType	nullType()

Methods inherited from class org.teavm.model.analysis.BaseTypeInference

ensure, fieldType, methodReturnType, setBackPropagation, setPhisSkipped, typeOf, typeOf

Methods inherited from class java.lang.Object

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

Field Details

OBJECT_TYPE

public static final PreciseValueType OBJECT_TYPE

Constructor Details

PreciseTypeInference

public PreciseTypeInference(Program program,
 MethodReference reference,
 ClassHierarchy hierarchy)

Method Details

mapType

protected PreciseValueType mapType(ValueType type)

Specified by:

mapType in class BaseTypeInference<PreciseValueType>

nullType

protected PreciseValueType nullType()

Specified by:

nullType in class BaseTypeInference<PreciseValueType>

merge

protected PreciseValueType merge(PreciseValueType a,
 PreciseValueType b)

Specified by:

merge in class BaseTypeInference<PreciseValueType>

elementType

protected PreciseValueType elementType(PreciseValueType valueType)

Specified by:

elementType in class BaseTypeInference<PreciseValueType>

arrayType

protected PreciseValueType arrayType(PreciseValueType preciseValueType)

Overrides:

arrayType in class BaseTypeInference<PreciseValueType>

arrayUnwrapType

protected PreciseValueType arrayUnwrapType(PreciseValueType type)

Overrides:

arrayUnwrapType in class BaseTypeInference<PreciseValueType>

arrayWrapType

protected PreciseValueType arrayWrapType(PreciseValueType type)

Overrides:

arrayWrapType in class BaseTypeInference<PreciseValueType>