Package org.teavm.model.analysis

Class BaseTypeInference<T>

java.lang.Object

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

public abstract class BaseTypeInference<T>
extends Object

Constructor Summary

Constructors

Constructor	Description
BaseTypeInference(Program program, MethodReference reference)

Method Summary

Modifier and Type	Method	Description
protected abstract T	elementType(T t)
void	ensure()
protected abstract T	mapType(ValueType type)
protected abstract T	merge(T a, T b)
protected T	methodReturnType(MethodReference methodRef)
protected abstract T	nullType()
T	typeOf(Variable variable)

Methods inherited from class java.lang.Object

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

Constructor Details

BaseTypeInference

public BaseTypeInference(Program program,
 MethodReference reference)

Method Details

ensure

public void ensure()

typeOf

public T typeOf(Variable variable)

mapType

protected abstract T mapType(ValueType type)

nullType

protected abstract T nullType()

merge

protected abstract T merge(T a,
 T b)

elementType

protected abstract T elementType(T t)

methodReturnType

protected T methodReturnType(MethodReference methodRef)