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

Packages that use Variable

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

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

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

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)
static java.util.List<Constraint>	MethodTypeResolution.produceInitialConstraints(java.lang.reflect.Method method, ASTArgumentList argList, java.util.List<Variable> variables)

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

Methods in net.sourceforge.pmd.lang.java.typeresolution.typeinference that return Variable

Modifier and Type	Method and Description
Variable	BoundOrConstraint.getLeftMentionedVariable()
Variable	BoundOrConstraint.getRightMentionedVariable()
Variable	BoundOrConstraint.leftVariable()
Variable	BoundOrConstraint.rightVariable()

Methods in net.sourceforge.pmd.lang.java.typeresolution.typeinference that return types with arguments of type Variable

Modifier and Type	Method and Description
static java.util.Map<Variable,JavaTypeDefinition>	TypeInferenceResolver.getInstantiations(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.Map<Variable,java.util.Set<Variable>>	TypeInferenceResolver.getVariableDependencies(java.util.List<Bound> bounds)
static java.util.Map<Variable,JavaTypeDefinition>	TypeInferenceResolver.resolveVariables(java.util.List<Bound> bounds) Resolve unresolved variables in a list of bounds.

Methods in net.sourceforge.pmd.lang.java.typeresolution.typeinference with parameters of type Variable

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.List<JavaTypeDefinition>	TypeInferenceResolver.getLowerBoundsOf(Variable var, java.util.List<Bound> bounds)

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

Modifier and Type	Method and Description
void	BoundOrConstraint.addVariablesToSet(java.util.Set<Variable> variables)
static boolean	TypeInferenceResolver.boundsHaveAnEqualityBetween(java.util.List<Variable> firstList, Variable second, java.util.List<Bound> bounds)
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 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 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 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.

Constructors in net.sourceforge.pmd.lang.java.typeresolution.typeinference with parameters of type Variable

Constructor and Description
Bound(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
Bound(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Bound(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)
BoundOrConstraint(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
BoundOrConstraint(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
BoundOrConstraint(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)
Constraint(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
Constraint(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Constraint(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)