A C D E F G I L M O P R S T

A

appendLog(MethodInvocationLog) - Method in class randomunit.DetailedLogStrategy

appendLog(MethodInvocationLog) - Method in interface randomunit.LogStrategy

Appends an execution log.

appendLog(MethodInvocationLog) - Method in class randomunit.SimpleLogStrategy

C

checkInvariants(Object, String) - Method in class randomunit.RandomizedTestCase

Runs all invariant testing methods (marked with @Invariant) that are associated with a object pool, providing as argument to the testing methods the specified object.

Creates - Annotation Type in randomunit

Indicates that the returned value of the marked method is to be added to the specified object pool (or pools).

D

DetailedLogStrategy - Class in randomunit

A LogStrategy implementation that keeps a history log for every object that appears either as a parameter or as a returned value.

DetailedLogStrategy(int) - Constructor for class randomunit.DetailedLogStrategy

Creates a DetailedLogStrategy, that will maintain a queue of log entries for every method parameter or return value.

dump() - Method in class randomunit.DetailedLogStrategy

dump() - Method in interface randomunit.LogStrategy

Returns a textual representation of the log entries (possibly truncated) in this LogStrategy.

dump() - Method in class randomunit.SimpleLogStrategy

E

examineException(TestFailedException) - Method in class randomunit.RandomizedTestCase

Implement this to examine a thrown TestFailedException.

F

filterNewObject(String, Object) - Method in class randomunit.RandomizedTestCase

Called when an object is going to be added to a pool.

G

getArgs() - Method in class randomunit.MethodInvocationLog

Returns the arguments with which the method of this log was invoked.

getCurrentStep() - Method in class randomunit.RandomizedTestCase

getLog() - Method in exception randomunit.TestFailedException

getLogStrategy() - Method in class randomunit.RandomizedTestCase

Returns the LogStrategy that handles the produced log entries of this randomized test.

getMessage() - Method in exception randomunit.TestFailedException

getMethod() - Method in class randomunit.MethodInvocationLog

Returns the method of this invocation.

getObject() - Method in class randomunit.MethodInvocationLog.PooledObject

Returns the object that has been appended to a pool.

getPhase() - Method in class randomunit.RandomizedTestCase

Returns the current phase of the test.

getPool(String) - Method in class randomunit.RandomizedTestCase

Returns an object pool by name, or null if no such pool is defined (all pools are defined at the construction time of this test, and may be empty but not null).

getPoolName() - Method in class randomunit.MethodInvocationLog.PooledObject

Returns the name of the object pool that an object has been appended to.

getPoolNames() - Method in class randomunit.RandomizedTestCase

Returns an unmodifiable set of all object pool names that are defined in this test.

getReturnedValue() - Method in class randomunit.MethodInvocationLog

Returns the value that the method of this log returned (or null if none).

getTargetPools() - Method in class randomunit.MethodInvocationLog

Returns the pools into which the returned value was added.

I

Invariant - Annotation Type in randomunit

Indicates that a specific method checks the invariant of some object.

invariant(boolean) - Method in class randomunit.RandomizedTestCase

Tests an invariant.

invariant(boolean, String) - Method in class randomunit.RandomizedTestCase

Tests an invariant.

InvariantFailedException - Exception in randomunit

Thrown by RandomizedTestCase when a invariant is violated.

InvariantFailedException() - Constructor for exception randomunit.InvariantFailedException

InvariantFailedException(String) - Constructor for exception randomunit.InvariantFailedException

L

LogStrategy - Interface in randomunit

This interface reads MethodInvocationLogs and reports its contents to help diagnose a problem.

logStrategy - Variable in class randomunit.RandomizedTestCase

The log strategy used by this RandomizedTestCase instance.

M

MethodInvocationLog - Class in randomunit

A simple log that consists of a Method that has been invoked, the arguments that were used for this invocation, and the value that the method returned, if any.

MethodInvocationLog(Method, MethodInvocationLog.PooledObject[], Object, String[]) - Constructor for class randomunit.MethodInvocationLog

Creates a MethodInvocationLog.

MethodInvocationLog.PooledObject - Class in randomunit

This class describes an object that has been appended to one or more object pools.

MethodInvocationLog.PooledObject(Object, String) - Constructor for class randomunit.MethodInvocationLog.PooledObject

Creates a PooledObject instance, that described the specified object, which has been appended to the given object pool.

O

onStep(int) - Method in class randomunit.RandomizedTestCase

Called after every executed step.

P

Params - Annotation Type in randomunit

Specifies the object pools from which to choose random elements, to inject in a method as arguments.

postcondition(boolean) - Method in class randomunit.RandomizedTestCase

Tests a postcondition.

postcondition(boolean, String) - Method in class randomunit.RandomizedTestCase

Tests a postcondition.

PostconditionFailedException - Exception in randomunit

Thrown by RandomizedTestCase when a postcondition is violated.

PostconditionFailedException() - Constructor for exception randomunit.PostconditionFailedException

PostconditionFailedException(String) - Constructor for exception randomunit.PostconditionFailedException

precondition(boolean) - Method in class randomunit.RandomizedTestCase

Tests a precondition.

precondition(boolean, String) - Method in class randomunit.RandomizedTestCase

Tests a precondition.

PreconditionFailedException - Exception in randomunit

Thrown by RandomizedTestCase when a precondition fails.

PreconditionFailedException() - Constructor for exception randomunit.PreconditionFailedException

PreconditionFailedException(String) - Constructor for exception randomunit.PreconditionFailedException

Prob - Annotation Type in randomunit

Defines an array of probabilities for a test method.

R

random - Variable in class randomunit.RandomizedTestCase

Random instance that is initialized with a constant seed (so that the tests are repeatable).

RandomizedTestCase - Class in randomunit

This class facilitates the creation of randomized tests.

RandomizedTestCase(String, int, LogStrategy) - Constructor for class randomunit.RandomizedTestCase

Creates a randomized test that will execute as many random steps as specified, and will log a specified amount of steps in an internal cyclic buffer.

randomunit - package randomunit

S

setPhase(int) - Method in class randomunit.RandomizedTestCase

Changes the current phase of the randomized test.

SimpleLogStrategy - Class in randomunit

A simple LogStrategy implementation that maintains a single log buffer, for every method invocation.

SimpleLogStrategy(int) - Constructor for class randomunit.SimpleLogStrategy

Creates an instance of this class, given the maximum allowable length of the internal buffer.

T

test() - Method in class randomunit.RandomizedTestCase

This method is called by JUnit and fires the randomized test.

TestFailedException - Exception in randomunit

Thrown by RandomizedTestCase to indicate a bug.

TestFailedException(String, MethodInvocationLog, Throwable, LogStrategy) - Constructor for exception randomunit.TestFailedException

toString() - Method in class randomunit.MethodInvocationLog.PooledObject

toString() - Method in class randomunit.MethodInvocationLog

A C D E F G I L M O P R S T