public class TypeInference extends Object
| Constructor and Description |
|---|
TypeInference(GenericTypeNavigator typeNavigator) |
| 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) |
public TypeInference(GenericTypeNavigator typeNavigator)
public TypeInferenceStatePoint createStatePoint()
public boolean addVariables(Collection<? extends TypeVar> vars)
public boolean resolve()
public List<? extends TypeArgument> captureConversionConstraint(List<? extends TypeVar> typeParameters, List<? extends TypeArgument> typeArguments)
public Substitutions getSubstitutions()
Copyright © 2019. All rights reserved.