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

Packages that use Constraint

Package	Description
org.eclipse.epsilon.ecore.delegates.execution
org.eclipse.epsilon.evl
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.parse
org.eclipse.epsilon.evl.trace

Uses of Constraint in org.eclipse.epsilon.ecore.delegates.execution

Constructors in org.eclipse.epsilon.ecore.delegates.execution with parameters of type Constraint

Modifier	Constructor	Description
	EvlConstraint(Constraint program, List<ParseProblem> problems, IEvlContext context)

Uses of Constraint in org.eclipse.epsilon.evl

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

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

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

Modifier and Type	Method	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	Description
List<Constraint>	EvlModule.getConstraints()
List<Constraint>	IEvlModule.getConstraints()
protected Collection<Constraint>	EvlModule.getOptimisedConstraintsFor(ConstraintContext constraintContext)
protected Collection<Constraint>	EvlModule.preProcessConstraintContext(ConstraintContext constraintContext)

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	Description
protected final ArrayList<Constraint>	ConstraintContext.constraints

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

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

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

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

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

Modifier and Type	Method	Description
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.
void	ConstraintContext.execute(Collection<Constraint> constraintsToCheck, IEvlContext context)	Executes all of the give constraints for all applicable elements of this type.

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

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

Modifier and Type	Field	Description
protected Constraint	UnsatisfiedConstraint.constraint

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

Modifier and Type	Method	Description
Constraint	UnsatisfiedConstraint.getConstraint()

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

Modifier and Type	Method	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

Modifier	Constructor	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	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	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	Description
boolean	EvlContextParallel.shouldShortCircuit(Constraint constraint)

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

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

Modifier and Type	Method	Description
void	EvlUnparser.visit(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	Description
protected Constraint	ConstraintTraceItem.constraint

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

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

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

Modifier and Type	Method	Description
Constraint	ConstraintTraceItem.getConstraint()

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

Modifier and Type	Method	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

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