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

Class Bound

java.lang.Object

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

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

public class Bound
extends BoundOrConstraint

Field Summary

Fields inherited from class net.sourceforge.pmd.lang.java.typeresolution.typeinference.BoundOrConstraint

ruleType

Constructor Summary

Constructors

Constructor	Description
Bound(JavaTypeDefinition leftProperType, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Bound(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
Bound(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
Bound(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

Bound

public Bound(JavaTypeDefinition leftProperType,
             JavaTypeDefinition rightProperType,
             InferenceRuleType ruleType)

Bound

public Bound(JavaTypeDefinition leftProperType,
             Variable rightTypeVariable,
             InferenceRuleType ruleType)

Bound

public Bound(Variable leftTypeVariable,
             JavaTypeDefinition rightProperType,
             InferenceRuleType ruleType)

Bound

public Bound(Variable leftTypeVariable,
             Variable rightTypeVariable,
             InferenceRuleType ruleType)

Method Detail

reduce

public java.util.List<BoundOrConstraint> reduce()

Specified by:

reduce in class BoundOrConstraint