A C D E F G H J K L M N O P S T V W

A

addComponentGenerators(List<Generator<?>>) - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

addComponentGenerators(List<Generator<?>>) - Method in class com.pholser.junit.quickcheck.generator.Generator

Adds component generators to this generator.

attempts() - Method in interface com.pholser.junit.quickcheck.generator.GenerationStatus

C

canGenerateForParametersOfTypes(List<TypeParameter<?>>) - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

canGenerateForParametersOfTypes(List<TypeParameter<?>>) - Method in class com.pholser.junit.quickcheck.generator.Generator

canRegisterAsType(Class<?>) - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

Tells whether this generator is allowed to be used for property parameters of the given type.

canRegisterAsType(Class<?>) - Method in class com.pholser.junit.quickcheck.generator.Ctor

canRegisterAsType(Class<?>) - Method in class com.pholser.junit.quickcheck.generator.Fields

canRegisterAsType(Class<?>) - Method in class com.pholser.junit.quickcheck.generator.Generator

Tells whether this generator is allowed to be used for property parameters of the given type.

canShrink(Object) - Method in class com.pholser.junit.quickcheck.generator.Generator

Tells whether this generator is allowed to participate in the Shrink process for the given "larger" value.

cast(Object) - Method in class com.pholser.junit.quickcheck.generator.GenerationStatus.Key

choose(Collection<T>) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random element of the given collection.

choose(T[]) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random element of the given array.

com.pholser.junit.quickcheck - package com.pholser.junit.quickcheck

com.pholser.junit.quickcheck.generator - package com.pholser.junit.quickcheck.generator

com.pholser.junit.quickcheck.hook - package com.pholser.junit.quickcheck.hook

com.pholser.junit.quickcheck.random - package com.pholser.junit.quickcheck.random

com.pholser.junit.quickcheck.runner - package com.pholser.junit.quickcheck.runner

compatibleWithTypeParameter(TypeParameter<?>, Class<?>) - Static method in class com.pholser.junit.quickcheck.generator.Generator

componentGenerators() - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

ComponentizedGenerator<T> - Class in com.pholser.junit.quickcheck.generator

Produces values for property parameters of types that have parameterizations that would also need generation, such as collections, maps, and predicates.

ComponentizedGenerator(Class<T>) - Constructor for class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

computeTestMethods() - Method in class com.pholser.junit.quickcheck.runner.JUnitQuickcheck

configurationAnnotationsOn(AnnotatedElement) - Static method in class com.pholser.junit.quickcheck.generator.Generator

Gives a list of the GeneratorConfiguration annotations present on the given program element.

configure(AnnotatedType) - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

configure(AnnotatedType) - Method in class com.pholser.junit.quickcheck.generator.Ctor

configure(AnnotatedType) - Method in class com.pholser.junit.quickcheck.generator.Fields

configure(AnnotatedType) - Method in class com.pholser.junit.quickcheck.generator.Generator

Configures this generator using annotations from a given annotated type.

configure(AnnotatedElement) - Method in class com.pholser.junit.quickcheck.generator.Generator

constructor(Class<T>, Class<?>...) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce an instance of the type described by a constructor of a given type that accepts the given types of arguments.

Ctor<T> - Class in com.pholser.junit.quickcheck.generator

Produces instances of a class by generating values for the parameters of one of the constructors on the class, and invoking the constructor.

Ctor(Class<T>) - Constructor for class com.pholser.junit.quickcheck.generator.Ctor

Reflects the given type for a single accessible constructor to be used to generate values of that type.

Ctor(Constructor<T>) - Constructor for class com.pholser.junit.quickcheck.generator.Ctor

Uses the given constructor to generate values of the declaring type.

D

doShrink(SourceOfRandomness, T) - Method in class com.pholser.junit.quickcheck.generator.Generator

Gives some objects that are "smaller" than a given "larger" object.

E

equals(Object) - Method in class com.pholser.junit.quickcheck.generator.GenerationStatus.Key

equals(Object) - Method in class com.pholser.junit.quickcheck.Pair

F

field(Class<?>, String) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce an instance of the type described by the field with the given name and containing type.

field(Field) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce instances of the type of the given reflected field.

Fields<T> - Class in com.pholser.junit.quickcheck.generator

Produces instances of a class by reflecting the class's fields and generating random values for them.

Fields(Class<T>) - Constructor for class com.pholser.junit.quickcheck.generator.Fields

fieldsOf(Class<T>) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce an instance of the given type by reflecting the class's fields on up its class hierarchy and generating random values for them.

filter(Predicate<? super T>) - Method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by having this strategy produce random values until one satisfies the given condition, then using that value as the result.

filterOptional(Predicate<? super T>) - Method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by having this strategy produce a random value and wrapping it in an Optional; if the value meets the given condition, the wrapping optional will be present.

first - Variable in class com.pholser.junit.quickcheck.Pair

flatMap(Function<? super T, ? extends Gen<? extends U>>) - Method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by having this strategy produce a random value, then applying the given function to that value, and asking the result to produce a value.

freq(int, Gen<? extends U>) - Static method in interface com.pholser.junit.quickcheck.generator.Gen

Helper for making a weighted generator indicator for Gen.frequency(Pair, Pair[]).

frequency(Pair<Integer, Gen<? extends U>>, Pair<Integer, Gen<? extends U>>...) - Static method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by choosing one of the given generators at random with probability in proportion to their given weights, and having it generate a value.

From - Annotation Type in com.pholser.junit.quickcheck

Mark a parameter of a Property method with this annotation to have random values supplied to it via the specified Generator.

G

Gen<T> - Interface in com.pholser.junit.quickcheck.generator

Represents a strategy for generating random values.

gen() - Method in class com.pholser.junit.quickcheck.generator.Generator

generate(SourceOfRandomness, GenerationStatus) - Method in class com.pholser.junit.quickcheck.generator.Ctor

generate(SourceOfRandomness, GenerationStatus) - Method in class com.pholser.junit.quickcheck.generator.Fields

generate(SourceOfRandomness, GenerationStatus) - Method in interface com.pholser.junit.quickcheck.generator.Gen

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

GenerationStatus - Interface in com.pholser.junit.quickcheck.generator

Generators are fed instances of this interface on each generation so that, if they choose, they can use these instances to influence the results of a generation for a particular property parameter.

GenerationStatus.Key<T> - Class in com.pholser.junit.quickcheck.generator

Type-safe keys for setValue and valueOf.

Generator<T> - Class in com.pholser.junit.quickcheck.generator

Produces values for property parameters.

Generator(Class<T>) - Constructor for class com.pholser.junit.quickcheck.generator.Generator

Generator(List<Class<T>>) - Constructor for class com.pholser.junit.quickcheck.generator.Generator

Used for generators of primitives and their wrappers.

GeneratorConfiguration - Annotation Type in com.pholser.junit.quickcheck.generator

Apply this annotation to an annotation that marks property parameters, in order that the marked annotation can be used to configure generators for values of the parameter's type.

GeneratorConfigurationException - Exception in com.pholser.junit.quickcheck.generator

Raised if a problem arises when attempting to configure a generator with annotations from a property parameter.

GeneratorConfigurationException(String) - Constructor for exception com.pholser.junit.quickcheck.generator.GeneratorConfigurationException

GeneratorConfigurationException(String, Throwable) - Constructor for exception com.pholser.junit.quickcheck.generator.GeneratorConfigurationException

Generators - Interface in com.pholser.junit.quickcheck.generator

An access point for available generators.

H

handle(Object[], Runnable) - Method in class com.pholser.junit.quickcheck.hook.NilMinimalCounterexampleHook

handle(Object[], Runnable) - Method in interface com.pholser.junit.quickcheck.MinimalCounterexampleHook

hasComponents() - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

hasComponents() - Method in class com.pholser.junit.quickcheck.generator.Generator

hashCode() - Method in class com.pholser.junit.quickcheck.generator.GenerationStatus.Key

hashCode() - Method in class com.pholser.junit.quickcheck.Pair

J

JUnitQuickcheck - Class in com.pholser.junit.quickcheck.runner

JUnit test runner for junit-quickcheck property-based tests.

JUnitQuickcheck(Class<?>) - Constructor for class com.pholser.junit.quickcheck.runner.JUnitQuickcheck

Invoked reflectively by JUnit.

K

Key(String, Class<T>) - Constructor for class com.pholser.junit.quickcheck.generator.GenerationStatus.Key

L

Lambdas - Class in com.pholser.junit.quickcheck.generator

Helper class for creating instances of "functional interfaces".

M

make(Class<T>, Generator<?>...) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Makes a new generator of the given type, provides it with access to other available generators, configures it with any configuration annotations present on the generator type, and supplies it any component generators it needs.

makeLambda(Class<T>, Generator<U>, GenerationStatus) - Static method in class com.pholser.junit.quickcheck.generator.Lambdas

Creates an instance of a given "functional interface" type, whose single abstract method returns values of the type produced by the given generator.

map(Function<? super T, ? extends U>) - Method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by having this strategy produce a random value, then applying the given function to that value, and returning the result.

methodBlock(FrameworkMethod) - Method in class com.pholser.junit.quickcheck.runner.JUnitQuickcheck

MinimalCounterexampleHook - Interface in com.pholser.junit.quickcheck

Allows access to an actual failing example.

N

narrow(Object) - Method in class com.pholser.junit.quickcheck.generator.Generator

Attempts to "narrow" the given object to the type this generator produces.

nextBigInteger(int) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random BigInteger representable by the given number of bits.

nextBoolean() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextByte(byte, byte) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random byte value, uniformly distributed across the interval [min, max].

nextBytes(byte[]) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextBytes(int) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives an array of a given length containing random bytes.

nextChar(char, char) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random char value, uniformly distributed across the interval [min, max].

nextDouble() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextDouble(double, double) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random double value in the interval [min, max).

nextDuration(Duration, Duration) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random Duration value, uniformly distributed across the interval [min, max].

nextFloat() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextFloat(float, float) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random float value in the interval [min, max).

nextGaussian() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextInstant(Instant, Instant) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random Instant value, uniformly distributed across the interval [min, max].

nextInt() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextInt(int) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextInt(int, int) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random int value, uniformly distributed across the interval [min, max].

nextLong() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

nextLong(long, long) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random long value, uniformly distributed across the interval [min, max].

nextShort(short, short) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a random short value, uniformly distributed across the interval [min, max].

NilMinimalCounterexampleHook - Class in com.pholser.junit.quickcheck.hook

Counterexample hook that does nothing.

NilMinimalCounterexampleHook() - Constructor for class com.pholser.junit.quickcheck.hook.NilMinimalCounterexampleHook

numberOfNeededComponents() - Method in class com.pholser.junit.quickcheck.generator.Generator

O

oneOf(U, U...) - Static method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by choosing one of the given values at random with (approximately) equal probability.

oneOf(Gen<? extends U>, Gen<? extends U>...) - Static method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces a random value by choosing one of the given generators at random with (approximately) equal probability, and having it generate a value.

oneOf(Class<? extends T>, Class<? extends T>...) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce instances of one of a given set of related types on every generation.

oneOf(Generator<? extends T>, Generator<? extends T>...) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce instances of one of a given set of related types on every generation.

P

Pair<F,S> - Class in com.pholser.junit.quickcheck

Typed pair of elements.

Pair(F, S) - Constructor for class com.pholser.junit.quickcheck.Pair

Makes a pair.

parameter(Parameter) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce instances of the type of the given reflected method parameter.

Produced - Annotation Type in com.pholser.junit.quickcheck

Mark a parameter of a Property method with this annotation to have random values supplied to it via one of the Generators specified by the aggregated From annotations.

Property - Annotation Type in com.pholser.junit.quickcheck

Mark a method on a class that is run with the JUnitQuickcheck runner with this annotation to have it run as a property-based test.

provide(Generators) - Method in class com.pholser.junit.quickcheck.generator.ComponentizedGenerator

provide(Generators) - Method in class com.pholser.junit.quickcheck.generator.Ctor

provide(Generators) - Method in class com.pholser.junit.quickcheck.generator.Fields

provide(Generators) - Method in class com.pholser.junit.quickcheck.generator.Generator

Used to supply the available generators to this one.

pure(U) - Static method in interface com.pholser.junit.quickcheck.generator.Gen

Gives a generation strategy that produces the given value, always.

S

second - Variable in class com.pholser.junit.quickcheck.Pair

seed() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

setSeed(long) - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

setValue(GenerationStatus.Key<T>, T) - Method in interface com.pholser.junit.quickcheck.generator.GenerationStatus

Associates the given value with the given key for the duration of the generation of a value for a property parameter, or until overwritten.

shrink(SourceOfRandomness, Object) - Method in class com.pholser.junit.quickcheck.generator.Generator

Gives some objects that are "smaller" than a given object.

Shrink<T> - Interface in com.pholser.junit.quickcheck.generator

Represents a strategy for producing objects "smaller than" a given object.

shrink(SourceOfRandomness, Object) - Method in interface com.pholser.junit.quickcheck.generator.Shrink

Gives some objects that are "smaller" than a given object.

size() - Method in interface com.pholser.junit.quickcheck.generator.GenerationStatus

Size - Annotation Type in com.pholser.junit.quickcheck.generator

Mark a parameter of a Property method with this annotation to constrain the size of values generated for the parameter.

SourceOfRandomness - Class in com.pholser.junit.quickcheck.random

A source of randomness, fed to generators so they can produce random values for property parameters.

SourceOfRandomness(Random) - Constructor for class com.pholser.junit.quickcheck.random.SourceOfRandomness

Makes a new source of randomness.

T

times(int) - Method in interface com.pholser.junit.quickcheck.generator.Gen

toJDKRandom() - Method in class com.pholser.junit.quickcheck.random.SourceOfRandomness

Gives a JDK source of randomness, with the same internal state as this source of randomness.

toString() - Method in class com.pholser.junit.quickcheck.generator.GenerationStatus.Key

toString() - Method in class com.pholser.junit.quickcheck.Pair

type(Class<T>) - Method in interface com.pholser.junit.quickcheck.generator.Generators

Gives a generator that can produce values of the given type.

types() - Method in class com.pholser.junit.quickcheck.generator.Generator

V

validateTestMethods(List<Throwable>) - Method in class com.pholser.junit.quickcheck.runner.JUnitQuickcheck

valueOf(GenerationStatus.Key<T>) - Method in interface com.pholser.junit.quickcheck.generator.GenerationStatus

Retrieves the value associated with the given key.

ValuesOf - Annotation Type in com.pholser.junit.quickcheck.generator

Mark a parameter of a Property method with this annotation to generate all the parameter type's values in turn, rather than at random.

W

When - Annotation Type in com.pholser.junit.quickcheck

Mark a parameter of a Property method with this annotation to specify metadata about values generated for that parameter.

A C D E F G H J K L M N O P S T V W