Package org.teavm.model.analysis

Class BaseTypeInference<T>

java.lang.Object
org.teavm.model.analysis.BaseTypeInference<T>
Direct Known Subclasses:
PreciseTypeInference
public abstract class BaseTypeInference<T> extends Object

  • Constructor Details

  • Method Details

    • setPhisSkipped

      public void setPhisSkipped(boolean phisSkipped)

    • setBackPropagation

      public void setBackPropagation(boolean backPropagation)

    • ensure

      public void ensure()

    • typeOf

      public T typeOf(Variable variable)

    • typeOf

      public T typeOf(int index)

    • 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)

    • arrayType

      protected T arrayType(T t)

    • methodReturnType

      protected T methodReturnType(InvocationType invocationType, MethodReference methodRef)

    • arrayUnwrapType

      protected T arrayUnwrapType(T type)