Package org.mpi_sws.jmc.checker

Class JmcCheckerConfiguration.Builder

java.lang.Object

org.mpi_sws.jmc.checker.JmcCheckerConfiguration.Builder

Enclosing class:

JmcCheckerConfiguration

public static class JmcCheckerConfiguration.Builder
extends Object

Builder for JmcCheckerConfiguration

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
JmcCheckerConfiguration	build()
JmcCheckerConfiguration.Builder	debug(boolean debug)
JmcCheckerConfiguration.Builder	numIterations(Integer numIterations)
JmcCheckerConfiguration.Builder	reportPath(String bugsPath)
JmcCheckerConfiguration.Builder	seed(Long seed)
JmcCheckerConfiguration.Builder	strategyConstructor(SchedulingStrategyConfiguration.SchedulingStrategyConstructor strategyConstructor)
JmcCheckerConfiguration.Builder	strategyType(String strategyType)
JmcCheckerConfiguration.Builder	timeout(Duration timeout)

Methods inherited from class java.lang.Object

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

Constructor Details

Builder

public Builder()

Method Details

numIterations

public JmcCheckerConfiguration.Builder numIterations(Integer numIterations)

strategyType

public JmcCheckerConfiguration.Builder strategyType(String strategyType)

strategyConstructor

public JmcCheckerConfiguration.Builder strategyConstructor(SchedulingStrategyConfiguration.SchedulingStrategyConstructor strategyConstructor)

debug

public JmcCheckerConfiguration.Builder debug(boolean debug)

reportPath

public JmcCheckerConfiguration.Builder reportPath(String bugsPath)

seed

public JmcCheckerConfiguration.Builder seed(Long seed)

timeout

public JmcCheckerConfiguration.Builder timeout(Duration timeout)

build

public JmcCheckerConfiguration build()
                              throws JmcInvalidConfigurationException

Throws:

JmcInvalidConfigurationException