Uses of Class
com.vmlens.api.AllInterleavingsBuilder

Packages that use AllInterleavingsBuilder

Package	Description
com.vmlens.api

Uses of AllInterleavingsBuilder in com.vmlens.api

Methods in com.vmlens.api that return AllInterleavingsBuilder

Modifier and Type	Method and Description
static AllInterleavingsBuilder	AllInterleavings.builder(String name) Create a new AllInterleavingsBuilder.
AllInterleavingsBuilder	AllInterleavingsBuilder.maximumRuns(int maximum) AllInterleavings terminates when no more interleavings are available or the maximumRuns count is reached.
AllInterleavingsBuilder	AllInterleavingsBuilder.maximumSynchronizationActionsPerThread(int maximum) If a thread executes more than the given maximum synchronization actions it gets terminated by an exception.
AllInterleavingsBuilder	AllInterleavingsBuilder.removeAtomicAnnotation(Class cl) Removes the atomic annotation from the given class.
AllInterleavingsBuilder	AllInterleavingsBuilder.showNonVolatileSharedMemoryAccess() Also show non volatile memory access in the interleave report.
AllInterleavingsBuilder	AllInterleavingsBuilder.showStatementsInExecutor() Show statements in the interleave report when inside one of the methods of classes implementing java.util.concurrent.Executor like java.util.concurrent.ThreadPoolExecutor or java.util.concurrent.ForkJoinPool Statements are synchronization actions and when showNonVolatileSharedMemoryAccess was called also non volatile memory access.
AllInterleavingsBuilder	AllInterleavingsBuilder.showStatementsWhenSingleThreaded() Show statements in the interleave report also when only one thread is currently running.