Bound
, Constraint
public abstract class BoundOrConstraint
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
protected InferenceRuleType |
ruleType |
Constructor | Description |
---|---|
BoundOrConstraint(JavaTypeDefinition leftProperType,
JavaTypeDefinition rightProperType,
InferenceRuleType ruleType) |
|
BoundOrConstraint(JavaTypeDefinition leftProperType,
Variable rightTypeVariable,
InferenceRuleType ruleType) |
|
BoundOrConstraint(Variable leftTypeVariable,
JavaTypeDefinition rightProperType,
InferenceRuleType ruleType) |
|
BoundOrConstraint(Variable leftTypeVariable,
Variable rightTypeVariable,
InferenceRuleType ruleType) |
Modifier and Type | Method | Description |
---|---|---|
void |
addVariablesToSet(java.util.Set<Variable> variables) |
|
boolean |
equals(java.lang.Object obj) |
|
Variable |
getLeftMentionedVariable() |
|
Variable |
getRightMentionedVariable() |
|
int |
hashCode() |
|
boolean |
isLeftArray() |
|
boolean |
isLeftClassOrInterface() |
|
boolean |
isLeftNull() |
|
boolean |
isLeftPrimitive() |
|
boolean |
isLeftProper() |
|
boolean |
isLeftType() |
|
boolean |
isLeftVariable() |
|
boolean |
isRightArray() |
|
boolean |
isRightClassOrInterface() |
|
boolean |
isRightNull() |
|
boolean |
isRightPrimitive() |
|
boolean |
isRightProper() |
|
boolean |
isRightType() |
|
boolean |
isRightVariable() |
|
boolean |
leftHasMentionedVariable() |
|
JavaTypeDefinition |
leftProper() |
|
Variable |
leftVariable() |
|
abstract java.util.List<BoundOrConstraint> |
reduce() |
|
boolean |
rightHasMentionedVariable() |
|
JavaTypeDefinition |
rightProper() |
|
Variable |
rightVariable() |
|
InferenceRuleType |
ruleType() |
protected final InferenceRuleType ruleType
public BoundOrConstraint(JavaTypeDefinition leftProperType, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
public BoundOrConstraint(JavaTypeDefinition leftProperType, Variable rightTypeVariable, InferenceRuleType ruleType)
public BoundOrConstraint(Variable leftTypeVariable, JavaTypeDefinition rightProperType, InferenceRuleType ruleType)
public BoundOrConstraint(Variable leftTypeVariable, Variable rightTypeVariable, InferenceRuleType ruleType)
public boolean isLeftProper()
public boolean isLeftVariable()
public boolean isLeftNull()
public boolean isLeftType()
public boolean isLeftPrimitive()
public boolean isLeftClassOrInterface()
public boolean isLeftArray()
public boolean isRightProper()
public boolean isRightVariable()
public boolean isRightNull()
public boolean isRightType()
public boolean isRightPrimitive()
public boolean isRightClassOrInterface()
public boolean isRightArray()
public JavaTypeDefinition leftProper()
public Variable leftVariable()
public JavaTypeDefinition rightProper()
public Variable rightVariable()
public InferenceRuleType ruleType()
public abstract java.util.List<BoundOrConstraint> reduce()
public void addVariablesToSet(java.util.Set<Variable> variables)
public boolean leftHasMentionedVariable()
public boolean rightHasMentionedVariable()
public Variable getLeftMentionedVariable()
public Variable getRightMentionedVariable()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
Copyright © 2002–2018 PMD. All rights reserved.