public class TypeJudgement extends AbstractTypeJudgement
Constructor and Description |
---|
TypeJudgement(Expression expression,
IInputKey type) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<Expression> |
getDependingExpressions()
Returns a set of expressions whose type changes must trigger a re-evaluation of this constraint
|
IInputKey |
getType() |
int |
hashCode() |
java.lang.String |
toString() |
getConstraint, getExpression
public TypeJudgement(Expression expression, IInputKey type)
public IInputKey getType()
public java.util.Set<Expression> getDependingExpressions()
AbstractTypeJudgement
getDependingExpressions
in class AbstractTypeJudgement
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class AbstractTypeJudgement
public boolean equals(java.lang.Object obj)
equals
in class AbstractTypeJudgement