jmhBenchmarkHelper

Class BenchmarkHelper.BenchmarkHelperBuilder

java.lang.Object

jmhBenchmarkHelper.BenchmarkHelper.BenchmarkHelperBuilder

Enclosing class:

BenchmarkHelper

public static class BenchmarkHelper.BenchmarkHelperBuilder
extends Object

Constructor Summary

Constructors

Constructor and Description
BenchmarkHelperBuilder()

Method Summary

Modifier and Type	Method and Description
BenchmarkHelper	build()
BenchmarkHelper.BenchmarkHelperBuilder	expectFatal()
BenchmarkHelper.BenchmarkHelperBuilder	expectFinalStates(long finalStates)
BenchmarkHelper.BenchmarkHelperBuilder	expectLTLResults(boolean allSatisfied)
BenchmarkHelper.BenchmarkHelperBuilder	expectMainProcedureStates(long mainProcedureStates)
BenchmarkHelper.BenchmarkHelperBuilder	expectNoCounterexamples(int noCounterexamples)
BenchmarkHelper.BenchmarkHelperBuilder	expectTotalStates(long totalStates)
BenchmarkHelper.BenchmarkHelperBuilder	setRootPath(String rootPath)

Methods inherited from class java.lang.Object

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

Constructor Detail

BenchmarkHelperBuilder

public BenchmarkHelperBuilder()

Method Detail

build

public BenchmarkHelper build()

expectLTLResults

public BenchmarkHelper.BenchmarkHelperBuilder expectLTLResults(boolean allSatisfied)

expectTotalStates

public BenchmarkHelper.BenchmarkHelperBuilder expectTotalStates(long totalStates)

expectMainProcedureStates

public BenchmarkHelper.BenchmarkHelperBuilder expectMainProcedureStates(long mainProcedureStates)

expectFinalStates

public BenchmarkHelper.BenchmarkHelperBuilder expectFinalStates(long finalStates)

expectNoCounterexamples

public BenchmarkHelper.BenchmarkHelperBuilder expectNoCounterexamples(int noCounterexamples)

setRootPath

public BenchmarkHelper.BenchmarkHelperBuilder setRootPath(String rootPath)

expectFatal

public BenchmarkHelper.BenchmarkHelperBuilder expectFatal()