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 Description static AllInterleavingsBuilder
AllInterleavings. builder(String name)
Create a newAllInterleavingsBuilder
.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 whenshowNonVolatileSharedMemoryAccess
was called also non volatile memory access.AllInterleavingsBuilder
AllInterleavingsBuilder. showStatementsWhenSingleThreaded()
Show statements in the interleave report also when only one thread is currently running.
-