Package org.eclipse.epsilon.evl.dom

Class ConstraintSelectTransfomer

java.lang.Object

org.eclipse.epsilon.evl.dom.ConstraintSelectTransfomer

public class ConstraintSelectTransfomer
extends java.lang.Object

Decides if a constraint with context T, guard G and check C can be rephrased into a single T.all.select(x|G and not C) query, which can be efficiently executed by certain IModel implementations (e.g. Hawk or SQL).

Constructor Summary

Constructors

Constructor	Description
ConstraintSelectTransfomer()

Method Summary

Modifier and Type	Method	Description
boolean	canBeTransformed(Constraint constraint)
ExecutableBlock<?>	transformIntoSelect(Constraint constraint)	Produces a new ExecutableBlock that will find all invalid objects at once.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintSelectTransfomer

public ConstraintSelectTransfomer()

Method Detail

canBeTransformed

public boolean canBeTransformed(Constraint constraint)

transformIntoSelect

public ExecutableBlock<?> transformIntoSelect(Constraint constraint)

Produces a new ExecutableBlock that will find all invalid objects at once. This method assumes that canBeTransformed(Constraint) was checked first, and that it returned true.