Class Constraint
- java.lang.Object
-
- net.sourceforge.pmd.lang.java.typeresolution.typeinference.BoundOrConstraint
-
- net.sourceforge.pmd.lang.java.typeresolution.typeinference.Constraint
-
public class Constraint extends BoundOrConstraint
-
-
Field Summary
-
Fields inherited from class net.sourceforge.pmd.lang.java.typeresolution.typeinference.BoundOrConstraint
ruleType
-
-
Constructor Summary
Constructors Constructor Description Constraint(JavaTypeDefinition leftProperType, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Constraint(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
Constraint(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Constraint(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<BoundOrConstraint>
reduce()
-
Methods inherited from class net.sourceforge.pmd.lang.java.typeresolution.typeinference.BoundOrConstraint
addVariablesToSet, equals, getLeftMentionedVariable, getRightMentionedVariable, hashCode, isLeftArray, isLeftClassOrInterface, isLeftNull, isLeftPrimitive, isLeftProper, isLeftType, isLeftVariable, isRightArray, isRightClassOrInterface, isRightNull, isRightPrimitive, isRightProper, isRightType, isRightVariable, leftHasMentionedVariable, leftProper, leftVariable, rightHasMentionedVariable, rightProper, rightVariable, ruleType
-
-
-
-
Constructor Detail
-
Constraint
public Constraint(JavaTypeDefinition leftProperType, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
-
Constraint
public Constraint(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
-
Constraint
public Constraint(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
-
Constraint
public Constraint(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)
-
-
Method Detail
-
reduce
public java.util.List<BoundOrConstraint> reduce()
- Specified by:
reduce
in classBoundOrConstraint
-
-