public interface InferenceSolver
Modifier and Type | Method and Description |
---|---|
boolean |
isTargetTypeVariable(Type t) |
java.util.Map<TypeVariable,ReferenceType> |
solve(Type expectedReturnType) |
JL5TypeSystem |
typeSystem() |
java.util.List<TypeVariable> |
typeVariablesToSolve() |
java.util.List<TypeVariable> typeVariablesToSolve()
boolean isTargetTypeVariable(Type t)
java.util.Map<TypeVariable,ReferenceType> solve(Type expectedReturnType)
JL5TypeSystem typeSystem()