Uses of Class
org.eclipse.epsilon.evl.execute.UnsatisfiedConstraint
-
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.eugenia
Fields in org.eclipse.epsilon.eugenia with type parameters of type UnsatisfiedConstraint Modifier and Type Field Description protected java.util.Collection<UnsatisfiedConstraint>
AbstractEcoreModelValidationDelegate. unsatisfiedConstraints
Methods in org.eclipse.epsilon.eugenia that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.List<UnsatisfiedConstraint>
AbstractEcoreModelValidationDelegate. getErrors()
java.util.Collection<UnsatisfiedConstraint>
AbstractEcoreModelValidationDelegate. getUnsatisfiedConstraints()
java.util.List<UnsatisfiedConstraint>
AbstractEcoreModelValidationDelegate. getUnsatisfiedConstraints(boolean error)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl
Methods in org.eclipse.epsilon.evl that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Set<UnsatisfiedConstraint>
EvlModule. execute()
java.util.Set<UnsatisfiedConstraint>
IEvlModule. execute()
protected java.util.Set<UnsatisfiedConstraint>
EvlModule. processRules()
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.dom
Methods in org.eclipse.epsilon.evl.dom that return UnsatisfiedConstraint Modifier and Type Method Description protected UnsatisfiedConstraint
Constraint. preprocessCheck(java.lang.Object self, IEvlContext context)
Methods in org.eclipse.epsilon.evl.dom that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Optional<UnsatisfiedConstraint>
Constraint. check(java.lang.Object self, IEvlContext context)
java.util.Optional<UnsatisfiedConstraint>
Constraint. execute(IEolContext context_, java.lang.Object self)
Methods in org.eclipse.epsilon.evl.dom with parameters of type UnsatisfiedConstraint Modifier and Type Method Description protected boolean
Constraint. postprocessCheck(java.lang.Object self, IEvlContext context, UnsatisfiedConstraint unsatisfiedConstraint, boolean result)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.dt.views
Methods in org.eclipse.epsilon.evl.dt.views with parameters of type UnsatisfiedConstraint Modifier and Type Method Description void
IConstraintTracer. traceConstraint(UnsatisfiedConstraint constraint, org.eclipse.debug.core.ILaunchConfiguration configuration)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.emf.validation
Methods in org.eclipse.epsilon.evl.emf.validation with parameters of type UnsatisfiedConstraint Modifier and Type Method Description protected org.eclipse.emf.common.util.Diagnostic
EvlValidator. createDiagnostic(java.lang.String msgPrefix, UnsatisfiedConstraint unsatisfied)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.execute.atoms
Methods in org.eclipse.epsilon.evl.execute.atoms that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Collection<UnsatisfiedConstraint>
ConstraintContextAtom. executeWithResults()
java.util.Collection<UnsatisfiedConstraint>
ConstraintContextAtom. executeWithResults(IEvlContext context)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.execute.context
Fields in org.eclipse.epsilon.evl.execute.context with type parameters of type UnsatisfiedConstraint Modifier and Type Field Description protected java.util.Collection<UnsatisfiedConstraint>
EvlContext. unsatisfiedConstraints
Methods in org.eclipse.epsilon.evl.execute.context that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Collection<UnsatisfiedConstraint>
EvlContext. getUnsatisfiedConstraints()
java.util.Collection<UnsatisfiedConstraint>
IEvlContext. getUnsatisfiedConstraints()
This collection is written to internally by the engine during execution.java.util.Set<UnsatisfiedConstraint>
EvlContext. uniqueUnsatisfiedConstraints()
default java.util.Set<UnsatisfiedConstraint>
IEvlContext. uniqueUnsatisfiedConstraints()
This method is called internally once all constraints have been processed to convert the underlying collection inIEvlContext.getUnsatisfiedConstraints()
to a unique one. -
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.execute.context.concurrent
Fields in org.eclipse.epsilon.evl.execute.context.concurrent with type parameters of type UnsatisfiedConstraint Modifier and Type Field Description protected java.util.Collection<UnsatisfiedConstraint>
EvlContextParallel. unsatisfiedConstraints
Methods in org.eclipse.epsilon.evl.execute.context.concurrent that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Collection<UnsatisfiedConstraint>
EvlContextParallel. getUnsatisfiedConstraints()
java.util.Set<UnsatisfiedConstraint>
EvlContextParallel. uniqueUnsatisfiedConstraints()
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.evl.launch
Methods in org.eclipse.epsilon.evl.launch that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description java.util.Collection<UnsatisfiedConstraint>
EvlRunConfiguration. execute()
java.util.Collection<UnsatisfiedConstraint>
EvlRunConfiguration. getResult()
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.hutn.validation
Methods in org.eclipse.epsilon.hutn.validation with parameters of type UnsatisfiedConstraint Modifier and Type Method Description protected boolean
AbstractFixer. applyFix(UnsatisfiedConstraint constraint)
Clients should override this method if fixes are used by the validator.protected abstract ParseProblem
AbstractFixer. interpretUnsatisfiedConstraint(UnsatisfiedConstraint constraint)
-
Uses of UnsatisfiedConstraint in org.eclipse.epsilon.workflow.tasks
Methods in org.eclipse.epsilon.workflow.tasks that return types with arguments of type UnsatisfiedConstraint Modifier and Type Method Description protected java.util.Collection<UnsatisfiedConstraint>
EvlTask. getObjectsForExportedModel()
-