Package org.eclipse.epsilon.evl.execute.atoms

Class ConstraintContextAtom

java.lang.Object

org.eclipse.epsilon.erl.execute.data.RuleAtom<T>

org.eclipse.epsilon.erl.execute.data.ExecutableRuleAtom<T>

org.eclipse.epsilon.evl.execute.atoms.EvlAtom<ConstraintContext>

org.eclipse.epsilon.evl.execute.atoms.ConstraintContextAtom

All Implemented Interfaces:

java.lang.Runnable, java.util.concurrent.Callable<java.lang.Object>, java.util.function.Supplier<java.lang.Object>, CheckedRunnable<EolRuntimeException>, CheckedSupplier<java.lang.Object,EolRuntimeException>, CheckedEolRunnable, CheckedEolSupplier<java.lang.Object>

public class ConstraintContextAtom
extends EvlAtom<ConstraintContext>

Since:

1.6

Author:

Sina Madani

Field Summary

Fields inherited from class org.eclipse.epsilon.erl.execute.data.ExecutableRuleAtom

context

Fields inherited from class org.eclipse.epsilon.erl.execute.data.RuleAtom

element, hashCode, rule

Constructor Summary

Constructors

Constructor	Description
ConstraintContextAtom(ConstraintContext constraintContext, java.lang.Object modelElement)
ConstraintContextAtom(ConstraintContext constraintContext, java.lang.Object modelElement, IEvlContext context)

Method Summary

Modifier and Type	Method	Description
java.util.Collection<UnsatisfiedConstraint>	executeWithResults()
java.util.Collection<UnsatisfiedConstraint>	executeWithResults(IEvlContext context)
static java.util.ArrayList<ConstraintContextAtom>	getAllJobs(IEvlModule module)
java.util.List<ConstraintAtom>	toConstraintAtoms()

Methods inherited from class org.eclipse.epsilon.evl.execute.atoms.EvlAtom

getContext, setContext

Methods inherited from class org.eclipse.epsilon.erl.execute.data.ExecutableRuleAtom

call, execute, getThrows, runThrows

Methods inherited from class org.eclipse.epsilon.erl.execute.data.RuleAtom

asEntry, equals, execute, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.epsilon.eol.function.CheckedEolRunnable

run

Methods inherited from interface org.eclipse.epsilon.eol.function.CheckedEolSupplier

get

Constructor Detail

ConstraintContextAtom

public ConstraintContextAtom(ConstraintContext constraintContext,
                             java.lang.Object modelElement,
                             IEvlContext context)

ConstraintContextAtom

public ConstraintContextAtom(ConstraintContext constraintContext,
                             java.lang.Object modelElement)

Method Detail

executeWithResults

public java.util.Collection<UnsatisfiedConstraint> executeWithResults()
                                                               throws EolRuntimeException

Throws:

EolRuntimeException

executeWithResults

public java.util.Collection<UnsatisfiedConstraint> executeWithResults(IEvlContext context)
                                                               throws EolRuntimeException

Throws:

EolRuntimeException

toConstraintAtoms

public java.util.List<ConstraintAtom> toConstraintAtoms()

getAllJobs

public static java.util.ArrayList<ConstraintContextAtom> getAllJobs(IEvlModule module)
                                                             throws EolModelElementTypeNotFoundException,
                                                                    EolModelNotFoundException

Throws:

EolModelElementTypeNotFoundException

EolModelNotFoundException