Uses of Class
net.sourceforge.pmd.lang.java.typeresolution.typeinference.Bound

Packages that use Bound

Package	Description
net.sourceforge.pmd.lang.java.typeresolution
net.sourceforge.pmd.lang.java.typeresolution.typeinference

Uses of Bound in net.sourceforge.pmd.lang.java.typeresolution

Method parameters in net.sourceforge.pmd.lang.java.typeresolution with type arguments of type Bound

Modifier and Type	Method and Description
static void	MethodTypeResolution.produceInitialBounds(java.lang.reflect.Method method, JavaTypeDefinition context, java.util.List<Variable> variables, java.util.List<Bound> initialBounds)

Uses of Bound in net.sourceforge.pmd.lang.java.typeresolution.typeinference

Method parameters in net.sourceforge.pmd.lang.java.typeresolution.typeinference with type arguments of type Bound

Modifier and Type	Method and Description
static boolean	TypeInferenceResolver.boundsHaveAnEqualityBetween(java.util.List<Variable> firstList, Variable second, java.util.List<Bound> bounds)
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.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.List<JavaTypeDefinition>	TypeInferenceResolver.inferTypes(java.util.List<Constraint> constraints, java.util.List<Bound> bounds, java.util.List<Variable> variables)
static boolean	TypeInferenceResolver.isProperSubsetOfVariables(java.util.List<Variable> variables, java.util.Map<Variable,JavaTypeDefinition> instantiations, java.util.Map<Variable,java.util.Set<Variable>> dependencies, java.util.List<Bound> bounds) Given a set of inference variables to resolve, let V be the union of this set and all variables upon which the resolution of at least one variable in this set depends.
static java.util.Map<Variable,JavaTypeDefinition>	TypeInferenceResolver.resolveVariables(java.util.List<Bound> bounds) Resolve unresolved variables in a list of bounds.