Package org.mpi_sws.jmc.runtime

Class JmcRuntimeConfiguration.Builder

java.lang.Object

org.mpi_sws.jmc.runtime.JmcRuntimeConfiguration.Builder

Enclosing class:

JmcRuntimeConfiguration

public static class JmcRuntimeConfiguration.Builder
extends Object

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
JmcRuntimeConfiguration	build()
JmcRuntimeConfiguration.Builder	debug(Boolean debug)
JmcRuntimeConfiguration.Builder	reportPath(String reportPath)
JmcRuntimeConfiguration.Builder	schedulerTries(int schedulerTries)
JmcRuntimeConfiguration.Builder	schedulerTrySleepTimeNanos(long schedulerTrySleepTimeNanos)
JmcRuntimeConfiguration.Builder	strategy(SchedulingStrategy strategy)

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

strategy

public JmcRuntimeConfiguration.Builder strategy(SchedulingStrategy strategy)

debug

public JmcRuntimeConfiguration.Builder debug(Boolean debug)

reportPath

public JmcRuntimeConfiguration.Builder reportPath(String reportPath)

schedulerTries

public JmcRuntimeConfiguration.Builder schedulerTries(int schedulerTries)

schedulerTrySleepTimeNanos

public JmcRuntimeConfiguration.Builder schedulerTrySleepTimeNanos(long schedulerTrySleepTimeNanos)

build

public JmcRuntimeConfiguration build()