org.eclipse.incquery.runtime.matchers.psystem

Class VariableDeferredPConstraint

java.lang.Object

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

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

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

All Implemented Interfaces:

PConstraint

Direct Known Subclasses:

BaseTypeSafeConstraint, ExportedParameter, Inequality, PatternCallBasedDeferred, TypeFilterConstraint

public abstract class VariableDeferredPConstraint
extends DeferredPConstraint

A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.

Author:

Gabor Bergmann

Nested Class Summary

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

PConstraint.CompareByMonotonousID

Constructor Summary

Constructors

Constructor and Description
VariableDeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)

Method Summary

Modifier and Type	Method and Description
abstract java.util.Set<PVariable>	getDeferringVariables()
boolean	isReadyAt(SubPlan plan, IQueryMetaContext context) Refine further if needed

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

getDeducedVariables

Constructor Detail

VariableDeferredPConstraint

public VariableDeferredPConstraint(PBody pBody,
                                   java.util.Set<PVariable> affectedVariables)

Method Detail

getDeferringVariables

public abstract java.util.Set<PVariable> getDeferringVariables()

isReadyAt

public boolean isReadyAt(SubPlan plan,
                         IQueryMetaContext context)

Refine further if needed

Specified by:

isReadyAt in class DeferredPConstraint