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

Class ConditionalJudgement

java.lang.Object

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

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

public class ConditionalJudgement
extends AbstractTypeJudgement

A conditional judgement is used to express two expressions having types in a causal relationship, e.g. if variable v has a type of 't' then variable v2 has to have a type 't2'

Since:

1.4

Constructor Summary

Constructors

Constructor and Description
ConditionalJudgement(Expression expression, IInputKey type, Expression conditionExpression, IInputKey conditionType)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Expression	getConditionExpression()
IInputKey	getConditionType()
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()

Methods inherited from class org.eclipse.viatra.query.patternlanguage.typing.judgements.AbstractTypeJudgement

getConstraint, getExpression

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionalJudgement

public ConditionalJudgement(Expression expression,
                            IInputKey type,
                            Expression conditionExpression,
                            IInputKey conditionType)

Method Detail

getDependingExpressions

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

Description copied from class: AbstractTypeJudgement

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

Specified by:

getDependingExpressions in class AbstractTypeJudgement

Returns:

a non-null, but possibly empty set of expressions

getType

public IInputKey getType()

getConditionExpression

public Expression getConditionExpression()

getConditionType

public IInputKey getConditionType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractTypeJudgement

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class AbstractTypeJudgement