Package org.eclipse.epsilon.evl.execute.context.concurrent

Interface IEvlContextParallel

All Superinterfaces:

IEolContext, IEolContextParallel, IErlContext, IErlContextParallel, IEvlContext

All Known Implementing Classes:

EvlContextParallel

public interface IEvlContextParallel
extends IEvlContext, IErlContextParallel

Since:

1.6

Author:

Sina Madani

Field Summary

Fields inherited from interface org.eclipse.epsilon.eol.execute.context.concurrent.IEolContextParallel

NUM_THREADS_CONFIG

Fields inherited from interface org.eclipse.epsilon.evl.execute.context.IEvlContext

OPTIMIZE_CONSTRAINT_TRACE, SHORT_CIRCUIT

Method Summary

Modifier and Type	Method	Description
default boolean	isShortCircuiting()	Option allowing validation to terminate early when any invariant is unsatisfied.
default void	setShortCircuit(boolean shortCircuit)	Sets whether short-circuited validation is enabled.

Methods inherited from interface org.eclipse.epsilon.eol.execute.context.IEolContext

dispose, getAsyncStatementsQueue, getErrorStream, getExtendedProperties, getFrameStack, getIntrospectionManager, getModelRepository, getNativeTypeDelegates, getOperationContributorRegistry, getOperationFactory, getOutputStream, getPrettyPrinterManager, getUserInput, getWarningStream, isAssertionsEnabled, isProfilingEnabled, setAssertionsEnabled, setErrorStream, setExecutorFactory, setExtendedProperties, setFrameStack, setIntrospectionManager, setModelRepository, setModule, setNativeTypeDelegates, setOperationFactory, setOutputStream, setPrettyPrinterManager, setProfilingEnabled, setUserInput, setWarningStream

Methods inherited from interface org.eclipse.epsilon.eol.execute.context.concurrent.IEolContextParallel

beginParallelTask, beginParallelTask, endParallelTask, ensureNotNested, executeAll, executeAny, getExecutorService, getParallelism, isParallel, isParallelisationLegal, setParallelism

Methods inherited from interface org.eclipse.epsilon.erl.execute.context.IErlContext

getExecutorFactory

Methods inherited from interface org.eclipse.epsilon.evl.execute.context.IEvlContext

getConstraintsDependedOn, getConstraintTrace, getModule, getUnsatisfiedConstraints, getUnsatisfiedConstraintsBySize, hasFixes, isOptimizeConstraintTrace, setOptimizeConstraintTrace, shouldShortCircuit, sortUnsatisfiedConstraints, uniqueUnsatisfiedConstraints

Method Details

setShortCircuit

default void setShortCircuit(boolean shortCircuit)

Description copied from interface: IEvlContext

Sets whether short-circuited validation is enabled.

Specified by:

setShortCircuit in interface IEvlContext

Parameters:

shortCircuit - The new value for the flag.

isShortCircuiting

default boolean isShortCircuiting()

Description copied from interface: IEvlContext

Option allowing validation to terminate early when any invariant is unsatisfied.

Specified by:

isShortCircuiting in interface IEvlContext

Returns:

Whether validation will stop once an UnsatisfiedConstraint is found.