Package com.pholser.junit.quickcheck.internal.generator

Class GuaranteeValuesGenerator

java.lang.Object

com.pholser.junit.quickcheck.generator.Generator<Object>

com.pholser.junit.quickcheck.internal.generator.GuaranteeValuesGenerator

All Implemented Interfaces:

Gen<Object>, Shrink<Object>

public class GuaranteeValuesGenerator
extends Generator<Object>

Field Summary

Fields

Modifier and Type	Field	Description
private final ExhaustiveDomainGenerator	guaranteed
private final Generator<?>	rest

Constructor Summary

Constructors

Constructor	Description
GuaranteeValuesGenerator(ExhaustiveDomainGenerator guaranteed, Generator<?> rest)

Method Summary

Modifier and Type	Method	Description
Object	generate(SourceOfRandomness random, GenerationStatus status)	Generates a value, possibly influenced by a source of randomness and metadata about the generation.

Methods inherited from class com.pholser.junit.quickcheck.generator.Generator

addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, canShrink, compatibleWithTypeParameter, configurationAnnotationsOn, configure, configure, copy, doShrink, gen, gen, hasComponents, magnitude, narrow, numberOfNeededComponents, provide, shrink, types

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.Gen

_gen, filter, filterOptional, flatMap, map, times

Field Details

guaranteed

private final ExhaustiveDomainGenerator guaranteed

rest

private final Generator<?> rest

Constructor Details

GuaranteeValuesGenerator

public GuaranteeValuesGenerator(ExhaustiveDomainGenerator guaranteed,
 Generator<?> rest)

Method Details

generate

public Object generate(SourceOfRandomness random,
 GenerationStatus status)

Description copied from interface: Gen

Generates a value, possibly influenced by a source of randomness and metadata about the generation.

Parameters:

random - source of randomness to be used when generating the value

status - an object that can be used to influence the generated value. For example, generating lists can use the size method to generate lists with a given number of elements.

Returns:

the generated value