Uses of Class
org.eclipse.epsilon.evl.dom.Constraint

Packages that use Constraint

Package	Description
org.eclipse.epsilon.evl
org.eclipse.epsilon.evl.concurrent
org.eclipse.epsilon.evl.dom
org.eclipse.epsilon.evl.execute
org.eclipse.epsilon.evl.execute.atoms
org.eclipse.epsilon.evl.execute.context
org.eclipse.epsilon.evl.execute.context.concurrent
org.eclipse.epsilon.evl.trace

Uses of Constraint in org.eclipse.epsilon.evl

Fields in org.eclipse.epsilon.evl with type parameters of type Constraint

Modifier and Type	Field and Description
protected ArrayList<Constraint>	EvlModule.constraints

Methods in org.eclipse.epsilon.evl that return Constraint

Modifier and Type	Method and Description
default Constraint	IEvlModule.getConstraint(String constraintName, String contextName, Object modelElement, ModuleElement ast) Finds a Constraint instance in this module based on the specified filters.

Methods in org.eclipse.epsilon.evl that return types with arguments of type Constraint

Modifier and Type	Method and Description
List<Constraint>	IEvlModule.getConstraints()
List<Constraint>	EvlModule.getConstraints()
protected Collection<Constraint>	EvlModule.getOptimisedConstraintsFor(ConstraintContext constraintContext)
protected Collection<Constraint>	EvlModule.preProcessConstraintContext(ConstraintContext constraintContext)

Uses of Constraint in org.eclipse.epsilon.evl.concurrent

Methods in org.eclipse.epsilon.evl.concurrent that return Constraint

Modifier and Type	Method and Description
Constraint	EvlModuleParallel.getConstraint(String constraintName, String contextName, Object modelElement, ModuleElement ast) Does not look up the element in the context.

Uses of Constraint in org.eclipse.epsilon.evl.dom

Fields in org.eclipse.epsilon.evl.dom with type parameters of type Constraint

Modifier and Type	Field and Description
protected ArrayList<Constraint>	ConstraintContext.constraints

Methods in org.eclipse.epsilon.evl.dom that return types with arguments of type Constraint

Modifier and Type	Method and Description
List<Constraint>	ConstraintContext.getConstraints()

Methods in org.eclipse.epsilon.evl.dom with parameters of type Constraint

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

Method parameters in org.eclipse.epsilon.evl.dom with type arguments of type Constraint

Modifier and Type	Method and Description
void	ConstraintContext.execute(Collection<Constraint> constraintsToCheck, IEvlContext context) Executes all of the give constraints for all applicable elements of this type.
boolean	ConstraintContext.execute(Collection<Constraint> constraintsToCheck, Object modelElement, IEvlContext context) Executes all constraints for the given model element, provided it is applicable to this ConstraintContext and that this ConstraintContext is not lazy.

Uses of Constraint in org.eclipse.epsilon.evl.execute

Fields in org.eclipse.epsilon.evl.execute declared as Constraint

Modifier and Type	Field and Description
protected Constraint	UnsatisfiedConstraint.constraint

Methods in org.eclipse.epsilon.evl.execute that return Constraint

Modifier and Type	Method and Description
Constraint	UnsatisfiedConstraint.getConstraint()

Methods in org.eclipse.epsilon.evl.execute with parameters of type Constraint

Modifier and Type	Method and Description
void	UnsatisfiedConstraint.setConstraint(Constraint constraint)

Uses of Constraint in org.eclipse.epsilon.evl.execute.atoms

Constructors in org.eclipse.epsilon.evl.execute.atoms with parameters of type Constraint

Constructor and Description
ConstraintAtom(Constraint constraint, Object modelElement)
ConstraintAtom(Constraint constraint, Object modelElement, IEvlContext context)

Uses of Constraint in org.eclipse.epsilon.evl.execute.context

Methods in org.eclipse.epsilon.evl.execute.context that return types with arguments of type Constraint

Modifier and Type	Method and Description
default Set<Constraint>	IEvlContext.getConstraintsDependedOn()
default Map<Constraint,Integer>	IEvlContext.getUnsatisfiedConstraintsBySize()
default Map<Constraint,Set<Object>>	IEvlContext.sortUnsatisfiedConstraints()

Methods in org.eclipse.epsilon.evl.execute.context with parameters of type Constraint

Modifier and Type	Method and Description
boolean	EvlContext.shouldShortCircuit(Constraint constraint)
default boolean	IEvlContext.shouldShortCircuit(Constraint constraint) Checks whether the condition for short-circuiting is met, either by previous invocation returning true or if there are unsatisfied constraints and the IEvlContext.isShortCircuiting() flag is enabled, or if the specified module element has been annotated with a termination criteria and an unsatisfied constraint containing the type is already present.

Uses of Constraint in org.eclipse.epsilon.evl.execute.context.concurrent

Methods in org.eclipse.epsilon.evl.execute.context.concurrent with parameters of type Constraint

Modifier and Type	Method and Description
boolean	EvlContextParallel.shouldShortCircuit(Constraint constraint)

Uses of Constraint in org.eclipse.epsilon.evl.trace

Fields in org.eclipse.epsilon.evl.trace declared as Constraint

Modifier and Type	Field and Description
protected Constraint	ConstraintTraceItem.constraint

Fields in org.eclipse.epsilon.evl.trace with type parameters of type Constraint

Modifier and Type	Field and Description
protected Set<Constraint>	ConstraintTrace.storageOptimised

Methods in org.eclipse.epsilon.evl.trace that return Constraint

Modifier and Type	Method and Description
Constraint	ConstraintTraceItem.getConstraint()

Methods in org.eclipse.epsilon.evl.trace with parameters of type Constraint

Modifier and Type	Method and Description
void	ConstraintTrace.addChecked(Constraint constraint, Object object, boolean result)
void	ConstraintTrace.addCheckedOptimised(Constraint constraint) Indicates that this constraint was checked in an optimised manner, so we only have the trace items for the invalid items and anything else is considered checked and valid.
boolean	ConstraintTrace.isChecked(Constraint constraint, Object instance)
boolean	ConstraintTrace.isSatisfied(Constraint constraint, Object instance)
void	ConstraintTraceItem.setConstraint(Constraint constraint)

Constructors in org.eclipse.epsilon.evl.trace with parameters of type Constraint

Constructor and Description
ConstraintTraceItem(Object instance, Constraint constraint, boolean result)