org.eclipse.viatra.query.patternlanguage.typing.judgements

Class AbstractTypeJudgement

java.lang.Object

org.eclipse.viatra.query.patternlanguage.typing.judgements.AbstractTypeJudgement

Direct Known Subclasses:

ConditionalJudgement, TypeConformJudgement, TypeJudgement, XbaseExpressionTypeJudgement

public abstract class AbstractTypeJudgement
extends java.lang.Object

Since:

1.3

Constructor Summary

Constructors

Constructor and Description
AbstractTypeJudgement(Expression expression)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Constraint	getConstraint()
abstract java.util.Set<Expression>	getDependingExpressions() Returns a set of expressions whose type changes must trigger a re-evaluation of this constraint
Expression	getExpression()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTypeJudgement

public AbstractTypeJudgement(Expression expression)

Method Detail

getConstraint

public Constraint getConstraint()

getExpression

public Expression getExpression()

getDependingExpressions

public abstract java.util.Set<Expression> getDependingExpressions()

Returns a set of expressions whose type changes must trigger a re-evaluation of this constraint

Returns:

a non-null, but possibly empty set of expressions

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object