A B C D H M N R S V
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AllInterleavings - Class in com.vmlens.api
-
The class AllInterleavings let you test all thread interleavings for your test.
- AllInterleavings(String) - Constructor for class com.vmlens.api.AllInterleavings
-
Creates a new AllInterleavings instance.
- AllInterleavingsBuilder - Class in com.vmlens.api
-
Use this builder to build AllInterleavings instances with a non default configuration.
- Atomic - Annotation Type in com.vmlens.annotation
-
Marks a class as atomic.
B
- build() - Method in class com.vmlens.api.AllInterleavingsBuilder
-
Builds a new instance of the class AllInterleavings with the given properties.
- builder(String) - Static method in class com.vmlens.api.AllInterleavings
-
Create a new
AllInterleavingsBuilder
.
C
- Callback - Annotation Type in com.vmlens.annotation
-
Marks that a method of an atomic class calls a callback method.
- close() - Method in class com.vmlens.api.AllInterleavings
-
closes this instance
- com.vmlens.annotation - package com.vmlens.annotation
- com.vmlens.api - package com.vmlens.api
D
- DoNotTrace - Annotation Type in com.vmlens.annotation
-
The com.vmlens.annotation.DoNotTrace annotation lets you define methods that should not be traced by vmlens.
H
- hasNext() - Method in class com.vmlens.api.AllInterleavings
-
Return true if there are still thread interleavings to be executed and select the next thread interleaving.
M
- maximumRuns - Variable in class com.vmlens.api.AllInterleavings
-
see
maximumRuns(int)
for a description and how to set this value. - maximumRuns(int) - Method in class com.vmlens.api.AllInterleavingsBuilder
-
AllInterleavings terminates when no more interleavings are available or the maximumRuns count is reached.
- maximumSynchronizationActionsPerThread - Variable in class com.vmlens.api.AllInterleavings
-
see
maximumSynchronizationActionsPerThread(int)
for a description and how to set this value. - maximumSynchronizationActionsPerThread(int) - Method in class com.vmlens.api.AllInterleavingsBuilder
-
If a thread executes more than the given maximum synchronization actions it gets terminated by an exception.
N
- name - Variable in class com.vmlens.api.AllInterleavings
-
The name shown in the interleave report.
R
- removeAtomicAnnotation(Class) - Method in class com.vmlens.api.AllInterleavingsBuilder
-
Removes the atomic annotation from the given class.
- removeAtomicAnnotationFromClassArray - Variable in class com.vmlens.api.AllInterleavings
-
see
removeAtomicAnnotation(java.lang.Class)
for a description and how to set this value.
S
- showNonVolatileSharedMemoryAccess - Variable in class com.vmlens.api.AllInterleavings
-
see
showNonVolatileSharedMemoryAccess
for a description and how to set this value. - showNonVolatileSharedMemoryAccess() - Method in class com.vmlens.api.AllInterleavingsBuilder
-
Also show non volatile memory access in the interleave report.
- showStatementsInExecutor - Variable in class com.vmlens.api.AllInterleavings
-
see
showStatementsInExecutor
for a description and how to set this value. - showStatementsInExecutor() - Method in class com.vmlens.api.AllInterleavingsBuilder
-
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. - showStatementsWhenSingleThreaded - Variable in class com.vmlens.api.AllInterleavings
-
see
showStatementsWhenSingleThreaded
for a description and how to set this value. - showStatementsWhenSingleThreaded() - Method in class com.vmlens.api.AllInterleavingsBuilder
-
Show statements in the interleave report also when only one thread is currently running.
- Stateless - Annotation Type in com.vmlens.annotation
-
Marks this class as stateless.
V
- value() - Method in annotation type com.vmlens.annotation.Callback
- value() - Method in annotation type com.vmlens.annotation.Stateless
All Classes All Packages