org.teavm.flavour.expr.type

Class TypeInference

java.lang.Object

org.teavm.flavour.expr.type.TypeInference

public class TypeInference
extends Object

Constructor Summary

Constructors

Constructor and Description
TypeInference(GenericTypeNavigator typeNavigator)

Method Summary

Modifier and Type	Method and Description
boolean	addVariables(Collection<? extends TypeVar> vars)
List<? extends TypeArgument>	captureConversionConstraint(List<? extends TypeVar> typeParameters, List<? extends TypeArgument> typeArguments)
TypeInferenceStatePoint	createStatePoint()
boolean	equalConstraint(ValueType a, ValueType b)
Substitutions	getSubstitutions()
boolean	resolve()
boolean	subtypeConstraint(ValueType subtype, ValueType supertype)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeInference

public TypeInference(GenericTypeNavigator typeNavigator)

Method Detail

createStatePoint

public TypeInferenceStatePoint createStatePoint()

addVariables

public boolean addVariables(Collection<? extends TypeVar> vars)

resolve

public boolean resolve()

equalConstraint

public boolean equalConstraint(ValueType a,
                               ValueType b)

subtypeConstraint

public boolean subtypeConstraint(ValueType subtype,
                                 ValueType supertype)

captureConversionConstraint

public List<? extends TypeArgument> captureConversionConstraint(List<? extends TypeVar> typeParameters,
                                                                List<? extends TypeArgument> typeArguments)

getSubstitutions

public Substitutions getSubstitutions()