org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Class ExpressionEvaluation

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

org.eclipse.incquery.runtime.matchers.psystem.DeferredPConstraint

org.eclipse.incquery.runtime.matchers.psystem.VariableDeferredPConstraint

org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation

All Implemented Interfaces:

PConstraint

public class ExpressionEvaluation
extends BaseTypeSafeConstraint

Author:

Zoltan Ujhelyi

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

PConstraint.CompareByMonotonousID

Constructor Summary

Constructors

Constructor and Description
ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable)

Method Summary

Modifier and Type	Method and Description
IExpressionEvaluator	getEvaluator()
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	getFunctionalDependencies(IQueryMetaContext context) A (preferably minimal) cover of known functional dependencies between variables.

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

checkTypeSafety, getDeducedVariables, getDeferringVariables, getOutputVariable, isReadyAt

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExpressionEvaluation

public ExpressionEvaluation(PBody pBody,
                            IExpressionEvaluator evaluator,
                            PVariable outputVariable)

Method Detail

getEvaluator

public IExpressionEvaluator getEvaluator()

getFunctionalDependencies

public java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)

Description copied from interface: PConstraint

A (preferably minimal) cover of known functional dependencies between variables.

Specified by:

getFunctionalDependencies in interface PConstraint

Overrides:

getFunctionalDependencies in class BasePConstraint

Returns:

non-trivial functional dependencies in the form of {variables} --> {variables}, where dependencies with the same lhs are unified.