static java.util.Map<Variable,JavaTypeDefinition> |
TypeInferenceResolver.getInstantiations(java.util.List<Bound> bounds) |
|
static java.util.List<JavaTypeDefinition> |
TypeInferenceResolver.getLowerBoundsOf(Variable var,
java.util.List<Bound> bounds) |
|
static java.util.Set<Variable> |
TypeInferenceResolver.getMentionedVariables(java.util.List<Bound> bounds) |
|
static java.util.Set<Variable> |
TypeInferenceResolver.getUninstantiatedVariables(java.util.List<Bound> bounds) |
|
static java.util.Map<Variable,java.util.Set<Variable>> |
TypeInferenceResolver.getVariableDependencies(java.util.List<Bound> bounds) |
|
static java.util.List<Constraint> |
TypeInferenceResolver.incorporateBounds(java.util.List<Bound> currentBounds,
java.util.List<Bound> newBounds) |
https://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html#jls-18.3
|
static java.util.Map<Variable,JavaTypeDefinition> |
TypeInferenceResolver.resolveVariables(java.util.List<Bound> bounds) |
Resolve unresolved variables in a list of bounds.
|