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
All Methods Instance Methods Default Methods 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 Detail
-
setShortCircuit
default void setShortCircuit(boolean shortCircuit)
Description copied from interface:IEvlContext
Sets whether short-circuited validation is enabled.- Specified by:
setShortCircuit
in interfaceIEvlContext
- 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 interfaceIEvlContext
- Returns:
- Whether validation will stop once an UnsatisfiedConstraint is found.
-
-