A B C D H M N R S

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 AllInterleavingsBuilder.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 AllInterleavingsBuilder.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 AllInterleavingsBuilder.removeAtomicAnnotation(java.lang.Class) for a description and how to set this value.

S

showNonVolatileSharedMemoryAccess - Variable in class com.vmlens.api.AllInterleavings

see AllInterleavingsBuilder.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 AllInterleavingsBuilder.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 AllInterleavingsBuilder.showNonVolatileSharedMemoryAccess was called also non volatile memory access.

showStatementsWhenSingleThreaded - Variable in class com.vmlens.api.AllInterleavings

see AllInterleavingsBuilder.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.

A B C D H M N R S