public class JL7InferenceSolver_c extends InferenceSolver_c
Constructor and Description |
---|
JL7InferenceSolver_c(JL5ProcedureInstance pi,
java.util.List<? extends Type> actuals,
JL5TypeSystem ts) |
Modifier and Type | Method and Description |
---|---|
protected Type |
returnType(JL5ProcedureInstance pi) |
protected java.util.List<TypeVariable> |
typeVariablesToSolve(JL5ProcedureInstance pi) |
isTargetTypeVariable, procedureInstance, solve, typeSystem, typeVariablesToSolve
public JL7InferenceSolver_c(JL5ProcedureInstance pi, java.util.List<? extends Type> actuals, JL5TypeSystem ts)
protected java.util.List<TypeVariable> typeVariablesToSolve(JL5ProcedureInstance pi)
typeVariablesToSolve
in class InferenceSolver_c
protected Type returnType(JL5ProcedureInstance pi)
returnType
in class InferenceSolver_c