Package edu.berkeley.cs.jqf.fuzz.junit.quickcheck

Class NonTrackingGenerationStatus

java.lang.Object

edu.berkeley.cs.jqf.fuzz.junit.quickcheck.NonTrackingGenerationStatus

All Implemented Interfaces:

GenerationStatus

public class NonTrackingGenerationStatus
extends Object
implements GenerationStatus

Provides a generation status that does not track the number of trials generated so far. This is useful for guided fuzzing where the burden of making choices is on the guidance system rather than on quickcheck.

Author:

Rohan Padhye

Nested Class Summary

Nested classes/interfaces inherited from interface com.pholser.junit.quickcheck.generator.GenerationStatus

GenerationStatus.Key<T extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
static final int	MEAN_SIZE

Constructor Summary

Constructors

Constructor	Description
NonTrackingGenerationStatus(SourceOfRandomness random)

Method Summary

Modifier and Type	Method	Description
int	attempts()
<T> GenerationStatus	setValue(GenerationStatus.Key<T> key, T value)
int	size()
<T> Optional<T>	valueOf(GenerationStatus.Key<T> key)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.pholser.junit.quickcheck.generator.GenerationStatus

semiAttempt

Field Details

MEAN_SIZE

public static final int MEAN_SIZE

See Also:

• Constant Field Values

Constructor Details

NonTrackingGenerationStatus

public NonTrackingGenerationStatus(SourceOfRandomness random)

Method Details

size

public int size()

Specified by:

size in interface GenerationStatus

attempts

public int attempts()

Specified by:

attempts in interface GenerationStatus

setValue

public <T> GenerationStatus setValue(GenerationStatus.Key<T> key,
 T value)

Specified by:

setValue in interface GenerationStatus

valueOf

public <T> Optional<T> valueOf(GenerationStatus.Key<T> key)

Specified by:

valueOf in interface GenerationStatus