Package org.eclipse.epsilon.evl.launch

Class EvlRunConfiguration.Builder<R extends EvlRunConfiguration,B extends EvlRunConfiguration.Builder<R,B>>

java.lang.Object

org.eclipse.epsilon.common.launch.ProfilableRunConfiguration.Builder<C,B>

org.eclipse.epsilon.eol.launch.EolRunConfiguration.Builder<R,B>

org.eclipse.epsilon.erl.launch.ErlRunConfiguration.Builder<R,B>

org.eclipse.epsilon.evl.launch.EvlRunConfiguration.Builder<R,B>

Enclosing class:

EvlRunConfiguration

public static class EvlRunConfiguration.Builder<R extends EvlRunConfiguration,B extends EvlRunConfiguration.Builder<R,B>>
extends ErlRunConfiguration.Builder<R,B>

Field Summary

Fields

Modifier and Type	Field	Description
boolean	optimizeConstraints
boolean	optimizeTrace
boolean	shortCircuit

Fields inherited from class org.eclipse.epsilon.eol.launch.EolRunConfiguration.Builder

loadModels, modelsAndProperties, module, parallelism, parameters, sequential

Fields inherited from class org.eclipse.epsilon.common.launch.ProfilableRunConfiguration.Builder

configClass, id, outputFile, profileExecution, repeats, script, showResults

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Builder()
protected	Builder(Class<R> runConfigClass)

Method Summary

Modifier and Type	Method	Description
protected IEvlModule	createModule()
B	eagerConstraintTrace()
B	optimizeConstraints()
B	optimizeConstraints(boolean optimize)
B	optimizeConstraintTrace(boolean optimize)
B	shortCircuiting()
B	shortCircuiting(boolean sc)

Methods inherited from class org.eclipse.epsilon.eol.launch.EolRunConfiguration.Builder

build, isParallel, isSequential, loadModels, parallel, parallel, sequential, skipModelLoading, withModel, withModel, withModelLoading, withModels, withModels, withModule, withParallelism, withParallelism, withParameter, withParameters, withProperties, withProperty

Methods inherited from class org.eclipse.epsilon.common.launch.ProfilableRunConfiguration.Builder

buildReflective, profileExecution, profileExecution, showResults, showResults, with, withId, withOutputFile, withOutputFile, withProfiling, withRepeats, withResults, withScript, withScript

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

optimizeTrace

public boolean optimizeTrace

optimizeConstraints

public boolean optimizeConstraints

shortCircuit

public boolean shortCircuit

Constructor Details

Builder

protected Builder()

Builder

protected Builder(Class<R> runConfigClass)

Method Details

shortCircuiting

public B shortCircuiting()

shortCircuiting

public B shortCircuiting(boolean sc)

optimizeConstraints

public B optimizeConstraints()

optimizeConstraints

public B optimizeConstraints(boolean optimize)

eagerConstraintTrace

public B eagerConstraintTrace()

optimizeConstraintTrace

public B optimizeConstraintTrace(boolean optimize)

createModule

protected IEvlModule createModule()

Overrides:

createModule in class ErlRunConfiguration.Builder<R extends EvlRunConfiguration,B extends EvlRunConfiguration.Builder<R,B>>