Index

A B C D G H I M N R S T U W
All Classes and Interfaces|All Packages|Constant Field Values

A

addReadOnly(Function) - Method in class com.vmlens.api.testbuilder.AtomicTestBuilder

addUpdate(Function) - Method in class com.vmlens.api.testbuilder.AtomicTestBuilder

addWrite(Consumer) - Method in class com.vmlens.api.testbuilder.AtomicTestBuilder

AllInterleavings - Class in com.vmlens.api

The class AllInterleavings is the main entry point to write deterministic unit tests for multithreaded Java.

AllInterleavings(String) - Constructor for class com.vmlens.api.AllInterleavings

Creates a new AllInterleaving instance.

AllInterleavings(String, boolean) - Constructor for class com.vmlens.api.AllInterleavings

AllInterleavingsBuilder - Class in com.vmlens.api

Use AllInterleavingsBuilder to configure AllInterleavings

AllInterleavingsBuilder() - Constructor for class com.vmlens.api.AllInterleavingsBuilder

AtomicTestBuilder<CLASS_UNDER_TEST> - Class in com.vmlens.api.testbuilder

AtomicTestBuilder(Supplier) - Constructor for class com.vmlens.api.testbuilder.AtomicTestBuilder

automaticTestMethod(int, int, int) - Method in class com.vmlens.api.AllInterleavings

automaticTestSuccess(int, String) - Method in class com.vmlens.api.AllInterleavings

B

build(String) - Method in class com.vmlens.api.AllInterleavingsBuilder

Builds the AllInterleavings object.

C

close() - Method in class com.vmlens.api.AllInterleavings

closes this instance

com.vmlens.api - module com.vmlens.api

com.vmlens.api - package com.vmlens.api

com.vmlens.api.testbuilder - package com.vmlens.api.testbuilder

D

doNotTrace(Runnable) - Static method in class com.vmlens.api.AllInterleavings

Tells VMLens to not trace the statements called inside the runnable.

G

getIteration() - Method in class com.vmlens.api.Interleaving

H

hasNext() - Method in class com.vmlens.api.AllInterleavings

Return true if there are still thread interleaving to be executed and select the next thread interleaving, otherwise returns false.

I

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

Interleaving - Class in com.vmlens.api

iterator() - Method in class com.vmlens.api.AllInterleavings

M

MAXIMUM_ITERATIONS - Static variable in class com.vmlens.api.AllInterleavingsBuilder

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

N

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

The name shown in the report.

next() - Method in class com.vmlens.api.AllInterleavings

R

REPORT_AS_SUMMARY_THRESHOLD - Static variable in class com.vmlens.api.AllInterleavingsBuilder

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

Runner - Class in com.vmlens.api

Utility to run a runnable in a separate thread.

runParallel(Runnable...) - Static method in class com.vmlens.api.Runner

runTests() - Method in class com.vmlens.api.testbuilder.AtomicTestBuilder

S

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

T

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

U

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

W

withIntentionalDataRace(String, String) - Method in class com.vmlens.api.AllInterleavingsBuilder

Let you define a benign data race.

withMaximumIterations(int) - Method in class com.vmlens.api.AllInterleavingsBuilder

Sets the maximum number of iterations.

withReportAsSummaryThreshold(int) - Method in class com.vmlens.api.AllInterleavingsBuilder

Sets the threshold for generating a summary report instead of a normal execution trace report.

withTraceInterleaveActions() - Method in class com.vmlens.api.AllInterleavingsBuilder

For debugging.

A B C D G H I M N R S T U W
All Classes and Interfaces|All Packages|Constant Field Values