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

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

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

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 class BoundOrConstraint